cfbolz / Pyrolog. Interessantes Projekt, weil das Prolog in Python geschrieben ist, aber die PyPy Toolchain für den JIT benutzt - das gibt einen schönen Einblick was mit PyPy neben Python alles möglich ist.