Relating logic programs and attribute grammars
- 1 July 1985
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 2 (2) , 119-155
- https://doi.org/10.1016/0743-1066(85)90015-9
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A polymorphic type system for prologArtificial Intelligence, 1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Attribute grammars and recursive program schemes ITheoretical Computer Science, 1982
- Attribute grammars and recursive program schemes IITheoretical Computer Science, 1982
- A Simpler Construction for Showing the Intrinsically Exponential Complexity of the Circularity Problem for Attribute GrammarsJournal of the ACM, 1981
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Semantics of context-free languages: CorrectionTheory of Computing Systems, 1971
- Semantics of context-free languagesTheory of Computing Systems, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965