ashlar/prolog-reverse archive