[det]convlist(:Goal,
+ListIn, -ListOut)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].
library(maplist) and SICStus
library(lists).