next up previous contents
Next: Syntactic Differences Up: The Extended CHR Implementation Previous: The Extended CHR Implementation

Invoking the extended CHR library

The extended library is invoked by lib(ech). Given that it is now integrated into the compiler. It can be invoked from a file that contains CHR code, as :- lib(ech)., as long as this occurs before the CHR code.



Joachim Schimpf
Sun Jul 19 22:34:17 BST 1998