A Truly Declarative Prolog-Like Language

  • G Papakonstantinou
  • T Panayiotopoulos
  • M Sideri
Part of the Microprocessor-Based and Intelligent Systems Engineering book series (ISCA, volume 9)


This paper presents a truly declarative Prolog-like language that is based on attribute grammars, and imposes no restriction on the ordering of the subgoals when writing a logic rule. The method is based on a multipass attribute grammar evaluator combined with an already developed methodology for relating attribute grammars and logic programming.

Index Terms

Prolog declarative knowledge representation attribute grammars 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    P. Deransart,“Attribute Grammars”, Goos G., Hartnanis J., (Eds.), Springer-Verlag, 1988.Google Scholar
  2. [2] D. E. Knuth, “Semantics of context free language?, Mathematical Systems Theory, vol 2, no 2, pp.127–145, 1968, and vol 5, no 1, pp.95–96, 1971.MathSciNetzbMATHCrossRefGoogle Scholar
  3. [3]
    G. Papakonstantinou, C. Moraitis, T. Panayiotopoulos, “An Attribute Grammar Interpreter as a Knowledge Engineering Tool”, Angewandte Informatik, 9/86, pp.382–388, 1986.Google Scholar
  4. [4]
    M. Sideri, S. Efremidis, G. Papakonstantinou, “Semantically Driven Parsing of Context-free Languages”, THE COMPUTER JOURNAL, vol 32, no 1, pp.91–93, 1989.zbMATHCrossRefGoogle Scholar
  5. [5]
    T. Panayiotopoulos, G. Papakonstantinou, G. Stamatopoulos, “An Attribute Grammar Based Theorem Prover”, Information and Software Technology, vol 30, no 9, pp.553–560, November 1988.CrossRefGoogle Scholar
  6. [6]
    T. Panayiotopoulos, G. Papakonstantinou, N. M. Sgouros, “An Attribute Grammar interpreter for Inexact Reasoning”, Information and Software Technology, vol 32, no 5, pp.347–356, June 1990.CrossRefGoogle Scholar
  7. [7]
    R. Floyd, “The syntax of programming languages - a survey”, IEEE Transactions on Electronic Computers vol EG-13, no 4, pp.346–353, 1964.CrossRefGoogle Scholar
  8. [8]
    F. Jalili, “A general incremental evaluator for attribute grammars”, Science of Computer Programming, vol 5, pp.83–96, 1985.MathSciNetzbMATHCrossRefGoogle Scholar
  9. [9]
    L. Sterling, E. Shapiro, “The art of Prolog. Advanced programming techniques”, E.Shapiro (Ed), MIT Press, Cambridge, MA, USA, 1986.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1991

Authors and Affiliations

  • G Papakonstantinou
    • 1
  • T Panayiotopoulos
    • 1
  • M Sideri
    • 1
  1. 1.National TechnicalUniversity of Athens Electrical Engineering Department Computer Science Division Zografou CampusAthensGreece

Personalised recommendations