Integration of declarative and constraint programming
نویسندگان
چکیده
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.
منابع مشابه
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems
This paper describes the efficient integration of the functional, logic and constraint paradigms into symbolic computation systems. Moreover, it proposes the constraint logic paradigm for the programming language of symbolic computation systems. First, it describes the integration of a separate constraint logic inference engine with the functional language of the symbolic computation system Alg...
متن کاملConstraints and Object Identity
Constraint imperative programming is an integration of declarative constraints and imperative object-oriented programming. The primary goal of this integration is to use constraints to express relations among objects explicitly— relations that were implicit in the code in previous languages. However, one of the fundamental concepts of object-oriented programming, object identity, can result in ...
متن کاملA General Approach for Building Constraint Languages
This paper describes a general approach for the integration of arbitrary declarative languages and constraint systems. The main idea is to consider declarative programs together with the language evaluation mechanisms as constraint solvers and to integrate them into an overall system of cooperating solvers. Exemplarily, we present the integration of a logic language with a constraint system, an...
متن کاملDe nitional Concurrent Constraint Programming
In this paper, deenitional constraint constraint programming, abbreviated as CDC, is presented as a uniform framework for declarative concurrent programming. The new paradigm supports a uniform concurrent computational model unifying functional evaluation, linear deduction and constraint solving. It leads us from a constraint based integration of functional and logic programming to a powerful f...
متن کاملThe design and implementation of Kaleidoscope'90-A constraint imperative programming language
Two major paradigms in computer programming languages are imperative and declarative programming. We describe a scheme for languages that integrate specific features from these two paradigms into a new framework: Constraint Imperative Programming. Along with the framework, we discuss the design and implementation of a particular instance of this framework, Kaleidoscope’90. From the imperative p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- TPLP
دوره 7 شماره
صفحات -
تاریخ انتشار 2007