Package it.unibo.tuprolog.solve.function

Types

AbstractEvaluator

common

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

ArithmeticEvaluator

common

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

Evaluates an expression as a Numeric term.

BinaryMathFunction

common

abstract class BinaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Compute

common

sealed class Compute

A base class for Computation requests and responses

ExpressionEvaluator

common

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

Evaluates a Term as an expression, w.r.t.

ExpressionReducer

common

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

Reduces a Term as an expression by evaluating all the evaluable sub-terms it contains w.r.t.

FunctionWrapper

common

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

A class wrapping a PrologFunction implementation

IntegersBinaryMathFunction

common

abstract class IntegersBinaryMathFunction(name: String) : BinaryMathFunction

Base class to implement math functions accepting only integers

MathFunction

common

abstract class MathFunction : FunctionWrapper<ExecutionContext>

Base class to implement arithmetic functions

NullaryMathFunction

common

abstract class NullaryMathFunction(name: String) : MathFunction

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

PrologFunction

common

typealias PrologFunction = (Compute.Request<ExecutionContext>) -> Compute.Response

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

UnaryMathFunction

common

abstract class UnaryMathFunction(name: String) : MathFunction

Base class to implement unary math functions

Functions

evalAsArithmeticExpression

common

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

evalAsExpression

common

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

functionOf

common

fun functionOf(supportedSignature: Signature, uncheckedFunction: PrologFunction): PrologFunction

Creates a new PrologFunction, behaving exactly as given uncheckedFunction, but accepting only provided supportedSignature as Compute.Request signature, throwing IllegalArgumentException otherwise