test-solve/it.unibo.tuprolog.solve/PrologStandardExampleTheories/ifThenElseStandardExampleNotableGoalToSolution

ifThenElseStandardExampleNotableGoalToSolution

val ifThenElseStandardExampleNotableGoalToSolution: List<Pair<Struct, List<Solution>>>

Notable Prolog Standard example request goals and respective expected Solutions for If-Then-Else

?- (X = 0 -> true ; fail).
?- (X = 1, (X = 0 -> fail ; true)).
?- (((!, X = 1, fail) -> true ; fail) ; X = 2).
?- fail -> true ; true.
?- ((!, X = 1, fail) -> true ; fail).