[mercury-users] DCG expansion and logical connectives

[Richard A. O'Keefe]

I note that Quintus considered putting \+ into DCG syntax
(it's the only one of the basic "control structures" that isn't there)
but never could figure out what it might mean.  (_ -> _ ; _) had its
problems too, but we were stuck with it because we were stuck with cuts.
Since (P => Q) is the same as (Q | not P) in logic, that has some of
the same problems.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------