Title :
Logic programming implementation of functional programming languages
Author :
Pan, Aiqin ; Bryant, Barrett R.
Author_Institution :
Dept. of Comput. & Inf. Sci., Alabama Univ., Birmingham, AL, USA
Abstract :
The logic programming language Prolog is advocated as an implementation language for functional programming languages. Lambda reduction machines using the evaluation strategies of strict and lazy evaluation, fully lazy evaluation using graph reduction, and compilation into supercombinators are all defined in Prolog using techniques unique to logic programming. It is also shown how Prolog may be used to efficiently implement polymorphic type checking
Keywords :
PROLOG; functional programming; high level languages; logic programming; Lambda reduction machines; Prolog; functional programming languages; graph reduction; lazy evaluation; logic programming language; polymorphic type checking; supercombinators; Bidirectional control; DC generators; Feeds; Functional programming; Logic programming; Prototypes; Spatial databases;
Conference_Titel :
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location :
Bombay
DOI :
10.1109/TENCON.1989.176877
