documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
test-solve
/
it.unibo.tuprolog.solve
/
TestingClauseTheories
/
callsWithVariablesTheory
calls
With
Variables
Theory
val
callsWithVariablesTheory
:
Theory
a(A) :- b(A), d(Z). b(B) :- c(B), d(W). d(_). c(1).