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

NegationAsFailure

sealed class NegationAsFailure

Types

object Companion

object Fail : NegationAsFailure

object Success : NegationAsFailure

Properties

abstract val <ERROR CLASS>.body: <ERROR CLASS>

open val <ERROR CLASS>.head: List<<ERROR CLASS>>

Inheritors