solve-classic
0.20.9
solve-classic
/
it.unibo.tuprolog.solve.classic.stdlib.rule
/
NegationAsFailure
/
Companion
/
ARITY
ARITY
const
val
ARITY
:
Int
=
1
Content copied to clipboard