ANSI Common LISP (Prentice Hall Series in Artificial Intelligence)