Instantiates a domain variable to its domain values. The order of enumeration is in increasing domain order.
?- local domain(weekday(mo, tu, we, th, fr, sa, su)). Yes (0.00s cpu) ?- X &:: weekday. X = X{[mo, tu, th, fr, sa, su]} Yes (0.00s cpu) ?- X &:: weekday, indomain(X). X = mo More (0.00s cpu) X = tu More (0.01s cpu) X = we More (0.02s cpu) X = th More (0.03s cpu) X = fr More (0.05s cpu) X = sa More (0.06s cpu) X = su Yes (0.06s cpu) ?- indomain(we). Yes (0.00s cpu)