[ library(ic) | 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.
Fail Conditions
fails if the list is empty
Resatisfiable
no
Examples
See Also
search / 6