NegationAsFailure

sealed class NegationAsFailure : RuleWrapper<ExecutionContext>

Types

Companion

object Companion

Fail

object Fail : NegationAsFailure

Success

object Success : NegationAsFailure

Functions

toString

override fun toString(): String

Properties

body

abstract override val Scope.body: Term

descriptionPair

val descriptionPair: Pair<Signature, Rule>

functor

val functor: String

head

open override val Scope.head: List<Term>

implementation

override val implementation: Rule

signature

val signature: Signature

Inheritors

NegationAsFailure

NegationAsFailure