ifThenStandardExampleTheoryNotableGoalToSolution

Notable ifThenStandardExampleTheory request goals and respective expected Solutions

?- X = 0 -> true.
?- legs(A, 6) -> true.
?- X \= 0 -> true.
?- fail -> (true ; true).