Partial deduction for structured logic programming

This publication has 8 references indexed in Scilit:

• An extended Warren abstract machine for the execution of structured logic programs
  The Journal of Logic Programming, 1992
• Partial evaluation in logic programming
  The Journal of Logic Programming, 1991
• A logical analysis of modules in logic programming
  The Journal of Logic Programming, 1989
• Fully abstract compositional semantics for logic programs
  Published by Association for Computing Machinery (ACM) ,1989
• Clausal intuitionistic logic I. fixed-point semantics
  The Journal of Logic Programming, 1988
• An experience with a Prolog-based object-oriented language
  ACM SIGPLAN Notices, 1986
• Meta-level programming and knowledge representation
  New Generation Computing, 1985
• N-Prolog: An extension of Prolog with hypothetical implications. I.
  The Journal of Logic Programming, 1984