seeking findall that preserves variables.

I have a notion that there's something out there that uses attributed variables 
or something so that I can collect the solutions of a predicate without 
destroying the variables in that solution.  
 
E.g.  nice_findall(X, member(X-1, [A-1, B-2, C-1], Xs), Xs == [A, C].

Does it exist/can it be easily done?  (The actual source is not a list, 
so filter predicates aren't the answer.)

Alan Baljeu
-------------- next part --------------
HTML attachment scrubbed and removed