Edinburgh-style Prolog compiler.