Did you know ... Search Documentation:
Predicate convlist/3
Availability::- use_module(library(apply)).(can be autoloaded)
Source[det]convlist(:Goal, +ListIn, -ListOut)
Similar to maplist/3, but elements for which call(Goal, ElemIn, _) fails are omitted from ListOut. For example (using library(yall)): 
?- convlist([X,Y]>>(integer(X), Y is X^2),
            [3, 5, foo, 2], L).
L = [9, 25, 4].
Compatibility
Also appears in YAP library(maplist) and SICStus library(lists).
Tags are associated to your profile if you are logged in
Tags: