solve/it.unibo.tuprolog.solve.primitive/BinaryRelation/Predicative

Predicative

abstract class Predicative<E : ExecutionContext>(operator: String) : BinaryRelation.NonBacktrackable<E>

A NonBacktrackable that is a pure success/failure test, with no substitution nor side effects.

Inheritors

ArithmeticRelation

NotUnifiableWith

TermGreaterThan

TermGreaterThanOrEqualTo

TermLowerThanOrEqualTo

TermNotIdentical

Constructors

constructor(operator: String)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

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

val functor: String

A shorthand to get the signature functor name

override val implementation: Primitive

Checked primitive implementation

val signature: Signature