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

prologStandardExampleTheoryNotableGoalToSolution

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

Notable prologStandardExampleTheory request goals and respective expected Solutions

?- p(U, V).
Content copied to clipboard
Generated by Dokka
© 2026 Copyright