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

simpleCutAndConjunctionTheoryNotableGoalToSolutions

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

Notable simpleCutAndConjunctionTheory request goals and respective expected Solutions

?- f(A, B).
Content copied to clipboard
Generated by Dokka
© 2026 Copyright