icebraining

we used the Art of Prolog in my sw engineering course. It's a good book, although it doesn't cover the newer features of Prolog interpreters, like Constraint Logic Programming, IIRC.

"Three Men on the Bummel" is amusing too, although not as good.