Advertisement

A semantic evaluator generating system in prolog

  • Pedro Rangel Henriques
Attribute Grammars And Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 348)

Abstract

This paper describes a semantic evaluator generating system developed with the objective of combining attribute grammars and logic programming.

Both the generator and the attribute based semantic evaluator are Prolog programs. The language to be analysed is specified by a strongly non-circular (SNC) attribute grammar. The parser is of type SLR(1) incorporating error handling (by means of local correction). The evaluator is based on a top-down recursive algorithm computing attributes by dynamic need.

Keywords

Logic Program Logic Programming Horn Clause Derivation Tree Semantic Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Abr84]
    Harvey Abramson. Definite clause translation grammars. In Proc. 84 — Int. Symp. on Logic Programming, Atlantic City, pages 233–240, IEEE, 1984. (University of British Columbia).Google Scholar
  2. [Arb86]
    Bijan Arbab. Compiling circular attribute grammars into prolog. Journal of Research and Development, 30(3):294–309, May 1986.Google Scholar
  3. [ASU86]
    Aho, Sethi, and Ulman. Compiler Principles Techniques and Tools. Addison-Wesley, 1986.Google Scholar
  4. [Bou84]
    Pierre Boullier. Contribution à la Construction Automatique d'Analyseur Lexicographiques et Syntaxiques. PhD thesis, Université d'Orleans, 1984.Google Scholar
  5. [CD87]
    B. Courcelle and P. Deransart. Proofs for Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming. Technical Report I-8702, Univ. de Bordeaux I, U.E.R. de Mathématiques et Informatiques, January 1987.Google Scholar
  6. [CF82]
    B. Courcelle and P. Franchi-Zannettacci. Attribute grammars and recursive program schemes. Theoretical Computer Science, 17:163–191 and 235–257, 1982.Google Scholar
  7. [DF86]
    P. Deransart and G. Ferrand. Initiation a Prolog: Concepts de Base. Support de Cours 86-2, Université d'Orleans, Dep. de Mathématiques et Informatique, June 1986.Google Scholar
  8. [DJL85]
    P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part III Classified Bibliography. Rapport de Recherche 417, INRIA, Rocquencourt, January 1985.Google Scholar
  9. [DJL86a]
    P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part I Main Results. Rapport de Recherche 485, INRIA, Rocquencourt, January 1986.Google Scholar
  10. [DJL86b]
    P. Deransart, M. Jourdan, and B. Lorho. A Survey on Attribute Grammars: Part II Review of Existing Systems. Rapport de Recherche 510, INRIA, Rocquencourt, January 1986.Google Scholar
  11. [DM85]
    P. Deransart and J. Maluszynski. Relating Logic Programs and Attribute Grammars. Rapport de Recherche 393, INRIA, Rocquencourt, April 1985.Google Scholar
  12. [Jou83]
    Martin Jourdan. An Efficient Recursive Evaluator for Strongly Non-Circular Attribute Grammars. Rapport de Recherche 235, INRIA, Rocquencourt, October 1983.Google Scholar
  13. [Jou85]
    Martin Jourdan. Evaluation Récursive des Grammaires Attribuées: Deux Implantations. Rapport de Recherche 409, INRIA, Rocquencourt, May 1985.Google Scholar
  14. [Knu68]
    Donald E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127–145, 1968.Google Scholar
  15. [MTea83]
    Y. Matsumoto, H. Tanaka, and H. Hirakawa et al. BUP: a bottom-up parser embedded in prolog. New Generation Computing, 1, 1983.Google Scholar
  16. [Nil86]
    U. Nilsson. AID: an alternative implementation of DCGs. 1986. Dep. of Computer and Information Science, Linköping University (draft version).Google Scholar
  17. [PW80]
    F. C. N. Pereira and D. H. D. Warren. Definite clause grammars for language analysis: a survey of the formalism and comparison with augmented transistion networks. Artificial Intelligence, 13(3):231–278, 1980.Google Scholar
  18. [Rai80]
    K. J. Räihä. Bibliography on attribute grammars. SIGPLAN Notices, 15(3):35–44, 1980.Google Scholar
  19. [UOea84]
    Kuniaki Uehara, R. Ochitani, and O. Kakusho et al. A bottom-up parser based on predicate logic: a survey of the formalism and its implementation technique. In Proc. 84 — Int. Symp. on Logic Programming, Atlantic City, pages 220–227, IEEE, 1984. (Osaka University).Google Scholar
  20. [WG84]
    William Waite and Gerhard Goos. Compiler Construction. Texts and Monographs in Computer Science, Springer-Verlag, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Pedro Rangel Henriques
    • 1
  1. 1.Computer Science GroupUniversity of MinhoBragaPortugal

Personalised recommendations