top-down datalog can almost certainly be compiled to something quite reasonable. you also might enjoy looking at incremental datalog (differentiating rules and

top-down datalog can almost certainly be compiled to something quite reasonable. you also might enjoy looking at incremental datalog (differentiating rules and operating on events). this generally does a really good job of touching just what need to update the global state. this is a great application