Common LISP Built on

Knowledge representation system