I wrote a similar implementation a while back[1]. The major difference is that mine only allows rules of the form "n is divisible by m" whereas the one from th

I wrote a similar implementation a while back[1]. The major difference is that mine only allows rules of the form "n is divisible by m" whereas the one from the post allows arbitrary predicates over n. Wouldn't be that hard to update though. [1] https://gist.github.com/lgastako/d4fa392cbe85cbfae7dfa5e18c14a2a4 https://gist.github.com/lgastako/d4fa392cbe85cbfae7dfa5e18c1...