[m-dev.] cvs diff: ISO Prolog syntax changes

[Thomas Charles CONWAY]

> Hi Tom,
> 
> Can you please review this change?
> 
> -----------------------------------------------------------------------------
> 
> Improve ISO Prolog syntax compatibility.
> 
> library/ops.m:
> 	Change the precedence of unary `-', `**', `^', and `\' and the
> 	precedence and associativity of `mod' to match that specified by
> 	ISO Prolog. 
> 
> 	Add the ISO Prolog operators `==', `\==', `=:=', `=\=', `@<',
> 	`@>', `@=<', `@>=', `?-', and `=..', which were previously
> 	commented out.  I plan to implement all of these (except `?-')
> 	in a new module library/prolog.m for Prolog compatibility.
> 	Similarly add the NU-Prolog / Quintus Prolog operator `~='.
> 	(These were all already present in compiler/mercury_to_mercury.m.)
> 
> 	Delete the commented out NU-Prolog operators that we don't use:
> 	delete, dynamic, gAll, gSome, in, insert, lib, listing, man,
> 	nospy, once, listing, pure, sorted, spy, update, useIf, and wait.
> 	(I left these in compiler/mercury_to_mercury.m, so that the output will
> 	still be properly parenthesized for use with the NU-Prolog parser.)

This looks fine.

-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.