GNU Prolog compiler
