Advanced Logic Programming for Language Processing
Patrick Saint‐Dizier · Medical Entomology and Zoology · 1994
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.