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)
[semidet]
selectchk
(
+Elem, +List, -Rest
)
Semi-deterministic removal of first element in
List
that unifies with
Elem
.