The tutorial is a simple example based on an animal guessing game. In this game the user thinks of an animal and the program asks yes/no questions. Eventually the program mentions an explicit animal and asks whether it is correct. If so, the game ends. If it is not correct it will ask what the animal was and ask for a question to distinguish it from its last guess. This is a trivial example of a learning program. The tutorial assumes a certain familiarity with Lisp, LispWorks and the Common Lisp Object System (CLOS).
All examples in this chapter assume that you are typing in expressions in a package that uses the KW package, for instance, KW-USER.
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017