[ 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