The <a href="http://codespeak.net/pypy/dist/pypy/doc/prolog-interpreter.html">
    Prolog interpreter</a>
compiled to C.