solve-classic
/
it.unibo.tuprolog.solve.classic.stdlib.rule
/
NegationAsFailure
/
Companion
Companion
object
Companion
Content copied to clipboard
Properties
Properties
ARITY
Link copied to clipboard
const val
ARITY
:
Int
= 1
Content copied to clipboard
FUNCTOR
Link copied to clipboard
const val
FUNCTOR
:
String
Content copied to clipboard