login
A.12 library(lists): List Manipulation
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(lists)).(can be autoloaded)
[det]subtract(+Set, +Delete, -Result)
Delete all elements in Delete from Set. Deletion is based on unification using memberchk/2. The complexity is |Delete|*|Set|.
See also
ord_subtract/3.
Powered by SWI-Prolog 6.3.15