Compiling a functional language to prolog

Simple item page
dc.contributor.authorCsáki, Csabaen_US
dc.date.accessioned2024-08-13T18:16:41Z
dc.date.available2024-08-13T18:16:41Z
dc.date.copyright1993en_US
dc.date.issued1993
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.description.abstractThe two main paradigms of declarative computation are logic programming and functional programming. There are problems which can be expressed more naturally in a logic language than in functional language and vice versa. Therefore, the integration of the two paradigms is not only of theoretical but of practical interest as well. In this thesis we discuss the introduction of functional expressions into logic programs. We present a method for translating the expressions into equations and for translating the equations into logic clauses. The resulting cod is an ordinary Prolog program and can be efficiently executed using conventional implementation techniques.en
dc.format.extent99 pages
dc.identifier.urihttps://hdl.handle.net/1828/17574
dc.rightsAvailable to the World Wide Weben_US
dc.titleCompiling a functional language to prologen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CSAKI_Csaba_MSc_1993_635989.pdf
Size:
22.04 MB
Format:
Adobe Portable Document Format
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.