Home
Download
Browse GIT
Contrib
Packs
HOWTO
FAQ
Manual
Mailinglist
Support
Links
Contact
Development tools
PlDoc Documentation
Graphics
(Semantic) Web
Publications
Contributors
License
Wiki (edit)
login
A.12 library(lists): List Manipulation
All
Application
Manual
Name
Summary
Help
Availability:
:- use_module(
library(lists)
).
(can be autoloaded)
select
(
?Elem, ?List1, ?List2
)
Is true when
List1
, with
Elem
removed, results in
List2
.
