T. Fruhwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
....75 6.1 JCHR: Java Constraint Handling Rules The rst implementations of CHR were interpreters: In 1991 in Eclipse Prolog and in 1993 in Lisp. An interpreter was written in the logical concurrent object oriented language Oz in 1996. In 1994, the rst compiler was written as a library of Eclipse [49]. In 1998, an implementation of CHR in Sicstus Prolog [54] was proposed which improves previous implementations in terms of completeness, exibility and ecency. In this section, we present the rst implementation of CHR in Java. 6.1.1 Syntax of a JCHR Solver A JCHR constraint solver is ....
T. Fruhwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.
JACK: A Java Constraint Kit - Abdennadher, Krämer, Saft, Schmauss (2002) (5 citations) (Correct)
....existing solvers. CHR allows to specify and implement both propagation and simpli cation for user de ned constraints using rules. With CHR one can introduce these constraints into a given host language. Most CHR libraries have been implemented in logic programming languages, e.g. Eclipse [8] or Sicstus Prolog [9] In the following, we will present an implementation of CHR in Java. We call this language Java Constraint Handling Rules (JCHR) 3.1 Syntax of a JCHR Solver A JCHR constraint handler (also called constraint solver) is introduced by the keyword handler followed by the name ....
T. Fruhwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.
JACK: A Java Constraint Kit - Abdennadher, Krämer, Saft, Schmauss (2001) (5 citations) (Correct)
....modifying existing solvers. CHR allows to specify and implement both propagation and simpli cation for user de ned constraints using rules. With CHR one can introduce these constraints into a given host language. Most CHR libraries have been implemented in logic programming languages, e.g. Eclipse [6] or Sicstus Prolog [7] JCHR is an implementation of CHR in Java. 2.1 Syntax of a JCHR Solver A JCHR constraint handler (also called constraint solver) is introduced by the keyword handler followed by the name of the handler and the code of the handler written in curly brackets (blocks as known ....
....type Object. They are associated with a type and a name. Object X = new Object( cs.addVariable(X, java.lang.Integer , X ) The last step in setting up the constraint system is inserting initial constraints with the addGoalConstraint method of ConstraintSystem. Here, the constraint fdEnu(X,[2,3,4,5,6]) is created and inserted into the constraint store: cs.addGoalConstraint(new FDENUConstraint(X,createList(2,6) Now, the search engine is being set up. In this particular example, the values of the variable X should simply be enumerated. So, a container with the variable is created: ....
T. Fruhwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.
A Visualization Tool for Constraint Handling Rules - Abdennadher, Saft (2001) (Correct)
No context found.
T. Fruhwirth and P. Brisset. High-level implementations of constraint handling rules. Technical report, ECRC, 1995.
An Implementation of CHR in Java - Schmauß (1999) (Correct)
No context found.
Thom Fruhwirth, Pascal Brisset. High-Level Implementations of Constraint Handling Rules. ECRC Technical Report EXRC-TR-95-20. 1995. Internet: http://www.pst.informatik.uni-muenchen.de/~fruehwir/Papers/ecrc9195 /ECRC-95-20.ps.Z
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC