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

simpleFactTheory

val simpleFactTheory: Theory

A database containing the following facts:

f(a).
g(a).
g(b).
h(a).
h(b).
h(c).
Content copied to clipboard
Generated by Dokka
© 2026 Copyright