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

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

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 criteria

Type
   library(ic)

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
