FRESH: A Higher-Order Language with Unification and Multiple Results
| dc.contributor.author | Smolka, Gert | en_US |
| dc.contributor.author | Panangaden, Prakash | en_US |
| dc.date.accessioned | 2007-04-23T17:09:49Z | |
| dc.date.available | 2007-04-23T17:09:49Z | |
| dc.date.issued | 1985-05 | en_US |
| dc.description.abstract | This paper presents Fresh, a language that integrates logic programming features into higher-order functional programming. The language incorporates unification, multiple results and a collection construct. Many examples illustrate that these extensions of functional programming are useful. We define an operational semantics along the lines of Plotkin's structural approach. The semantics is of intrinsic interest since it covers backtracking and the collection construct. To illustrate the conceptual similarities and differences between functional and logic programming, we begin with a purely functional core language and add first unification and then backtracking. With each addition we discuss the enhanced eloquence of the language and the concomitant modifications to the semantics. | en_US |
| dc.format.extent | 5436841 bytes | |
| dc.format.extent | 923684 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR85-685 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/6525 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | FRESH: A Higher-Order Language with Unification and Multiple Results | en_US |
| dc.type | technical report | en_US |