This is a summary of the Ph.D. thesis of Tom Schrijvers [4]. Constraint Handling Rules (CHR) [3] is a rule-based language commonly embedded in a host language. It combines elements of Constraint Logic Programming and term rewriting. Several implementations of CHR exist: in Prolog, Haskell, Java and HAL. Typical applications of CHR are in the area of constraint solving, but currently CHR is also...

CHR is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possible to write the classic union-find algorithm and variants in CHR. The programs neither compromise in declarativeness nor efficiency. Using CHR analysis techniques we study logical correctness, confluence and time complexity of our programs. We ob...

BACKGROUND AND AIMS Given the difficulty of treating schizophrenia and other forms of psychosis, researchers have shifted focus to early detection and intervention of individuals at clinical high risk (CHR) for psychosis. Previous studies have shown that elements in family functioning could predict symptom outcome in CHR individuals. However, associations between self reported family functionin...

Satisfiability Modulo Constraint Handling Rules (SMCHR) is the integration of the Constraint Handling Rules (CHRs) solver programming language into a Satisfiability Modulo Theories (SMT) solver framework. Constraint solvers are implemented in CHR as a set of high-level rules that specify the simplification (rewriting) and constraint propagation behavior. The traditional CHR execution algorithm ...

In this paper, we address the different conceptual and technical difficulties encountered when embedding CHR into an imperative host language. We argue that a tight, natural integration leads to a powerful programming language extension, intuitive to both CHR and imperative programmers. We show how to compile CHR to highly optimized imperative code. To this end, we first review the well-establi...

We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the answer provided by type inference is correct and consistent. The standard method for establishing confluence relies on an assumption that the CHR program is terminating. However, many examples in practice give rise to...

Nonalcoholic fatty liver disease (NAFLD) is a highly prevalent form of human hepatic disease and feeding mice a high-fat, high-caloric (HFHC) diet is a standard model of NAFLD. To better understand the genetic basis of NAFLD, we conducted an expression quantitative trait locus (eQTL) analysis of mice fed a HFHC diet. Two-hundred sixty-five (A/J × C57BL/6J) F2 male mice were fed a HFHC diet for ...

Loci controlling plasma lipid concentrations were identified by performing a quantitative trait locus analysis on genotypes from 233 mice from a F2 cross between KK/HlJ and I/LnJ, two strains known to differ in their high-density lipoprotein (HDL) cholesterol levels. When fed a standard diet, HDL cholesterol concentration was affected by two significant loci, the Apoa2 locus on Chromosome (Chr)...

We investigated the effect of apolipoprotein E (Apoe) on albuminuria in the males of two independent F2 intercrosses between C57BL/6J and A/J mice, using wild-type inbred strains in the first cross and B6-Apoe(-/-) animals in the second cross. In the first cross, we identified three quantitative trait loci (QTL): chromosome (Chr) 2 [LOD 3.5, peak at 70 cM, confidence interval (C.I.) 28-88 cM]; ...

It is not well established whether the incident outcomes of the clinical high-risk (CHR) syndrome for psychosis are diagnostically specific for psychosis or whether CHR patients also are at elevated risk for a variety of nonpsychotic disorders. We collected 2 samples (NAPLS-1, PREDICT) that contained CHR patients and a control group who responded to CHR recruitment efforts but did not meet CHR ...