8.4
Type testing
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.
Copyright (C) 1999-2002 Daniel Diaz.
Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright
