DocumentCode
2835255
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
fYear
1989
fDate
22-24 Nov 1989
Firstpage
174
Lastpage
178
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;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location
Bombay
Type
conf
DOI
10.1109/TENCON.1989.176877
Filename
176877
Link To Document