notStandardExampleTheoryNotableGoalToSolution
fun notStandardExampleTheoryNotableGoalToSolution(nafErrorSignature: Signature, notErrorSignature: Signature): List<Pair<Struct, List<Solution>>>
Notable notStandardExampleTheory request goals and respective expected Solutions
?- X = 3, \+((X = 1 ; X = 2)).
?- \+(fail).
?- \+(!) ; X = 1.
?- \+((X = 1 ; X = 2)), X = 3.
?- X = 1, \+((X = 1 ; X = 2)).
?- \+((fail, 1)).
?- shave(barber, 'Donald').
?- shave(barber, barber).
?- test_Prolog_unifiable(f(a, X), f(X, a)).
?- test_Prolog_unifiable(f(a, X), f(X, b)).
?- test_Prolog_unifiable(X, f(X)).
?- p1.
?- p2.Content copied to clipboard