GNU Prolog for Mac OS X 1.5.0 screenshot GNU Prolog accepts Prolog+constraint programs Download GNU Prolog for Mac OS X 1.5.0