callStandardExampleTheoryGoalsToSolution
fun callStandardExampleTheoryGoalsToSolution(errorSignature: Signature): List<Pair<Struct, List<Solution>>>
Prolog Standard examples to test call primitive with callStandardExampleTheory
?- call('!') ; true.
?- Z = !, call( (Z = !, a(X), Z) ).
?- call( (Z = !, a(X), Z) ).
?- call(fail).
?- call(true, X).
?- call(true, fail, 1).Content copied to clipboard