FUNCTIONAL PRODUCTION SYSTEMS VIEWED AS GRAMMARS

1991 ◽  
Vol 02 (01) ◽  
pp. 23-41
Author(s):  
THOMAS WILMES
Keyword(s):  
Logic Programming ◽  
Production Systems ◽  
Attribute Grammars ◽  
Definite Clause

Functional production systems, which have been represented so far as a unification of functional and logic programming, are reviewed as a highly compact grammar concept, generalizing two-level, definite clause, macro, and attribute grammars.

CHR grammars

2005 ◽  
Vol 5 (4-5) ◽  
pp. 467-501 ◽  
Author(s):  
HENNING CHRISTIANSEN
Keyword(s):  
Logic Programming ◽  
Integrity Constraints ◽  
Bottom Up ◽  
Context Sensitive ◽  
Language Analysis ◽  
Definite Clause Grammars ◽  
Grammar Rules ◽  
High Flexibility ◽  
Definite Clause ◽  
Specification And Implementation

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. These grammars execute as robust bottom-up parsers with an inherent treatment of ambiguity and a high flexibility to model various linguistic phenomena. The formalism extends previous logic programming based grammars with a form of context-sensitive rules and the possibility to include extra-grammatical hypotheses in both head and body of grammar rules. Among the applications are straightforward implementations of Assumption Grammars and abduction under integrity constraints for language analysis. CHR grammars appear as a powerful tool for specification and implementation of language processors and may be proposed as a new standard for bottom-up grammars in logic programming.

Attribute Grammars and Their Applications

2011 ◽  
pp. 268-273
Author(s):  
Krishnaprasad Thirunarayan
Keyword(s):  
Programming Languages ◽  
Formal Specification ◽  
Attribute Grammars ◽  
Compiler Generation ◽  
Semantics Of Programming Languages ◽  
Definite Clause Grammars ◽  
Language Definition ◽  
Definite Clause ◽  
Specification And Implementation

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this chapter, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, and so forth. Our goal is to emphasize its role as a tool for design, formal specification and implementation of practical systems, so our presentation is example rich.

Sign in / Sign up

Export Citation Format

Share Document