|
474
|
An Abstract Prolog Instruction Set
– D H D Warren
- 1983
|
|
32
|
Optimizing bytecode emulation for Prolog
– Santos Costa, V
- 1999
|
|
231
|
Warren’s Abstract Machine: A Tutorial Reconstruction. Logic Programming
– Hassan Aït-Kaci
- 1991
|
|
63
|
The WAM: a (real) tutorial
– H Aït-Kaci
- 1990
|
|
67
|
High-performance Logic Programming with the Aquarius Prolog Compiler
– P Van Roy, A Despain
- 1992
|
|
41
|
An Overview of HAL
– Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey
- 1999
|
|
35
|
Garbage Collection for Prolog Based on WAM
– K Appleby, M Carlsson, S Haridi, D Sahlin
- 1988
|
|
52
|
Warren's Abstract Machine. A Tutorial Reconstruction
– H At-Kaci
- 1991
|
|
48
|
1983--1993: The Wonder Years of Sequential Prolog Implementation
– Peter Van Roy
- 1993
|
|
95
|
Can Logic Programming Execute as Fast as Imperative Programming? [References]
– Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic
- 1990
|
|
28
|
Dynamic Memory Management for Sequential Logic Programming Languages
– Y. Bekkers, O. Ridoux, L. Ungaro
- 1992
|
|
215
|
A nonrecursive list compacting algorithm
– C J Cheney
- 1970
|
|
23
|
Dynamic attributes, their hProlog implementation, and a first evaluation
– Bart Demoen
- 2002
|
|
17
|
Live-structure dataflow analysis for prolog
– A Mulkers, W Winsborough, M Bruynooghe
- 1994
|
|
5
|
A simple and ecient copying garbage collector for Prolog
– J Bevemyr, T Lindgren
- 1994
|
|
171
|
Constraint Handling Rules
– Thom Frühwirth
- 1995
|
|
26
|
Design and Implementation of the GNU Prolog System
– Daniel Diaz, Philippe Codognet
- 2001
|
|
175
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Zoltan Somogyi, Fergus Henderson, Thomas Conway
- 1996
|
|
41
|
Freeze, indexing, and other implementation issues in the WAM
– M Carlsson
- 1987
|
