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