[ library(fd_search) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

delete(-X, +List, -R, ++Arg, ++Select)

Choose a domain variable from a list according to selection criteria.
X
a free variable
List
a list of variables or terms
R
a free variable
Arg
an integer
Select
the name of the selection criteria

Description

This predicate chooses one entry in a list of variables or terms based on some selection criteria. The criteria are explained in detail in the search/6 predicate.

Modules

This predicate is sensitive to its module context (tool predicate, see @/1).

Fail Conditions

fails if the list is empty

Resatisfiable

no

Examples


See Also

search / 6