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

   Choose a domain variable from a list according to selection criterion.

Arguments
   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

Type
   library(ic)

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.


Fail Conditions
   fails if the list is empty

Resatisfiable
   no

Examples
   


See Also
   search / 6
