8.4  Type testing

• fd_var/1, non_fd_var/1, generic_var/1, non_generic_var/1

8.4.1  fd_var/1, non_fd_var/1, generic_var/1, non_generic_var/1

Templates

fd_var(?term)
non_fd_var(?term)
generic_var(?term)
non_generic_var(?term)

Description

fd_var(Term) succeeds if Term is currently an FD variable.

non_fd_var(Term) succeeds if Term is currently not an FD variable (opposite of fd_var/1).

generic_var(Term) succeeds if Term is either a Prolog variable or an FD variable.

non_generic_var(Term) succeeds if Term is neither a Prolog variable nor an FD variable (opposite of generic_var/1).

Errors

None.

Portability

GNU Prolog predicate.