Formal Aspects of Programming in Logic; First-Order Logic, Clausal Forms and Horn Clauses, Domains of Interpretation, Substitution and Unification, Fix Point Semantics, Declarative Procedural Semanitcs of Prolog, SLD-Resolution, SLD-Resolution in Prolog, Meaning of a Programme, Negation in Logic Programmes. Processing Language with Definite Clause Grammars; An Introduction to Definite Clause Grammars, Definite Clause Grammars with Restrictions, Structure Building in DCGs, Interpreters and Compilers for DCGs, Bottom-Up Parsing, Generating with DCGs, Conclusion. Logic-Based Grammars; Metamorphosis Grammars, Extraposition Grammars, Restriction Grammars, Gapping Grammars, Discontinuous Grammars and Dislog, Other Logic-Based Formalisms and Perspectives. Feature Systems in Logic Programming; Introduction to Unification Grammars, A Basic Feature System in Prolog, Feature Structures as Types, Inheritance in Feature-Based Systems, Conclusion. Constraint Logic Programming for Language Processing; Constraint Logic Programming for Natural Language Processing, Boolean Constraints. Constraints on Finite Domains, Other Types of Constraints for Language Processing, Conclusion. Parallel Logic Programming for Language Processing; Introduction to Parallel Logic Programming, An Introduction to Parlog. Towards more Complex Natural Language Systems, Conclusion. Object-Oriented Logic Programming for Natural Language Processing; An Introduction to Object-Oriented Programming, Object-Oriented Logic Programming and Concurrency, Parsing in Parlog++, Machine Translation within OOPLP, Conclusion. High-Order Logic Programming for Language Processing; An Introduction to lambda-Prolog, Parsing in lambda-Prolog, Conclusion.
