SWI-Prolog -- fd_var/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Reflection predicates
        
        fd_var/1
        
        fd_inf/2
        
        fd_sup/2
        
        fd_size/2
        
        fd_dom/2
        
        fd_degree/2
- Packages

Availability::- use_module(library(clpfd)).

Source

fd_var(+Var)

True iff Var is a CLP(FD) variable.