I was thinking that this looks a lot like prolog or even make with rewrite terms