FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Subrahmanyam, P.A.
Other Author You, J-H.
Title FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)
Date 1983
Description Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared with pure logic programming languages. A novel lazy reduction mechanism, pattern?driven reduction, for the underlying functional model is developed which cleanly and naturally achieves reduction?by-need. An abstract semantic unification algorithm is given upon which the resolution is based. Several example programs in Funlog are presented, including a program for finding the first N "lucky numbers". Programming in Funlog offers the flexibility of choosing between a backtracking free (determinate or indeterminate) computational framework and a non-deterministic one. Some implementation issues are also discussed.
Type Text
Publisher University of Utah
First Page 1
Last Page 29
Subject FUNLOG; Functional programming; Logic programming
Language eng
Bibliographic Citation Subrahmanyam, P. A., & You, J-H. (1983). FUNLOG = functions + logic: a computational model integrating logic programming and functional programming. 1-29. UTEC-83-040.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 5,284,038 bytes
Identifier ir-main,16138
ARK ark:/87278/s62b9g7x
Setname ir_uspace
ID 703681
Reference URL https://collections.lib.utah.edu/ark:/87278/s62b9g7x