When you try to learn CLP programming, the SWI-Prolog documentation contains two chapters that seem to be related
When trying to create an example that used debugging CHR ports with several CLP examples, none of the CHR ports were used, but they were present when running the CHR leq / 2 example .
My best guess is why the CLP code is compiled into Prolog and therefore no CHR rules will be called for the CLP.
It is so clear that my understanding of the two topics is erroneous, because I think that all CLPs are built on CHR.
Can someone compare and contrast these two topics: CHR and CLP?
source
share