The execution algorithm of mercury, an efficient purely declarative logic programming language

Ait-Kaci, 1991 Boehm, 1988, Garbage Collection in an Uncooperative Environment, Software Practice and Experience, 18, 807, 10.1002/spe.4380180902 Carlsson, 1988, SICStus-Prolog User's Manual Codognet, 1995, wamcc: Compiling Prolog to C, 317 Debray, 1986, Detection and Optimization of Functional Computations in Prolog, 490 Drabent, 1987, Do Logic Programs Resemble Programs in Conventional Languages?, 389 Gudeman, 1992, jc: An Efficient and Portable Sequential Implementation of Janus, 399 Hausman, 1993, Carpe Diem, Some Implementation Aspects of Turbo Erlang, 1 Haygood, 1994, Native Code Compilation in SICStus Prolog, 190 Henderson, 1996, The Mercury Language Reference Manual Henderson, 1996, Compiling Logic Programs to C Using GNU C as a Portable Assembler Henderson, 1995, Determinism Analysis in the Mercury Compiler Henderson, 1993, Strong Modes Can Change the World! Hill, 1994 Kemp, 1989, Propagating Constraints in Recursive Deductive Databases, 981 Kluzniak, 1987, Type Synthesis for Ground Prolog, 788 Lloyd, 1987, Declarative Error Diagnosis, New Generation Computing, 5, 133, 10.1007/BF03037396 Marien, 1989, The Impact of Abstract Interpretations: An Experiment in Code Generation, 33 Milner, 1984, A Proposal for Standard ML, 184 Mulkers, 1990, Analysis of Shared Data Structures for Compile-Time Garbage Collection in Logic Programs, 747 Mycroft, 1984, A Polymorphic Type System for Prolog, Artificial Intelligence, 23, 295, 10.1016/0004-3702(84)90017-1 Pereira, 1986, Rational Debugging in Logic Programming, 203 1992 Seki, 1987, Notes on Transformation Techniques for Generate and Test Logic Programs, 215 Shapiro, 1983 Smolka, 1984, Making Control and Data Flow in Logic Programs Explicit, 311 Somogyi, 1989, A Parallel Logic Programming System Based on Strong and Precise Modes Somogyi, 1987, A System of Precise Modes for Logic Programs, 769 Taylor, 1990, LIPS on a MIPS: Results from a Prolog Compiler for a RISC, 174 Taylor, 1991, High Performance Prolog Implementation Thom, 1986, NU-Prolog Reference Manual Van Roy, 1992, High-Performance Logic Programming with the Aquarius Prolog Compiler, IEEE Computer, 25, 54, 10.1109/2.108055 Wadler, 1990, Linear Types Can Change the World!, 547 Warren, 1983, An Abstract Prolog Instruction Set Wielemaker, 1993, SWI-Prolog Reference Manual Zhou, 1994, On the Scheme of Passing Arguments in Stack Frames for Prolog, 159