[ library(ic) | 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