Zeder - Production Rule Systems in Clojure
summary
Zeder is a Clojure production rule engine that encodes facts as Datomic-style tuples, runs OPS‑5/Rete‑style matching, and returns sequences of tuple insertions as rule actions. It uses transients and pod-like references for controlled mutability, supports negation, pattern queries, assertions, and a tap-based Datomic integration to mirror transactions. The demo shows schemas, rules, queries and live assertions; performance is comparable to core.logic for many tasks and the engine successfully fires rules and syncs with Datomic.
AI-written summary · about
chapters (12)
- 0:00Start
- 0:32Agenda
- 2:17Fundamental Nature of Buddhism
- 6:06Transients
- 8:27Shareability Check
- 18:47Driving Principles
- 20:25Protocol Orientation
- 20:56Pattern Matching
- 21:40Immutability
- 22:43Demo
- 25:02Rules
- 36:23Detect Unsalted User
related talks
31mUsing rule engines for charts and poetry
38mUnlocking data-driven systems
45mResidential Programming without Mutable State
31mDon't Stop Now
38mIntroduction to Logic Programming with Clojure
35mDeclarative Domain Modeling for Datomic Ion/Cloud
40mCreating DSLs A tale of spec tacular success and failure
38mBuilding a Legal Data Service with Clojure