[ library(fd) | Reference Manual | Alphabetic Index ]

dom_member(?Element, +Dom)

Element is in the domain Dom.

?Element: A Prolog term.
+Dom: A finite domain.

Description

Successively instantiate Element to the values in the domain Dom (similar to indomain/1).

Fail Conditions

None.

Resatisfiable

Yes.

See Also

dom_check_in / 2, indomain / 1