A simple code improvement scheme for prolog

This publication has 8 references indexed in Scilit:

• Unfold/fold transformation of stratified programs
  Theoretical Computer Science, 1991
• Flow analysis of dynamic logic programs
  The Journal of Logic Programming, 1989
• Static inference of modes and data dependencies in logic programs
  ACM Transactions on Programming Languages and Systems, 1989
• Runtime tags aren't necessary
  Higher-Order and Symbolic Computation, 1989
• Improving the execution speed of compiled Prolog with modes, clause selection, and determinism
  Published by Springer Nature ,1987
• Compiler optimizations for the WAM
  Published by Springer Nature ,1986
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• A portable optimizing compiler for Modula-2
  ACM SIGPLAN Notices, 1984