Statix Background

• rule selection
• open/closed world reasoning (try/DWF/DLeq)
• desugaring of functional rules
• Internal representation of scope graphs
• Query Scheduling/Permission to Extend

---

Last update: October 17, 2024
Created: October 17, 2024