GNU Prolog for Windows (x32 bit) 1.5.0 screenshot



GNU Prolog accepts Prolog+constraint programs