This gives you dynamic facts, feed-forward rule application, and soon even dynamic rules. It doesn't actually care much about the number of rules, and more abo

This gives you dynamic facts, feed-forward rule application, and soon even dynamic rules. It doesn't actually care much about the number of rules, and more about how much memory it costs to materialize them. There are delta-join techniques to do at least most of that in linear memory (w.r.t. input size) though, and DDlog has at least experimental support for them.