PROLOG DEMONSTRATION PROGRAMS Written by Expert Systems Ltd This entry contains a number of demonstration programs written by the UK company Expert Systems Ltd (Magdalen Science Park, Oxford). These were originally distributed as examples with the company's Prolog-1 interpreters, and have now been made freely available. They include: AUTOC - a simple compiler-compiler CLASSY - a classificatory expert system, which comes with a rule-editor DBAQL - a general-purpose database program PCED - a clause-editor, with which you can edit clauses from inside Prolog ROADMAP - a simple route-planner SYMDIFF - symbolic differentiator SIZE: 150 kilobytes. CHECKED ON EDINBURGH-COMPATIBLE (POPLOG) PROLOG : no. PORTABILITY : good in general, though PCED uses a system-dependent predicate for listing clauses. INTERNAL DOCUMENTATION : Variable, but often good.