Edinburgh-style Prolog compiler
