solve-classic
/
it.unibo.tuprolog.solve.classic.stdlib.rule
/
NegationAsFailure
/
Companion
/
ARITY
A
R
I
T
Y
const val
ARITY
:
Int
= 1
Content copied to clipboard