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

customReverseListTheoryNotableGoalToSolution

val customReverseListTheoryNotableGoalToSolution: List<Pair<Struct, List<Solution.Yes>>>

Notable customReverseListTheory request goals and respective expected Solutions

?- my_reverse([1, 2, 3, 4], L).