Logic programming
H Schmidt
6 points * 4 hours per week * First semester * Caulfield
General introduction to propositional and predicate calculus; Horn clauses and the historical development and applications of logic programming, with an emphasis on Prolog (including an overview of automated theorem-proving and the unification algorithm). Introducing the programming language Prolog, constructing Prolog programs, computation and data structures in Prolog, expressing procedural algorithms in Prolog, human-computer interaction in a Prolog environment, Prolog as its own metalanguage, advanced programming techniques in Prolog, 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, expert systems, knowledge representation, software engineering, educational applications.
Assessment
Written: 100%
Recommended texts
Clocksin W F and Mellish C S Programming in Prolog 3rd edn, Springer-Verlag, 1987
Gibbins P Logic with Prolog OUP, 1988
Malpas J Prolog: A relational language and its applications Prentice-Hall, 1987