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

Companion

object Companion
Content copied to clipboard

Properties

Link copied to clipboard
const val ARITY: Int = 1
Content copied to clipboard
Link copied to clipboard
const val FUNCTOR: String
Content copied to clipboard