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

simpleFactTheoryNotableGoalToSolutions

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

Notable simpleFactTheory request goals and respective expected Solutions

?- f(A).
?- g(A).
?- h(A).