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

body

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