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

ArithmeticEqual

object ArithmeticEqual : ArithmeticRelation<ExecutionContext>

Implementation of '=:='/2 predicate

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

open override val help: String

override val implementation: Primitive

Checked primitive implementation, retaining this wrapper's help metadata.

val signature: Signature

Functions

open override fun computeNumeric(x: Numeric, y: Numeric): Boolean

Template method comparing the two already-evaluated Numeric operands.