[ library(tentative) | Reference Manual | Alphabetic Index ]

has_tent_value(?X)

X has a tentative value (succeeds also for X nonvar)
X
Any term

Description

Succeeds if X is a variable with a tentative value, or if X is a nonvariable (i.e. has a definitive value).

Modes and Determinism

Examples

    ?- tent_set(X, 27), has_tent_value(X).
    X = X{27 -> 0}
    Yes (0.00s cpu)

    ?- has_tent_value(_).
    No (0.00s cpu)

    ?- has_tent_value(35).
    Yes (0.00s cpu)

See Also

tent_set / 2, tent_get / 2, tent_fix / 1