Beispiel #1
0
 public bool Call(string goal)
 {
     return(SwiPrologQuery.Call(module, goal));
 }
Beispiel #2
0
 public bool RetractRule(string head, string body)
 {
     return(SwiPrologQuery.Call(module, "retract((" + head + " :- " + body + "))"));
 }
Beispiel #3
0
 public bool AssertRule(string head, string body)
 {
     return(SwiPrologQuery.Call(module, "assert((" + head + " :- " + body + "))"));
 }
Beispiel #4
0
 public bool Contains(string term)
 {
     return(SwiPrologQuery.Call(module, term));
 }
Beispiel #5
0
 public bool RetractAll(string term)
 {
     return(SwiPrologQuery.Call(module, "retractall(" + term + ")"));
 }
Beispiel #6
0
 public bool Assert(string term)
 {
     return(SwiPrologQuery.Call(module, "assert(" + term + ")"));
 }