solve/it.unibo.tuprolog.solve.stdlib.primitive/Halt

Halt

object Halt : PredicateWithoutArguments.NonBacktrackable<ExecutionContext>
Content copied to clipboard

Implementation of primitive handling halt/0 behaviour

Author

Enrico

Properties

Link copied to clipboard
val descriptionPair: Pair<Signature, Primitive>
Content copied to clipboard

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

Link copied to clipboard
val functor: String
Content copied to clipboard

A shorthand to get the signature functor name

Link copied to clipboard
override val implementation: Primitive
Content copied to clipboard

Checked primitive implementation

Link copied to clipboard
val signature: Signature
Content copied to clipboard