[mercury-users] The Logic of Mercury

[Randall Helzerman]

Fergus writes:

> John Lloyd's book "Theory of Logic Programming" (or is it
> "Foundations of Logic Programming"?) is probably a good place to start.

Yeah, I've read his book, but Mercury is so far beyond just simple
Horn clauses (explicit quantification, equality, higher-order, modes, types)
that I'm left wondering what the big picture is.  It would be nice to
have a "one stop shopping" place where I could get it, w/o having to
piece the mosaic together from 20 different papers.

Surely *somebody* is working on a thesis or book or something somewhere
which has a good big picture overview, and would be willing to make
a draft available for us curious onlookers, no?

> I think you mean "apply/3" rather than "append/3".

duh, yeah. :-)  Thanks for the ensuing discussion of call vs. apply, it
was enlightening.

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