Heavydeck/prolog-interpreter archive