The K.U.Leuven CHR system: implementation and application (2004)
by
Tom Schrijvers
,
Bart Demoen
| Venue: | First Workshop on Constraint Handling Rules: Selected Contributions |
| Citations: | 49 - 35 self |
BibTeX
@INPROCEEDINGS{Schrijvers04thek.u.leuven,
author = {Tom Schrijvers and Bart Demoen},
title = {The K.U.Leuven CHR system: implementation and application},
booktitle = {First Workshop on Constraint Handling Rules: Selected Contributions},
year = {2004},
pages = {1--5}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
