[mercury-users] DCG expansion and logical connectives

Richard A. O'Keefe ok at hermes.otago.ac.nz
Fri Nov 26 09:01:37 AEDT 1999


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
--------------------------------------------------------------------------



More information about the users mailing list