Consent of department. Declarative and procedural perspectives on Prolog programming. Knowledge representation using Prolog terms. Recursion, including list and structure processing. Negation and control of backtracking via the cut operation.
State space searches.
Application programs dealing with automata, travel planning, and chess. Consent of department. A continuation of CSCI 531. Meta-interpreters and their application to coding expert system shells will be studied. Prolog versions of one or more small expert systems will be examined.