Theory and Practice of Logic Programming [pdf]

In case anyone wants to know what it is before dealing with a PDF:

Logic programming in the context of multiparadigm programming: the Oz experience

http://docs.google.com/gview?url=http%3A%2F%2Farxiv.org%2FPS...