M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. J. Logic Programming, 19,20:583--628, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (3 citations) (Correct)
....call waits until its arguments have enough information. This delaying mechanism is called residuation [4, 5, 3, 2] A second approach extends the basic resolution step to include the deterministic evaluation of functions. This execution strategy, called narrowing, underlies the Curry language [40, 41]. A third approach is taken by Lambda Prolog [77] It uses a more powerful logic than Horn logic as a basis for programming. In particular, functional programming is supported by providing # terms as data structures, which are handled by a form of higher order unification. A fourth approach is ....
Michael Hanus. The integration of functions into logic programming: From theory to practice. J. Log. Prog., 19/20:583--628, 1994.
A Safe Calculus and Algebra for Querying.. -.. (Correct)
....complex values, including the manipulation of deeply nested components. In the case of constraint databases [12, 7] the algebra operators are extended in order to consider geometric and temporal operations, simulating the considered constraints. In our case, we adopt functional logic programming [10] as base language for a deductive database system. On one hand, the integration of database technology into functional logic programming may be interesting, in order to increase its application eld. A nice way of interfacing with databases is to provide a SQL like syntax, more adequate and ....
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. JLP, 19,20:583-628, 1994.
A Safe Relational Calculus for Functional Logic.. -.. (Correct)
....ensure the domain independence property. Finally, we have studied its equivalence w.r.t. the original query language which is based on equality and inequality constraints. 1 Introduction Database technology is involved in most software applications. For this reason functional logic languages [7] should include database features in order to increase its application eld and cover with real world applications. In order to integrate functional logic programming and databases, we propose: 1) to adapt functional logic programs to databases, by considering a suitable data model and a data ....
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. JLP, 19,20:583-628, 1994.
Complete Selection Functions for a Lazy Conditional.. - Middeldorp, Suzuki.. (2002) (Correct)
.... was originally invented as a general method for solving unification problems in equational theories that are presented by confluent term rewriting systems (TRSs for short) More recently, narrowing was proposed as the computational mechanism of several functionallogic programming languages (Hanus [16]) and several new completeness results concerning the completeness of various narrowing strategies and calculi have been obtained in the past few years. Here completeness means that for every solution to a given goal a solution that is at least as general is computed by the narrowing strategy. ....
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19 & 20:583--628, 1994.
Automatic Tupling for Functional-Logic Programs - Moreno (2002) (Correct)
....works and we also illustrate the benefits of our approach (gains in efficiency, preservation of program structure, etc. by means of several examples. Finally, Section 6 concludes. 2 Preliminaries We assume familiarity with basic notions from term rewriting [14] and functional logic programming [15]. In this work we consider a (many sorted) signature Sigma partitioned into a set C of constructors and a set F of defined functions. The set of constructor terms with variables (e.g. x; y; z) is obtained by using symbols from C and X . The set of variables occurring in a term t is denoted by ....
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583-628, 1994.
Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Higher-Order Narrowing with Definitional Trees - Michael Hanus And (1996) (25 citations) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Functional Logic Design Patterns - Antoy, Hanus (2002) (1 citation) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Functional Logic Design Patterns - Antoy, Hanus (2002) (1 citation) Self-citation (Hanus) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Concurrent Implementation of Curry in Java - Hanus, Sadre (1997) Self-citation (Hanus) (Correct)
.... compared to logic programming: more efficient evaluation due to the deterministic and demand driven evaluation of functions) Moreover, it also amalgamates the most important operational principles developed in the area of integrated functional logic languages: residuation and narrowing (see [9] for a survey on functional logic programming) Curry s operational semantics is based on a single computation model, described in [11] which combines lazy reduction of expressions with a possibly non deterministic binding of free variables occurring in expressions. Thus, purely functional ....
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. J. Logic Programming, 19,20:583--628, 1994.
A General Approach for Building Constraint Languages - Hofstedt (2002) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
The Functional Side of Logic Programming - Massimo Marchiori Department (1995) (6 citations) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Nominal Logic Programming - Cheney (2004) (Correct)
No context found.
Michael Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19--20:583--628, 1994.
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (1 citation) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (12 citations) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (2 citations) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
No context found.
) Hanus M., "The Integration of Functions into Logic Programming: From Theory to Practice," Journal of Logic Programming, 19&20, pp. 583--628, 1994.
Unfolding of Equational Logic Programs - Alpuente, Falaschi, Ramis, Vidal (1994) (Correct)
No context found.
Michael Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 1994.
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Logic Programs with Functions - And Default Values (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 19,20:583--628, 1994.
Using Mobility and Blackboards to Support a.. - Barbosa, Yamin.. (2001) (Correct)
No context found.
HANUS, M. The Integration of Functions into Logic Programming from Theory to Practice. Journal of Logic Programming, New York, v.19/20, p.583-628, May/July 1994.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Program Specialization Based on Dynamic Slicing - Ochoa, Silva, Vidal (2004) (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Refining Weakly Outermost-Needed Rewriting and Narrowing - Escobar (2003) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Higher-Order Narrowing with Convergent - Systems Christian Prehofer (1995) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Implementing Natural Rewriting and Narrowing Efficiently - Escobar (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
Logic Programs with Functions - And Default Values (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: from theory to practice. Journal of Logic Programming, 19,20:583--628, 1994.
On Closure under Complementation of Equational Tree . . . - Verma (2003) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19 & 20:583--628, 1994.
Time Equations for Lazy Functional (Logic) Languages - Albert, Silva, Vidal (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Memoizing Semantics for - Functional Logic Languages (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Strategies and Analysis Techniques in Functional Program.. - Escobar (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
Inductive Theorem Proving for Design Specifications - Padawitz (1997) (3 citations) (Correct)
No context found.
M. Hanus, The Integration of Functions into Logic Programming: From Theory to Practice, J. Logic Programming 19&20 (1994) 583-628
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
No context found.
M. Hanus, The Integration of Functions into Logic Programming: From Theory to Practice, J. Logic Programming 19/20 (1994) 583-628
A System for Testing and Verifying Functional-Logic Programs - Padawitz (2002) (1 citation) (Correct)
No context found.
M. Hanus, The Integration of Functions into Logic Programming: From Theory to Practice, J. Logic Programming 19&20 (1994) 583-628
Solving Equations by Graph Transformation - Habel, Plump (2001) (Correct)
No context found.
Hanus, M., The integration of functions into logic programming: From theory to practice, The Journal of Logic Programming 19 & 20 (1994), pp. 583-628.
A Relational Algebra for Functional Logic Deductive.. -.. (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. JLP, 19,20:583-628, 1994.
International Journal of Foundations of Computer Science - World Scienti Publishing (Correct)
No context found.
Michael Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
Programming with Narrowing - Sergio Antoy Computer (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583--628, 1994.
Multiple-Valued Horn Clauses and Their WAM Compilation - Boley (1998) (Correct)
No context found.
Michael Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19,20:583-628, 1994.
A Safe Transformation System for Optimizing Functional Programs - Moreno (Correct)
No context found.
M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, 19&20:583--628, 1994.
A Theory of Overloading - Stuckey, Sulzmann (2002) (Correct)
No context found.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583-628, 1994.
First 50 documents Next 50
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