I've uploaded another AI::Prolog version. The code is slowly getting cleaner and it has about 150 tests. There's a new "monkey gets banana" example that is based on the monkey and banana code. This code is a rather interesting example because it tends to show more of the "AI" side of Prolog. From the page describing it:
There is a monkey at the door into a room. In the middle of the room a banana is hanging from the ceiling. The monkey is hungry and wants to get the banana, but he cannot stretch high enough from the floor. At the window of the room there is a box that the monkey can use.
The monkey can perform the following actions: walk on the floor, climb the box, push the box around (if he is already at it), and grasp the banana if he is standing on the box and directly underneath the banana.
Can the monkey grasp the banana?
And in other news, I scored a perfect copy of The Art of Prolog at Powell's Technical Books. Amazon's lowest price is $72.82. I got mine for $21 :)
Art of Prolog is an excellent book, it was the text for the graduate class in Prolog back-when.
Powells Books sounds cool, haven't bought from them yet, would love to see the store sometime too. For linking a book, I use isbn.nu since it's so simple a link and doesn't favor one vendor (and they're pretty good for both new and used searching either). As a former used-and-rare bookman, I prefer Advanced Book Exchange as my used-bookstore-friendly book search; Alibris is good too.
