Module Datalog.Schedule

saturate rules is a schedule that repeatedly applies the rules in rules until reaching a fixpoint.

Note: saturate rules is equivalent to fixpoint (rules rules), but is (slightly) more efficient. It is not necessary to wrap a saturate schedule in a fixpoint.

fixpoint schedules repeatedly runs the schedules in schedules until reaching a fixpoint.

Facts added by previous schedules in the list are visible.

run schedule db runs the schedule schedule on the database db.

It returns a new database that contains all the facts in db, plus all the facts that were inferred by schedule.