ubdef">?Var in +Domain
[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.
Availability:
:- use_module(library(tipc/tipc_linda)).