Edinburgh-style Prolog compiler