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

Fail

object Fail : NegationAsFailure

\+(X) :- ensure_executable(X), call(X), !, fail. -- fails if X succeeds at least once.

Properties

open override val Scope.body: Term

descriptionPair

val descriptionPair: Pair<Signature, Rule>

val functor: String

open override val Scope.head: List<Term>

override val implementation: Rule

val signature: Signature

Functions

override fun toString(): String