New posts in Reify

How to reify Prolog's backtracking state to perform the same task as "lazy seq" from Clojure?