ISO/Edinburgh-style Prolog compiler
