SWI-Prolog -- ins/2

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpfd): CLP(FD): Constraint Logic Programming over Finite Domains
      - CLP(FD) predicate index
        
        Membership constraints
        
        in/2
        
        ins/2
- Packages

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

Source

+Vars ins +Domain

The variables in the list Vars are elements of Domain. See in/2 for the syntax of Domain.