test-solve/it.unibo.tuprolog.solve/TestingClauseTheories/customRangeListGeneratorTheoryNotableGoalToSolution

customRangeListGeneratorTheoryNotableGoalToSolution

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

Notable customRangeListGeneratorTheory request goals and respective expected Solutions

?- range(1, 4, [1, 2, 3, 4]).
?- range(1, 4, [1, 2, 3, 4, 5]).
?- range(1, 4, L).
?- range(1, 1, L).
?- range(2, 1, L).
?- range(A, 4, [2, 3, 4]).
?- range(2, A, [2, 3, 4]).