That looks like a nice book, but definitely not it (I may read the datalog bits though—thanks!). The one in the library was ~200 pages, solely on prolog, Alice

That looks like a nice book, but definitely not it (I may read the datalog bits though—thanks!). The one in the library was ~200 pages, solely on prolog, Alice in Wonderland not only on the cover art, but constantly used throughout the writing itself.