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

infiniteComputationTheoryNotableGoalToSolution

val infiniteComputationTheoryNotableGoalToSolution: List<Pair<Struct, List<Solution.Halt>>>

Notable infiniteComputationTheory request goals and respective expected Solutions

?- a(X).
Content copied to clipboard
Generated by Dokka
© 2026 Copyright