MaxArity

The ISO Prolog max_arity flag, reporting the maximum arity a it.unibo.tuprolog.solve.Signature may have. Not isEditable: 2P-Kt reports Int.MAX_VALUE as its only admissible value, i.e. no practical limit is enforced.

Properties

Every legal value this flag may take.

open override val defaultValue: Integer

The value this flag takes unless explicitly set otherwise.

open override val isEditable: Boolean

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

open override val name: String

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

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

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

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