Both Constraint Handling Rules (CHR) and tabling as implemented in XSB are powerful enhancements of Prolog systems, based on fix point computation. Until now they have only been implemented in separate systems. This paper presents the work involved in porting a CHR system to XSB and in particular the technical issues related to the integration of CHR with tabled resolution. These issues include...

We present the K.U.Leuven CHR system: what started out as a validation of a new attributed variables implementation, has become a part of three different Prolog systems with an increasing userbase. In this paper we highlight the particular implementation aspects of the K.U.Leuven CHR system, and a few CHR applications that we have built with our system.

Dynamic Programming (DP) is an important technique used in solving optimization problems. A close correspondence between DP recurrences and Constraint Handling Rules with rule priorities (CHR) yields natural implementations of DP problems in CHR. In this work, we evaluate different implementation techniques with respect to their runtime. From our results we derive a set of guidelines for implem...

PURPOSE To determine the maximum tolerated dose, dose-limiting toxicity, pharmacokinetics, and preliminary therapeutic activity profile of CHR-2797 (tosedostat), a novel, orally bioavailable inhibitor of the M1 family of aminopeptidases with antiproliferative and antiangiogenic activity in vitro. EXPERIMENTAL DESIGN A phase I study of accelerated titration design that escalated through nine d...

BACKGROUND Intensive care unit (ICU) patients often need blood transfusion, but no reliable predictors of transfusion requirements are available at ICU admission. The authors hypothesized that ICU patients with functional iron deficiency may be at higher risk for developing anemia, requiring blood transfusion. Their objective was to determine whether low reticulocyte hemoglobin content (CHr) wa...

The purpose of the present study was to investigate the effects of stress on allergic reaction. We studied changes in the contact hypersensitivity reaction (CHR) of mice exposed to foot shock (FS) stress or psychological (PSY) stress induced by the communication box. CHR was elicited by applying antigen (2,4-dinitrofluorobenzene, DNFB) to the ear of the mice at 4 days after DNFB sensitization. ...

s | 67 PM459 Brain Network Characteristics of Individuals at Clinical High Risk for Psychosis in between Normality and Psychosis: A Combined Structural and Functional Imaging Study Soo-Hee Choi, Jun Soo Kwon Seoul National University, Republic of Korea Abstract Objective: In an effort to improve early recognition and intervention in patients with schizophrenia (SZ), individuals at clinical high...

CHR is a declarative, concurrent and committed choice rulebased constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with the ability to write multiset rewriting rules that can match a variable number of constraints in the store. This enables writing more readable, concise and declarative code for algorithms that coordinate large amounts ...

Multi-headed rules are essential for the expressiveness of Constraint Handling Rules (CHR), but incur considerable performance overhead. Current indexing techniques are often unable to address this problem—they require matchings to have particular form, or offer good run-time complexity rather than good absolute figures. We introduce two lightweight program transformations, based on term flatte...