PyPy's prolog-based JIT prototype

PyPy was discussed couple of times here before. One of the interesting (recent) additions to this project is a prototype JIT generator written in prolog. Paper is titled Towards Just-In-Time Compilation and Specialisation of Prolog.. More details about choice of prolog as a prototyping language are on the PyPy blog.