A grammatical view of logic programming

This publication has 15 references indexed in Scilit:

• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
  Information and Computation, 1988
• Logic programming with external procedures: introducing S-unification
  Information Processing Letters, 1988
• Parsing and compiling using Prolog
  ACM Transactions on Programming Languages and Systems, 1987
• AID: An alternative implementation of DCGs
  New Generation Computing, 1986
• Relating logic programs and attribute grammars
  The Journal of Logic Programming, 1985
• A theory of complete logic programs with equality
  The Journal of Logic Programming, 1984
• Towards a programming language based on the notion of two-level grammar
  Theoretical Computer Science, 1983
• Grammatical unification
  Information Processing Letters, 1982
• Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
  Artificial Intelligence, 1980
• Semantics of context-free languages
  Theory of Computing Systems, 1968