solve-classic
/
it.unibo.tuprolog.solve.classic.stdlib.rule
/
NegationAsFailure
/
body
body
abstract override val
Scope
.
body
:
Term
Content copied to clipboard