solve/it.unibo.tuprolog.solve.primitive/Solve/Request

Request

data class Request<out C : ExecutionContext>(val signature: Signature, val arguments: List<Term>, val context: C, val startTime: TimeInstant = currentTimeInstant(), val maxDuration: TimeDuration = context.endTime - startTime) : Solve, Durable

Class representing a Request to be full-filled by the Solver

Constructors

constructor(signature: Signature, arguments: List<Term>, context: C, startTime: TimeInstant = currentTimeInstant(), maxDuration: TimeDuration = context.endTime - startTime)

Properties

val arguments: List<Term>

Arguments with which the goal is invoked in this Request

The context that's current at Request making

open val elapsedTime: TimeDuration

How much time elapsed since startTime, computed against the current time instant.

open val endTime: TimeInstant

The time instant by which this entity's execution should be over, computed as startTime (saturating to TimeInstant.MAX_VALUE on overflow).

open override val maxDuration: TimeDuration

The execution max duration after which the computation should end, because no more useful

val query: Struct

The current query Struct of this request

open val remainingTime: TimeDuration

How much time is left before endTime, computed against the current time instant.

val signature: Signature

Signature of the goal to be solved in this Request

open override val startTime: TimeInstant

The time instant when the request was submitted for resolution

val unificator: Unificator

Functions

checkTermIsRecursivelyCallable

fun <C : ExecutionContext> Solve.Request<C>.checkTermIsRecursivelyCallable(term: Term): TypeError?

open override fun Solve.Request<ExecutionContext>.ensureType(context: ExecutionContext, term: Term)

Template method expected to throw if term does not have the expected type, and return normally otherwise.

ensuringAllArgumentsAreInstantiated

fun <C : ExecutionContext> Solve.Request<C>.ensuringAllArgumentsAreInstantiated(): Solve.Request<C>

Utility function to ensure that all arguments of Solve.Request are instantiated and not (still) Variables

ensuringArgumentIsArity

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsArity(index: Int): Solve.Request<C>

ensuringArgumentIsAtom

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsAtom(index: Int): Solve.Request<C>

ensuringArgumentIsCallable

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCallable(index: Int): Solve.Request<C>

ensuringArgumentIsChar

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsChar(index: Int): Solve.Request<C>

ensuringArgumentIsCharCode

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCharCode(index: Int): Solve.Request<C>

ensuringArgumentIsCompound

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsCompound(index: Int): Solve.Request<C>

ensuringArgumentIsConstant

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsConstant(index: Int): Solve.Request<C>

ensuringArgumentIsGround

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsGround(index: Int): Solve.Request<C>

ensuringArgumentIsInstantiated

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInstantiated(index: Int): Solve.Request<C>

ensuringArgumentIsInteger

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsInteger(index: Int): Solve.Request<C>

ensuringArgumentIsList

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsList(index: Int): Solve.Request<C>

ensuringArgumentIsNonNegativeInteger

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNonNegativeInteger(index: Int): Solve.Request<C>

ensuringArgumentIsNumeric

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsNumeric(index: Int): Solve.Request<C>

ensuringArgumentIsSpecifier

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsSpecifier(index: Int): Solve.Request<C>

ensuringArgumentIsStruct

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsStruct(index: Int): Solve.Request<C>

ensuringArgumentIsVariable

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsVariable(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedClause

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedClause(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedIndicator

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedIndicator(index: Int): Solve.Request<C>

ensuringArgumentIsWellFormedList

fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsWellFormedList(index: Int): Solve.Request<C>

ensuringClauseProcedureHasPermission

fun <C : ExecutionContext> Solve.Request<C>.ensuringClauseProcedureHasPermission(clause: Clause, operation: PermissionError.Operation): Solve.Request<C>

ensuringProcedureHasPermission

fun <C : ExecutionContext> Solve.Request<C>.ensuringProcedureHasPermission(signature: Signature?, operation: PermissionError.Operation): Solve.Request<C>

ensuringTermIsCharCode

fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsCharCode(term: Term): Solve.Request<C>

ensuringTermIsWellFormedList

fun <C : ExecutionContext> Solve.Request<C>.ensuringTermIsWellFormedList(term: Term): Solve.Request<C>

fun <C : ExecutionContext> Solve.Request<C>.match(term1: Term, term2: Term): Boolean

fun <C : ExecutionContext> Solve.Request<C>.mgu(term1: Term, term2: Term): Substitution

fun <C : ExecutionContext> Solve.Request<C>.notImplemented(message: String = "Primitive for "): Solve.Response

fun <C : ExecutionContext> Solve.Request<C>.notSupported(message: String = "Operation "): Solve.Response

fun replyException(exception: ResolutionException, sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replyException(exception: ResolutionException, sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

Creates a new halt Response to this Request, with cause exception

fun replyFail(sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replyFail(sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

Creates a new failed Response to this Request

fun replySuccess(substitution: Substitution.Unifier = Substitution.empty(), sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replySuccess(substitution: Substitution.Unifier = Substitution.empty(), sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

Creates a new successful Response to this Request, with substitution

fun replyWith(substitution: Substitution, sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replyWith(substitution: Substitution, sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

fun replyWith(solution: Solution, sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replyWith(solution: Solution, sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

Creates a new Response to this Request

fun replyWith(condition: Boolean, sideEffectManager: SideEffectManager? = null, buildSideEffects: SideEffectsBuilder.() -> Unit): Solve.Response

fun replyWith(condition: Boolean, sideEffectManager: SideEffectManager? = null, vararg sideEffects: SideEffect): Solve.Response

Creates a new successful or failed Response depending on condition; to be used when the substitution doesn't change

fun solve(goal: Struct, maxDuration: TimeDuration = this.maxDuration): Sequence<Solution>

fun subSolver(): Solver

fun <C : ExecutionContext> Solve.Request<C>.unify(term1: Term, term2: Term): Term?