Stream: Elpi users & devs

Topic: ✔ Analogous of `(DB => Clause)` on CHR


view this post on Zulip Cyril Cohen (Jan 17 2024 at 15:11):

How do I provide an ad-hoc database (not registered as clauses, essentially because I am in the same program) to the CHR engine?

view this post on Zulip Cyril Cohen (Jan 17 2024 at 15:15):

Tentative: create a db DB predicate. Add it as a constraint, then when triggering the appropriate rule, do rule (db DB) ... <=> DB => ...

view this post on Zulip Cyril Cohen (Jan 17 2024 at 15:58):

It worked

view this post on Zulip Notification Bot (Jan 17 2024 at 15:58):

Cyril Cohen has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC