GNU Prolog for Mac OS X 1.5.0 screenshot



GNU Prolog accepts Prolog+constraint programs