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: May 17, 2023
Created: May 17, 2023