cutConjunctionAndBacktrackingTheoryNotableGoalToSolutions
val cutConjunctionAndBacktrackingTheoryNotableGoalToSolutions: List<Pair<Struct, List<Solution.Yes>>>
Notable cutConjunctionAndBacktrackingTheory request goals and respective expected Solutions
?- a(X).Content copied to clipboard