solve/it.unibo.tuprolog.solve.primitive

Package it.unibo.tuprolog.solve.primitive

Types

ArithmeticRelation

abstract class ArithmeticRelation<E : ExecutionContext>(operator: String) : BinaryRelation.Predicative<E>

Base class for implementing arithmetic relation between Numeric terms

abstract class BinaryRelation<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

Base class to implement primitives that relate two Terms and provide a single response

PredicateWithoutArguments

abstract class PredicateWithoutArguments<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

A base class to implement predicates with zero argument

fun interface Primitive

A typealias for a primitive function that accepts a Solve.Request and returns a Sequence of Solve.Responses

PrimitiveWrapper

abstract class PrimitiveWrapper<C : ExecutionContext> : AbstractWrapper<Primitive>

Wrapper class for Primitive implementation

QuaternaryRelation

abstract class QuaternaryRelation<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

QuinaryRelation

abstract class QuinaryRelation<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

sealed class Solve

A base class for Solve requests and responses

TernaryRelation

abstract class TernaryRelation<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

Base class to implement primitives that relate tree Terms

abstract class TypeEnsurer<E : ExecutionContext>(typeName: String) : UnaryPredicate.Predicative<E>

abstract class TypeTester<E : ExecutionContext>(typeName: String) : UnaryPredicate.Predicative<E>

abstract class UnaryPredicate<E : ExecutionContext>(operator: String) : PrimitiveWrapper<E>

A base class to implement predicates with one argument

ZeroaryPredicate

typealias ZeroaryPredicate<E> = PredicateWithoutArguments<E>