[ 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