C# (CSharp) Logic.Prolog.Swi SwiPrologQuery.Call Examples

Example #1

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool Call(string goal)
 {
     return(SwiPrologQuery.Call(module, goal));
 }

Example #2

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool RetractRule(string head, string body)
 {
     return(SwiPrologQuery.Call(module, "retract((" + head + " :- " + body + "))"));
 }

Example #3

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool AssertRule(string head, string body)
 {
     return(SwiPrologQuery.Call(module, "assert((" + head + " :- " + body + "))"));
 }

Example #4

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool Contains(string term)
 {
     return(SwiPrologQuery.Call(module, term));
 }

Example #5

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool RetractAll(string term)
 {
     return(SwiPrologQuery.Call(module, "retractall(" + term + ")"));
 }

Example #6

File: SwiPrologEngine.cs Project: AdamSobieski/Logic

 public bool Assert(string term)
 {
     return(SwiPrologQuery.Call(module, "assert(" + term + ")"));
 }