solve-classic/it.unibo.tuprolog.solve.classic.stdlib.rule/NegationAsFailure/body

body

abstract val <ERROR CLASS>.body: <ERROR CLASS>
Content copied to clipboard