solve/it.unibo.tuprolog.solve.flags/GroundQueriesHaveBooleanSolution

GroundQueriesHaveBooleanSolution

object GroundQueriesHaveBooleanSolution : NotableFlag

An implementation-specific flag controlling how a yes solution to a ground query (e.g. 2 is 1 + 1, with no variables at all) is presented to the user by a SolutionFormatter/UI. Defaults to OFF (unaffected, standard behaviour: the solved query is still shown, e.g. yes: 2 is 1 + 1); set to ON to present it simply as yes., since the solved-query term would equal the query verbatim and carries no extra information.

This only affects presentation -- the underlying it.unibo.tuprolog.solve.Solution is unchanged either way.

Properties

admissibleValues

open override val admissibleValues: FlagDomain.Enumerated

Every legal value this flag may take.

open override val defaultValue: Term

The value this flag takes unless explicitly set otherwise.

open override val help: String

Markdown documentation exposed through help(flag(Name), Help).

open 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").

A ground query's yes solution is presented with its solved query, as usual.

val ON: Atom

A ground query's yes solution is presented simply as yes..

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.

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

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