A.25 library(lists): List Manipulation
All Application Manual Name SummaryHelp

Availability::- use_module(library(lists)).(can be autoloaded)
Sourceselect(?Elem, ?List1, ?List2)
Is true when List1, with Elem removed, results in List2. This implementation is determinsitic if the last element of List1 has been selected.
ClioPatria (version V3.1.1-51-ga0b30a5)