Authorised by Academic Registrar, April 1996
Objectives At the completion of this subject students should know the main features of logic programming; be able to write application programs in Prolog; and appreciate the value of deductive databases and rule-base systems.
Synopsis General introduction to propositional and predicate calculus. Introducing the programming language Prolog. Constructing Prolog programs. Comparative review of different commercial implementations of Prolog. Discussion of problems with conventional computing and how logic programming can make an impact on software development. Selected areas of applications: deductive databases, problem solving and graph searching, text processing, natural language processing, high-level simulation, knowledge representation, rule-based systems, software engineering, educational applications.
Assessment Examination: 70% + Practical work: 30%