LISP for machine intelligence applications, or related constraint object and logic-oriented languages. Pre: 467 or knowledge of LISP/PROLOG.