A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems

This publication has 15 references indexed in Scilit:

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
  Science of Computer Programming, 2005
• Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
  2004
• Improved Compilation of Prolog to C Using Moded Types and Determinism Information
  Lecture Notes in Computer Science, 2004
• The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library
  Electronic Notes in Theoretical Computer Science, 2000
• The execution algorithm of mercury, an efficient purely declarative logic programming language
  The Journal of Logic Programming, 1996
• 1983–1993: The wonder years of sequential Prolog implementation
  The Journal of Logic Programming, 1994
• HiLog: A foundation for higher-order logic programming
  The Journal of Logic Programming, 1993
• Adding equations to NU-Prolog
  Lecture Notes in Computer Science, 1991
• Lazy evaluation in logic
  Lecture Notes in Computer Science, 1991
• The relation between logic and functional languages: a survey
  The Journal of Logic Programming, 1986