The implementation of lazy narrowing

This publication has 9 references indexed in Scilit:

• Compiling logic programs with equality
  Published by Springer Nature ,2005
• Lazy narrowing in a graph machine
  Published by Springer Nature ,1990
• The spineless tagless G-machine
  Published by Association for Computing Machinery (ACM) ,1989
• Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
  Published by Springer Nature ,1989
• Narrowing vs. SLD-resolution
  Theoretical Computer Science, 1988
• Babel: A functional and logic programming language based on constructor discipline and narrowing
  Published by Springer Nature ,1988
• Tim: A simple, lazy abstract machine to execute supercombinators
  Published by Springer Nature ,1987
• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980