SWI-Prolog -- convlist/3

Availability::- use_module(library(apply)).(can be autoloaded)

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).