solve/it.unibo.tuprolog.solve.function/ExpressionEvaluator

ExpressionEvaluator

class ExpressionEvaluator<E : ExecutionContext>(request: Solve.Request<E>, index: Int? = null) : AbstractEvaluator<E, Term>

Evaluates a Term as an expression, w.r.t. the loaded functions provided through request. Throws a TypeError in case a non-evaluable sub-term is met.

Parameters

request

the request of the primitive in which the evaluation should happen

index

the index of the argument being evalued in the aforementioned primitive

Constructors

ExpressionEvaluator

constructor(request: Solve.Request<E>, index: Int? = null)

Functions

defaultValue

open override fun defaultValue(term: Term): Term

unevaluable

open fun unevaluable(struct: Struct): Term

Called when struct matches no LogicFunction in loadedFunctions; by default raises a TypeError (TypeError.Expected.EVALUABLE). Overridden by ExpressionReducer to leave non-evaluable sub-terms untouched instead of failing.

visitAtom

open override fun visitAtom(term: Atom): Term

visitBlock

open fun visitBlock(term: Block): Term

visitClause

open fun visitClause(term: Clause): Term

visitCollection

open fun visitCollection(term: Recursive): Term

visitCons

open fun visitCons(term: Cons): Term

visitConstant

open fun visitConstant(term: Constant): Term

visitDirective

open fun visitDirective(term: Directive): Term

visitEmpty

open fun visitEmpty(term: Empty): Term

visitEmptyBlock

open fun visitEmptyBlock(term: EmptyBlock): Term

visitEmptyList

open fun visitEmptyList(term: EmptyList): Term

visitFact

open fun visitFact(term: Fact): Term

visitIndicator

open override fun visitIndicator(term: Indicator): Term

visitInteger

open fun visitInteger(term: Integer): Term

visitList

open fun visitList(term: List): Term

visitNumeric

open fun visitNumeric(term: Numeric): Term

visitReal

open fun visitReal(term: Real): Term

visitRule

open fun visitRule(term: Rule): Term

visitStruct

open override fun visitStruct(term: Struct): Term

visitTerm

open override fun visitTerm(term: Term): Term

visitTruth

open fun visitTruth(term: Truth): Term

visitTuple

open fun visitTuple(term: Tuple): Term

visitVar

open fun visitVar(term: Var): Term