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

Fail

object Fail : NegationAsFailure
Content copied to clipboard

Properties

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