[ 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
- has_tent_value(?) is semidet
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