A new generic scheme for functional logic programming with constraints

Authors:
Francisco J. López Fraguas;Mario Rodríguez Artalejo;Rafael Del Vírseda
Affiliations:
Departamento de Sistemas Informáticos y Programación, Facultad de Informática de la Universidad Complutense de Madrid, Madrid, Spain 28040;Departamento de Sistemas Informáticos y Programación, Facultad de Informática de la Universidad Complutense de Madrid, Madrid, Spain 28040;Departamento de Sistemas Informáticos y Programación, Facultad de Informática de la Universidad Complutense de Madrid, Madrid, Spain 28040
Venue:
Higher-Order and Symbolic Computation
Year:
2007

Citing 53
Cited 16

On the algebraic specification of infinite objects—ordered and continuous models of algebraic types

Acta Informatica
Logic programming: functions, relations, and equations

Logic programming: functions, relations, and equations
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
Declarative modeling of the operational behavior of logic languages

Theoretical Computer Science
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A rationale for conditional equational programming

Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Rewrite systems

Handbook of theoretical computer science (vol. B)
Logic programming

Handbook of theoretical computer science (vol. B)
Semantic domains

Handbook of theoretical computer science (vol. B)
The CLP( R ) language and system

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Nondeterministic algebraic specifications and nonconfluent term rewriting

Journal of Logic Programming
Constraint satisfaction using constraint logic programming

Artificial Intelligence - Special volume on constraint-based reasoning
Nondeterminism in algebraic specifications and algebraic programs

Nondeterminism in algebraic specifications and algebraic programs
Term rewriting systems

Handbook of logic in computer science (vol. 2)
A model-theoretic reconstruction of the operational semantics of logic programs

Information and Computation
A needed narrowing strategy

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative interpretations reconsidered

Proceedings of the eleventh international conference on Logic programming
A feature constraint system for logic programming with entailment

FGCS'921 Selected papers of the conference on Fifth generation computer systems
A complete and recursive feature theory

Theoretical Computer Science
A unified computation model for functional and logic programming

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A lazy narrowing calculus for functional logic programming with algebraic polymorphic types

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Term rewriting and all that

Term rewriting and all that
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

Journal of the ACM (JACM)
A needed narrowing strategy

Journal of the ACM (JACM)
Principal type-schemes for functional programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
A Tiny Constrain Functional Logic Language and Its Continuation Semantics

ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
A Rewriting Logic for Declarative Programming

ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Solving Combinatorial Problems with a Constraint Functional Logic Language

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Declarative Diagnosis in the CLP Scheme

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
A Demand Driven Computation Strategy for Lazy Narrowing

PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Combining Layz Narrowing with Disequality Constraints

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Embedding Multiset Constraints into a Lazy Functional Logic Language

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Introducing Constraint Functional Logic Programming

Seminar and Workshop on Declarative Programming
A General Scheme for Constraint Functional Logic Programming

Proceedings of the Third International Conference on Algebraic and Logic Programming
Canonical Forms and Unification

Proceedings of the 5th Conference on Automated Deduction
Constrained Equational Deduction

Proceedings of the 2nd International CTRS Workshop on Conditional and Typed Rewriting Systems
Functional Plus Logic Programming with Built-In and Symbolic Constraints

PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
A demand-driven narrowing calculus with overlapping definitional trees

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Logic programming in the context of multiparadigm programming: the Oz experience

Theory and Practice of Logic Programming
A proof theoretic approach to failure in functional logic programming

Theory and Practice of Logic Programming
A general framework for lazy functional logic programming with algebraic polymorphic types

Theory and Practice of Logic Programming
A lazy narrowing calculus for declarative constraint programming

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Designing an efficient computation strategy in CFLP(FD) using definitional trees

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
A comparison between two logical formalisms for rewriting

Theory and Practice of Logic Programming
Declarative diagnosis of wrong answers in constraint functional-logic programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Declarative constraint programming with definitional trees

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems

A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme

Electronic Notes in Theoretical Computer Science (ENTCS)
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
Cooperation of constraint domains in the TOY system

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A higher-order logical framework for the algorithmic debugging and verification of declarative programs

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Qualified Computations in Functional Logic Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp

Theory and Practice of Logic Programming
A Logical Framework for Debugging in Declarative Constraint Programming

Electronic Notes in Theoretical Computer Science (ENTCS)
TOY: A System for Experimenting with Cooperation of Constraint Domains

Electronic Notes in Theoretical Computer Science (ENTCS)
Declarative debugging of missing answers in constraint functional-logic programming

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Declarative diagnosis of missing answers in constraint functional-logic programming

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Playing with TOY: constraints and domain cooperation

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Cooperation of algebraic constraint domains in higher-order functional and logic programming

AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains

Electronic Notes in Theoretical Computer Science (ENTCS)
A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions

WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Extending the TOY system with the ECLiPSe solver over sets of integers

FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Typing as functional-logic evaluation

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose a new generic scheme CFLP驴, intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain 驴. As in the case of the well known CLP驴 scheme for Constraint Logic Programming, 驴 is assumed to provide domain specific data values and constraints. CFLP驴 programs are presented as sets of constrained rewrite rules that define the behavior of possibly higher order and/or non-deterministic lazy functions over 驴. As a main novelty w.r.t. previous related work, we present a Constraint Rewriting Logic CRWL驴 which provides a declarative semantics for CFLP驴 programs. This logic relies on a new formalization of constraint domains and program interpretations, which allows a flexible combination of domain specific data values and user defined data constructors, as well as a functional view of constraints.