Logic Progamming 06-25433 Autumn 2012

Welcome This module is about using programming languages that are based on logic. Supporters of logic programming claim that these languages are based on clear formal models and that makes it possible to reason about the correctness and efficiency of programs. Other people stress the virtues of being able to write high-level descriptions, in particular for solving those kinds of problems that seem to require intelligence, or the ease with which the languages can be extended or parallelised. The most famous logic programming language is Prolog and this is the main language taught in this module. But there is more to logic programming than Prolog. Alternative ways of computing in logic can mean changing how processes are scheduled, changing the language to take advantage of parallel architectures or introducing different ways of matching objects.						Book mark these now! To save yourself time in the coming weeks, you could bookmark this page and the pages listed here: lectures assessed work getting started with Prolog
Links to information about ... lectures assessment software reading past exam papers "official" pages Prolog predicates for NLP1					How this module is related to other modules The teaching in this module assumes that you already know a programming language, most probably Java. You will see relations to Language and Logic, most obviously in building parsers and theorem proving in propositional logic. While the main reason for studying this module will always be to experience a radically different way of programming, you will see connections with Artificial Intelligence. Natural Language Processing 1 is a kind of follow on module and you will see this symbol wherever there is something that is specifically used in NLP1.