Skip to content

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: 2021-11-15
Back to top