Exemplos de Logic.Prolog.Swi SwiPrologQuery.Call em C# (CSharp)

Exemplo n.º 1

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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

Exemplo n.º 2

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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

Exemplo n.º 3

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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

Exemplo n.º 4

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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

Exemplo n.º 5

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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

Exemplo n.º 6

Arquivo: SwiPrologEngine.cs Projeto: AdamSobieski/Logic

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