[mercury-users] Dumb Newbie Question

[Travis C. Porco]

Dear Readers--I have heard it said that Mercury implements a fuller set
of predicate logic than does Prolog.  I would like if possible to know more
about this.  Are there examples of interesting logic problems or proofs
that can be solved with Mercury programs?  
Thanks for any thoughts.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------