This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming C...
详细信息
ISBN:
(纸本)3540672818
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming Curry programs into Prolog programs:. Contrary to previous transformations of functional logic programs into Prolog, our implementation includes new mechanisms for both efficiently performing concurrent evaluation steps and sharing common subterms. The practical results show that our implementation is superior to previously proposed similar implementations of functional logic languages in Prolog and is competitive w.r.t. lower-level implementations of Curry in other target languages. An noteworthy advantage of our implementation is the ability to immediately employ in Curry existing constraint solvers for logicprogramming. In this way, we obtain with a relatively modest effort the implementation of a declarative language combining lazy evaluation, concurrency and constraint solving for a variety of constraint systems.
We compare two executable languages: the rewriting logic based specification language Maude and the higher-order, lazy, functional programming language Haskell. We compare these languages experimentally on a problem i...
详细信息
While medical information systems have become common in the United States, commercial systems that automate or assist in the process of medical diagnosis remain uncommon. This is not surprising, since automating diagn...
详细信息
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency m...
详细信息
ISBN:
(纸本)3540672818
P. Van Hentenryck et al. have designed an efficient interval constraint solver combining box consistency and Gauss-Seidel iterations, that is the core of Numerics. F. Benhamou et al. have shown that hull consistency may be faster and more accurate than box consistency. Their algorithm merges both consistency techniques taking care of the constraints' expressions. This paper presents a new algorithm BC5 enforcing hull consistency, box consistency and the interval Gauss-Seidel method. The main idea is to weaken the local contractions and to let the propagation operate between all elementary solvers in order to accelerate the computation while preserving the same precision. Algorithm BC5 is finally compared with the constraint solving algorithm of Numerica.
Behavioral rewriting differs from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including notions like termination and confluence. ...
详细信息
We present a methodology for handling efficiently relations over small finite domains in the rule-based programming language ELAN. Usually, a relation is specified as a first-order formula (a constraint) interpreted i...
详细信息
In Czech corpora, compound verb groups are usually tagged in a wordby-word manner. As a consequence, some of the morphological tags of particular components of the verb group loose their original meaning. We present a...
详细信息
Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.039;s three main goals are: (i) greater generality and expressiveness;(ii) efficient support for a wider range ...
详细信息
The idea of polytypic programming is to write programs that are defined by induction on the structure of user-defined datatypes. In this way, many functions with similar functionalities do not have to be written over ...
详细信息
In this paper, we review several methods for proving termination of rewrite programs or answer questions about normal forms. We concentrate on the methods that have been designed in ELAN and which are useful for study...
详细信息
暂无评论