Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks
@article{Pereira1980DefiniteCG, title={Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks}, author={Fernando C Pereira and David H. D. Warren}, journal={Artif. Intell.}, year={1980}, volume={13}, pages={231-278} }
1,047 Citations
A Practical Implementation of DCGs
- Computer Science
- 2005
The main objective of the DCG implementation is to provide an automatic error handling mechanism, and the system accepts DCGs in their standard form, but the implementation most notably circumvents the problems 1 and 3.
A Practical Implementation of DCGs (Abstract)
- Computer ScienceCC
- 1990
The main objective of the DCG implementation is to provide an automatic error handling mechanism, and the system accepts DCGs in their standard form, but the implementation most notably circumvents the problems 1 and 3.
A PROLOG Implementation of Lexical Functional Grammar
- Computer ScienceIJCAI
- 1983
The aim of this paper is to show how LFG can be translated into DCG and that the procedural semantics of PROLOG provides an efficient tool for LFG-implementations in that it allows the construction of function structures directly during the parsing process.
Definite Clause Grammars with Parse Trees: Extension for Prolog
- Computer ScienceSLATE
- 2019
A parser for the Prolog programming language itself is presented based only on the grammars given in the ISO Prolog standard which produces corresponding parse trees.
Squibs and Discussions Dependency Unification Grammar for PROLOG
- Computer Science, Linguistics
- 1995
A framework for automatic translation of DUG rules to Horn clauses that makes DUGs as easy to implement as classic DCGs is added, based on Hellwig's Dependency Unification Grammar (DUG) (Hellwig 1986).
A Parser Generator for Unification Grammar Formalism with Gap-Handling Facility/spl dagger/
- Computer ScienceTENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
- 1991
This paper introduces island constraints into PATR-like formalisms to handle gapping in the natural language sentences automatically and shows that a tandem-processing model can be obtained by a slight change to the original generator.
A Study in Grammar Design
- Computer Science, Linguistics
- 1994
This paper provides a set of criteria and guidelines for grammar design, which are illustrated by an implemented grammar fragment (for German) including semantic composition rules, which focus on the semantic representation formalism of Underspeciied Discourse Representation Structures (UDRS's).
Extending Definite Clause Grammars with Scoping Constructs
- Computer ScienceICLP
- 1990
Under this approach, filler-gap dependencies can be accounted for in terms of the operational semantics underlying hereditary Harrop formulas, in a way reminiscent of the treatment of such phenomena in Generalized Phrase Structure Grammar (GPSG).
Towards a Programming Language Based on the Notion of Two-Level Grammar
- Computer ScienceTheor. Comput. Sci.
- 1984
Reversible logic grammars for natural language parsing and generation
- Computer ScienceComput. Intell.
- 1990
An alogorithm for automated inversion of a unification parser into an efficient unification generator, using the collections of minimal sets of essential arguments for predicates is presented.
References
SHOWING 1-10 OF 60 REFERENCES
Transition network grammars for natural language analysis
- Computer ScienceCACM
- 1970
The use of augmented transition network grammars for the analysis of natural language sentences is described, and structure-building actions associated with the arcs of the grammar network allow for a powerful selectivity which can rule out meaningless analyses and take advantage of semantic information to guide the parsing.
Prolog - the language and its implementation compared with Lisp
- Computer ScienceArtificial Intelligence and Programming Languages
- 1977
It is argued that pattern matching is a better method for expressing operations on structured data than conventional selectors and constructors - both for the user and for the implementor.
Augmenting ATNS
- Computer ScienceIJCAI
- 1977
An optimizing compiler for ATN networks which translates them into LISP functions and an interactive program which allows one to easily extend and modify an ATN grammar.
Revised report on the algorithm language ALGOL 60
- Computer ScienceCACM
- 1963
a survey of the basic coustituents arid fcuturcs of the language is given, and the formal notation, by which the syntactic structure is defined, is esplaincd. The sccnnd chapter lists all the basic…
A Machine-Oriented Logic Based on the Resolution Principle
- MathematicsJACM
- 1965
The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Ttle sharing of structure in theorem proving programs
- Computer Science
- 1972
The concept of the value of an expression in a binding environment which is used to standardize clauses apart and share the structure of parents in representing the resolvent in resolution programs is introduced.
Logic programming and compiler writing
- Computer ScienceSoftw. Pract. Exp.
- 1980
The concept of ‘logic programming’, and its practical application in the programming language Prolog, are explained from first principles, and one sizable Prolog program which implements a simple compiler is described.
Logic for problem solving
- PsychologyThe computer science library : Artificial intelligence series
- 1979
This book investigates the application of logic to problem-solving and computer programming. It assumes no previous knowledge of these fields, and may be Karl duncker in addition to make difficult…
The Proper Treatment of Quantification in Ordinary English
- Linguistics
- 1973
The aim of this paper is to present in a rigorous way the syntax and semantics of a certain fragment of a certain dialect of English. For expository purposes the fragment has been made as simple and…
Logic-based program system for predicting drug interactions.
- MedicineInternational journal of bio-medical computing
- 1978