Advanced Logic Programming for Computational Linguistics
This text covers the main advanced features of the Logic Programming framework in terms of techniques, methods and formalisms, and discusses its importance for natural language processing. It also examines computational linguistics on a more general level.
- Hardback | 304 pages
- 158 x 230 x 24mm | 563g
- 01 Apr 1994
- Elsevier Science Publishing Co Inc
- Academic Press Inc
- San Diego, United States
Table of contents
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.