ExpressionEvaluator

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

open fun defaultValue(term: <ERROR CLASS>): <ERROR CLASS>

open fun unevaluable(struct: <ERROR CLASS>): <ERROR CLASS>

open fun visitAtom(term: <ERROR CLASS>): <ERROR CLASS>

open fun visitIndicator(term: <ERROR CLASS>): <ERROR CLASS>

open fun visitStruct(term: <ERROR CLASS>): <ERROR CLASS>

open fun visitTerm(term: <ERROR CLASS>): <ERROR CLASS>