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

prologStandardExampleWithCutTheoryNotableGoalToSolution

val prologStandardExampleWithCutTheoryNotableGoalToSolution: List<Pair<Struct, List<Solution.No>>>

Notable prologStandardExampleWithCutTheory request goals and respective expected Solutions

?- p(U, V).