Integration of Declarative and Constraint Programming

TL;DR

This paper explores integrating declarative and constraint programming paradigms into a unified framework, highlighting benefits and impacts on syntax, semantics, and operations for hybrid problem solving.

Contribution

It demonstrates that combining different language paradigms through solver integration enhances flexibility and efficiency in solving complex hybrid constraint problems.

Findings

Unified framework supports hybrid constraint problem solving

Integration impacts syntax, semantics, and operational behavior

Shows potential for combining declarative and constraint programming paradigms

Abstract

Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.