zbMATH — the first resource for mathematics

A framework for goal-directed bottom-up evaluation of functional logic programs. (English) Zbl 0977.68580
Kuchen, Herbert (ed.) et al., Functional and logic programming. 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2024, 153-169 (2001).
Summary: In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the development of an operational semantics based on bottom- up evaluation for functional logic languages. As in the logic paradigm, the bottom-up evaluation will consist in a magic transformation for a given program-query into a magic program-query for which the bottom-up evaluation will simulate the top-down one of the original program.
For the entire collection see [Zbl 0958.00038].

68U99 Computing methodologies and applications
68N17 Logic programming
68N18 Functional programming and lambda calculus
68P15 Database theory
Full Text: Link