[ 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