Re: 'mod' and 'div' need brackets ro read as atoms

Daniel Diaz <[email protected]> Fri, 5 Aug 2011 08:53:18 +0200
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
hello Jasper,

gprolog 1.4.0 follows the "next" Prolog ISO standard (which is in fact a corrigenum) called DTC2

http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2

in which div is an operator (flooring integer division). As an argument of an operator you have to write (div). E.g. instead of P = div you have to write P = (div). This is compatible with older versions of gprolog.

Daniel


Le 4 août 2011 à 18:50, Jasper Taylor a écrit :

> | ?- P = div.
> uncaught exception: error(syntax_error('user_input:1 (char:5) current or previous operator needs brackets'),read_term/3)
> 
> This is a problem because I cannot read terms written by pre-1.4 versions of GNU prolog (or other prologs) including these atoms. Also there does not seem to be any reason for it -- other 2-ary arithmetic operators like atan2 can be read directly so why not these?
>    --Jasper
> 
> 
> _______________________________________________
> Bug-prolog mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/bug-prolog
> 
> -- 
> Ce message a ete verifie par MailScanner
> pour des virus ou des polluriels et rien de
> suspect n'a ete trouve.
> 


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.

_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog