7 ms·I was thinking that this looks a lot like prolog or even make with rewrite termsby tehologist 9mo agoI was thinking that this looks a lot like prolog or even make with rewrite terms