Did you know ... Search Documentation:
Predicate selectchk/3
Availability::- use_module(library(lists)).(can be autoloaded)
Source[semidet]selectchk(+Elem, +List, -Rest)
Semi-deterministic removal of first element in List that unifies with Elem.

Examples

Examples for selectchk/N
?- selectchk(10,[1,2,3],R).
false.

?- selectchk(2,[1,2,3],R).
R = [1, 3].

?- selectchk(2,[1,2,3,2,4],R).
R = [1, 3, 2, 4].

?- selectchk(2,[1,2,3,2,4,2],R).
R = [1, 3, 2, 4, 2].
Tags are associated to your profile if you are logged in
Tags: