Michael Hanus, editor. Curry|An Integrated Functional Logic Language (Version  Home/Search   Document Not in Database   Summary   Related Articles   Check

....world at the cost of weakening and conversion to inequalities. In a sense, our approach is closer to pure functional languages such as Haskell, which require an embedding of the relational part, whereas de Moor s and Gibbons s calculus is closer to functional logic languages such as Curry [11]. In fact, there are several crosslinks to logic programming, for instance, embeddings of Prolog into Haskell [12, 22] and fold unfold systems for logic programs [23] which we plan to explore in the future. Acknowledgements I am grateful to the ve anonymous referees, who went over and above ....

Michael Hanus, editor. Curry|An Integrated Functional Logic Language (Version

....The approach presented in this paper goes beyond all the others, since it allows the combination of the functional and logic aspects of Z in a higher order setting. Functional and Logic Programming Languages. There is a close relationship of our setting to functional logic languages such as Curry [6] or Oz [9] in these languages it is possible to write functions which return constraints, enabling abstractions as have been used in this paper. However, our setting provides a tighter integration and has a richer predicate language as f.i. Curry, including negation and universal quanti cation ....

M. Hanus. Curry { an integrated functional logic language. Technical report, Internet, 1999. Language report version 0.5.

....be used. The drawback of this approach is that the bottom up evaluation of the program must end. On the other hand, the integration of functional and logic programming has been widely investigated during the last years. It has led to the recent design of modern programming languages such as CURRY [9] and T OY [13] The basic ideas in functional logic programming consist in lazy narrowing as operational mechanism, following some class of narrowing strategy combined with some kind of constraint solving and higher order features, see [8] for a survey. In [1] a framework for goal directed ....

M. Hanus. Curry, An Integrated Functional Logic Language, Version 0.7.1. Technical report, University of Kiel, Germany, June 2000.

....the programmer s task, especially in large database applications. On the other hand, the integration of functional and logic programming has been widely investigated during the last years, see [8] for a survey. It has leaded to the recent design of modern programming languages such as CURRY [9] and T OY [16] following the ideas of the predecessors BABEL and K LEAF. The aim of such integration is to include features from functional (cfr. determinism, higher order functions, partial, non strict and lazy functions, possibly in nite data structures) and logic languages (cfr. logic ....

M. Hanus. Curry, An Integrated Functional Logic Language, Version 0.7.1. Technical report, University of Kiel, Germany, June 2000.

....programmer s task, especially in large database applications. 3 On the other hand, the integration of functional and logic programming has been widely investigated during the last years, see [Han94] for a survey. It has leaded to the recent design of modern programming languages such as CURRY [Han00] and T OY [LS99] following the ideas of the predecessors BABEL [MR92] and K LEAF [GLMP91] The aim of such integration is to include features from functional (cfr. determinism, higher order functions, partial, non strict and lazy functions, possibly in nite data structures) and logic languages ....

M. Hanus. Curry, An Integrated Functional Logic Language, Version 0.7.1. Technical report, University of Kiel, Germany, June 2000. 19

....are interested in the study of a deductive database system based on the integration of the functional and logic paradigms. The integration of functional and logic programming has been widely investigated during the last years. It has led to the design of modern programming languages such as CURRY [8] and TOY [10] The aim of such integration is to include features from functional (cfr. determinism, higher order functions, partial, non strict and lazy functions, possibly in nite data structures) and logic (cfr. logic variables, function inversion, non determinism, built in search) languages. ....

M. Hanus. Curry, An Integrated Functional Logic Language, Version 0.7. Technical report, University of Kiel, Germany, 2000.

.... e) e T e Following Z conventions, ha 1 ; a n i is a sequence display, and sequence concatenation. 2.2 Mappings Before we take a closer look on the meaning of Z expressions, the translation of Z into Z is discussed. A brief comparison with the functional logic language Curry [7] is also given, anticipating some basics about the computation model of Z. 4 Wolfgang Grieskamp Z. The operations of the simple typed calculus contained in Z are mapped as follows: p e ; p; y) j y = e ] y = 2 vars e) e e 0 ; e fe 0 g x 7 (x ; y) 7 y ) This handles ....

....S S 0 , is mapped to (S (S ) 7 (S 0 ) S 0 ) S 0 ) 7 (S 0 ) n (S ) where (S 0 ) n (S ) denotes the removal of the components from S in S 0 . Similarly, the remaining connectivities of the schema calculus are mapped. Functional Logic Languages. Languages such as Curry[7] can be mapped in principle to Z. The exact operational semantics of such a mapping will not be the same, since for example in Z a strict reduction order is preferred by design. An illustration of such a mapping is helpful anyway. A function de nition in Curry with constraints is mapped as ....

M. Hanus. Curry { an integrated functional logic language. Technical report, Internet, 1999. Language report version 0.5.

....in this paper goes beyond all the others, since it allows the combination of the functional and logic aspects of Z in a higher order setting. Functional Logic Languages and Logic Functional Languages. There is a close relationship of our setting to functional logic languages such as Curry [8] or Oz [14] in these languages it is possible to write functions which return constraints, enabling abstractions as have been used in this paper. However, our setting provides a tighter integration and has a richer predicate language as f.i. Curry, including negation and universal quanti cation ....

M. Hanus. Curry { an integrated functional logic language. Technical report, Internet, 1999. Language report version 0.5.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC