Concurrent Programming Constructs in Multi-Engine Prolog (logic.csci.unt.edu)

I'm starting to hate scribd more all the time now.

When you advance to certain slides in that slideshow, it moves an ad from the bottom to the top, which moves the slides. So you can't just click through it, you have to constantly readjust the scroll. And they move back if you go back.

Intrusive ads are bad enough, but destroying the presentation of the page is going too far.

To paraphrase Tufte, bullets do not a presentation make. If it is worth writing about then write about it, do not summarize it into little pieces that may or may not reveal the 'point' in question. Beyond that---an interesting idea, form aside...

Cool stuff. The link at the end seems broken. This one worked for me http://logic.csci.unt.edu/tarau/research/LeanProlog/