public bool Call(string goal) { return(SwiPrologQuery.Call(module, goal)); }
public bool RetractRule(string head, string body) { return(SwiPrologQuery.Call(module, "retract((" + head + " :- " + body + "))")); }
public bool AssertRule(string head, string body) { return(SwiPrologQuery.Call(module, "assert((" + head + " :- " + body + "))")); }
public bool Contains(string term) { return(SwiPrologQuery.Call(module, term)); }
public bool RetractAll(string term) { return(SwiPrologQuery.Call(module, "retractall(" + term + ")")); }
public bool Assert(string term) { return(SwiPrologQuery.Call(module, "assert(" + term + ")")); }