Abstract This paper presents an attempt to do lazy evaluation in GCLA by translating functional programs into GCLA definitions and evaluating these using a proper procedural part. The resulting GCLA programs are described with some detail to illuminate different aspects of GCLA programming. 1
|
496
|
S.: The Implementation of Functional Programming Languages
– Jones
- 1987
|
|
333
|
The integration of functions into logic programming: from theory to practice
– Hanus
- 1994
|
|
87
|
Higher-order extensions to Prolog: are they needed
– Warren
- 1982
|
|
82
|
A compiler for lazy ML
– Augustsson
- 1984
|
|
69
|
Compiling lazy functional languages
– Johnsson
- 1987
|
|
54
|
A proof-theoretic approach to logic programming. ii. Programs as definitions
– Hallnäs, Schroeder-Heister
- 1991
|
|
46
|
Implementing Functional Languages, A Tutorial
– Jones, Lester
- 1992
|
|
46
|
Compiling lazy functional languages, part II
– Augustsson
- 1987
|
|
35
|
Adding equations to NU-Prolog
– Naish
- 1991
|
|
21
|
Partial inductive definitions
– Hallnas
- 1991
|
|
13
|
A Technique for Doing Lazy Evaluation in Logic
– Narain
- 1986
|
|
13
|
The implementation of lazy narrowing
– Chakravarty, Lock
- 1991
|
|
12
|
Logic Programming: Functions, Relations and Equations
– DeGroot, Lindstrom
- 1986
|
|
12
|
Lazy ML user's manual. Programming methodology group report
– Augustsson, Johnsson
- 1990
|
|
11
|
The Design, Use, and Implementation of a Program Development System
– Aronsson, GCLA
- 1993
|
|
11
|
GCLA: a definitional approach to logic programming
– Aronsson, Eriksson, et al.
- 1990
|
|
10
|
Methodology and programming techniques in GCLA II
– Aronsson
- 1991
|
|
6
|
Lazy Evaluation
– Antoy
- 1991
|
|
5
|
Higher-order extensions to prolog---are they needed
– Warren
- 1982
|
|
5
|
Programming Methodologies in GCLA
– Falkman, Torgersson
- 1994
|
|
5
|
GCLA II: A definitional approach to control
– Kreuger
- 1992
|
|
4
|
Integrating Logic and
– Ait-Kaci, Nasr
- 1989
|
|
4
|
Logic Programming within a Functional Framework
– Brogi, Mancarella, et al.
- 1990
|
|
3
|
A Definitional Approach to Control, Ph L thesis
– Kreuger, GCLA
- 1991
|
|
3
|
Program separation as a basis for definitional higher order programming
– Falkman
- 1994
|
|
3
|
Functional logic programming in GCLA
– Torgersson
- 1994
|
|
1
|
Compiling Functional Languages, part II
– Augustsson
- 1987
|
|
1
|
Programming Methodologies
– Falkman, Torgersson
|
|
1
|
Compiling Logic Programs with Equality, LNCS
– Hanus
|
|
1
|
Lazy Evaluation
– Narain
- 1990
|
