A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
نویسندگان
چکیده
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 bottomup 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 bottomup evaluation will simulate the top-down one of the original program.
منابع مشابه
cient Goal Directed Bottom - upEvaluation of Logic Programs
This paper introduces a new strategy for the eecient goal directed bottom-up evaluation of logic programs. Instead of combining a standard bottom-up evaluation strategy with a Magic-set transformation, the evaluation strategy is specialized for the application to Magic-set programs which are characterized by clause bodies with a high degree of overlapping. The approach is similar to other techn...
متن کاملGoal Dependent vs. Goal Independent Analysis of Logic Programs
Abs t r ac t . Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not...
متن کاملA Computational Model for Functional Logic Deductive Databases
This paper adds the handling of negative information to a functional-logic deductive database language. By adopting as semantics for negation the so-called CRWLF, wherein the negation is intended as ’finite failure’ of reduction, we will define Herbrand algebras and models for this semantics and a fix point operator to be used in a new goaldirected bottom-up evaluation mechanism based on magic ...
متن کاملA Bottom - Up Analysis Toolkit 1
Bottom-up analysis has an elegant semantic basis, straightforward implementation, and exible application. Several recent studies indicate good prospects for exible and eecient analysis systems based on bottom-up core semantics. In addition, goal-directed or top-down analyses can be simulated through the use of query-answer transformations, of which the so-called magic set" method is one. These ...
متن کاملTowards Predicate Answer Set Programming via Coinductive Logic Programming
Answer Set Programming (ASP) is a powerful paradigm based on logic programming for non-monotonic reasoning. Current ASP implementations are restricted to “grounded range-restricted function-free normal programs” and use an evaluation strategy that is “bottom-up” (i.e., not goal-driven). Recent introduction of coinductive Logic Programming (co-LP) has allowed the development of topdown goal eval...
متن کامل