Edinburgh-style Prolog compiler.
