Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Handbook of theoretical computer science (vol. B)
PLILP '91 Proceedings of the 3rd international symposium on Programming language implementation and logic programming
A deterministic lazy narrowing calculus
Journal of Symbolic Computation
The OPL optimization programming language
The OPL optimization programming language
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
Solving Combinatorial Problems with a Constraint Functional Logic Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Demand Driven Computation Strategy for Lazy Narrowing
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
An Open-Ended Finite Domain Constraint Solver
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Compiling Multi-Paradigm Declarative Programs into Prolog
FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Proceedings of the Third International Conference on Algebraic and Logic Programming
A General Scheme for Constraint Functional Logic Programming
Proceedings of the Third International Conference on Algebraic and Logic Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Constraint Processing
A demand-driven narrowing calculus with overlapping definitional trees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
Logic programming in the context of multiparadigm programming: the Oz experience
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
Principles of Constraint Programming
Principles of Constraint 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)
TOY: A System for Experimenting with Cooperation of Constraint Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm declarative languages
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
Parameterized models for on-line and off-line use
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
From functional logic programs to purely functional programs preserving laziness
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Integrating ILOG CP technology into TOY
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Improving the performance of FD constraint solving in a CFLP system
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.00 |
In this paper, we present our proposal to Constraint FunctionalLogic Programming over Finite Domains(CFLP(ℱ𝐷) with a lazy functional logicprogramming language which seamlessly embodies finite domain(ℱ𝐷) constraints. This proposal increases theexpressiveness and power of constraint logic programming overfinite domains (CLP(ℱ𝐷) by combiningfunctional and relational notation, curried expressions,higher-order functions, patterns, partial applications,non-determinism, lazy evaluation, logical variables, types, domainvariables, constraint composition, and finite domain constraints.We describe the syntax of the language, its type discipline, andits declarative and operational semantics. We also describe𝑇𝑂𝑌 (ℱ𝐷), an implementationfor CFLP(ℱ𝐷), and a comparison of ourapproach with respect to CLP(ℱ𝐷) from aprogramming point of view, showing the new features we introduce.And, finally, we show a performance analysis which demonstratesthat our implementation is competitive with respect to existingCLP(ℱ𝐷) systems and that clearlyoutperforms the closer approach toCFLP(ℱ𝐷).