oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/Unregister

Unregister

object Unregister : UnaryPredicate.NonBacktrackable<ExecutionContext>

unregister(+Alias): removes every it.unibo.tuprolog.solve.libs.oop.rules.Alias fact matching the ground alias term Alias from the current solver's static knowledge base, undoing a previous Register.

Fails if Alias is not currently registered.

Throws

it.unibo.tuprolog.solve.exception.error.InstantiationError

if Alias is unbound or not ground.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

override val implementation: Primitive

val signature: Signature