Did you know ... | Search Documentation: |
![]() | Pack logtalk -- logtalk-3.81.0/manuals/_sources/ports/toychr.rst.txt |
.. _library_toychr:
toychr
This folder contains a Logtalk port of ToyCHR, a reference implementation of Constraint Handling Rules (CHR) available from:
::
https://www.comp.nus.edu.sg/~gregory/toychr/
The port is work in progress and includes significant modifications to the original code:
.chr
files, it uses the term-expansion
mechanism, by defining toychrdb
as a hook object, to support
writing rules inside objects and categories. As a consequence, the
original chr_compile/1 is not available.
For sample queries, please see the SCRIPT.txt
file.
Open the `../../docs/library_index.html#toychr <../../docs/library_index.html#toychr>`__ link in a web browser.
To load all entities in this port, load the loader.lgt
file:
::
| ?- logtalk_load(toychr(loader))
.
To test this port predicates, load the tester.lgt
file:
::
| ?- logtalk_load(toychr(tester))
.