[axlprose]

Hm, the only Alice in Wonderland themed CS book I recall, is "Foundations of Databases" which has sections on datalog:

http://webdam.inria.fr/Alice/

[westoncb]

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.