solve/it.unibo.tuprolog.solve.flags/LastCallOptimization

LastCallOptimization

object LastCallOptimization : NotableFlag

An implementation-specific flag controlling whether the solver performs last-call (tail-call) optimization, i.e. avoids growing its internal execution-context stack on genuine tail calls. Defaults to ON.

Properties

admissibleValues

open override val admissibleValues: Sequence<Term>

Every legal value this flag may take.

defaultValue

open override val defaultValue: Term

The value this flag takes unless explicitly set otherwise.

isEditable

open val isEditable: Boolean

Whether this flag's value can be changed at all (false for e.g. MaxArity).

name

open override val name: String

This flag's name, as it appears as the key in a FlagStore (e.g. "unknown", "double_quotes").

OFF

@JvmField

val OFF: Atom

Tail-call optimization is disabled.

@JvmField

val ON: Atom

Tail-call optimization is enabled.

Functions

isAdmissibleValue

open fun isAdmissibleValue(value: Term): Boolean

Whether value is one of admissibleValues.

open infix fun to(value: Term): Pair<String, Term>

This flag's name paired with value, ready to be inserted into a FlagStore.

toPair

open fun toPair(): Pair<String, Term>

This flag's name paired with its defaultValue, ready to be inserted into a FlagStore.