Gregory Duck's PhD thesis on CHR compilation

Nice to know
1

I found online this PhD thesis from Gregory J. Duck that illustrates CHR compilation step by step and outlines possible optimizations. A great read!

2 Likes
2

Note that SWI-Prolog’s chr implementation is by Tom Schrijvers.

2 Likes
3

Indeed, I think this thesis came after Tom Schrijvers’ implementation, as the author mentions it and its design choices in the class of mature CHR compilers.