AllApplicationManualNameSummaryHelp

Availability::- use_module(library(clpfd)).
Source?Var in +Domain
Var is an element of Domain. Domain is one of:
Integer
Singleton set consisting only of Integer.
Lower .. Upper
All integers I such that Lower =< I =< Upper. Lower must be an integer or the atom inf, which denotes negative infinity. Upper must be an integer or the atom sup, which denotes positive infinity.
Domain1 \/ Domain2
The union of Domain1 and Domain2.
Availability::- use_module(library(tipc/tipc_linda)).
[det]in(+TupleList, -Tuple)
As in/1 but succeeds when any one of the tuples in TupleList is available. Tuple is unified with the fetched tuple.