Did you know ... Search Documentation:
Predicate select/3
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.

Examples

?- select(10,[1,2,3],R).
false.

?- select(2,[1,2,3],R).
R = [1, 3] ;
false.

?- select(2,[1,2,3,2,4],R).
R = [1, 3, 2, 4] ;
R = [1, 2, 3, 4] ;
false.

?- select(2,[1,2,3,2,4,2],R).
R = [1, 3, 2, 4, 2] ;
R = [1, 2, 3, 4, 2] ;
R = [1, 2, 3, 2, 4].
Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
Andreas Brandstetter said (2021-05-22T20:32:00):1 upvotes 1 0 downvotes
Picture of user Andreas Brandstetter.
"The last element of List1" reads like it is talking about the last element in the list position-wise. "This implementation is deterministic if Elem occurs exactly once in List1." is probably what is meant.