solve/it.unibo.tuprolog.solve.function

Package-level declarations

Types

abstract class AbstractEvaluator<E : ExecutionContext, T : Term>(request: Solve.Request<E>, index: Int?) : TermVisitor<T>

Base TermVisitor for reducing an expression Term to a value of type T, recursively resolving any Struct sub-term whose Signature matches a LogicFunction loaded in request's it.unibo.tuprolog.solve.library.Runtime (loadedFunctions) into that function's Compute.Response.result. A Struct matching no loaded function is handled by unevaluable (by default, an error).

ArithmeticEvaluator

class ArithmeticEvaluator<E : ExecutionContext>(request: Solve.Request<E>, index: Int?) : AbstractEvaluator<E, Numeric>

Evaluates an expression as a Numeric term. Throws a TypeError in case a non-evaluable sub-term is met. Throws a TypeError in case the evaluation produces a non-numeric term.

BinaryMathFunction

abstract class BinaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Compute

sealed class Compute

A base class for Computation requests and responses

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.

ExpressionReducer

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

Reduces a Term as an expression by evaluating all the evaluable sub-terms it contains w.r.t. the loaded functions provided through request. If the input expression is non-evaluable, it remains unaffected and no error is thrown

FunctionWrapper

abstract class FunctionWrapper<C : ExecutionContext> : AbstractWrapper<LogicFunction>

A class wrapping a LogicFunction implementation

IntegersBinaryMathFunction

abstract class IntegersBinaryMathFunction(name: String) : BinaryMathFunction

Base class to implement math functions accepting only integers

LogicFunction

fun interface LogicFunction

A typealias for a prolog function that accepts a Compute.Request and returns a Compute.Response

MathFunction

abstract class MathFunction : FunctionWrapper<ExecutionContext>

Base class to implement arithmetic functions

NullaryMathFunction

abstract class NullaryMathFunction(name: String) : MathFunction

Base class to implement nullary math functions (with no arguments)

UnaryMathFunction

abstract class UnaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Functions

evalAsArithmeticExpression

fun Term.evalAsArithmeticExpression(request: Solve.Request<*>, index: Int? = null): Numeric

Evaluates this Term as a full arithmetic expression (as is/2 does), via ArithmeticEvaluator, producing a Numeric result or raising an error if any sub-term is not evaluable, or does not evaluate to a number. index is used only to enrich thrown errors, identifying which argument of request this term came from.

evalAsExpression

fun Term.evalAsExpression(request: Solve.Request<*>, index: Int? = null): Term

Evaluates this Term as an expression against request's context-loaded functions, reducing evaluable sub-terms in place via ExpressionEvaluator; a non-evaluable sub-term raises a it.unibo.tuprolog.solve.exception.error.TypeError. index is used only to enrich that error, identifying which argument of request this term came from.