[ library(gfd_search) | Reference Manual | Alphabetic Index ]
delete(-X, +List, -R, ++Arg, ++Select)
Choose a domain variable from a list according to selection criterion.
- X
- a free variable
- List
- a list of variables or terms
- R
- a free variable
- Arg
- an integer
- Select
- the name of the selection criterion
Description
This predicate chooses one entry in a list of variables or terms based
on some selection criterion. The criteria are explained in detail in
the search/6 predicate. The selected entry is returned in X, with
the rest of the list without X returned in R.
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Fail Conditions
fails if the list is empty
Resatisfiable
no
Examples
See Also
search / 6