rule macro predicates
which is we'll see this complicated rule and we'll notice that things very much like it syntactically come up again and again and again so we'll create a whole brand new relation or predicate or function that captures that and takes maybe not two arguments takes maybe three four or five arguments and so on and now we have effectively converted some complicated if then rule that might have to have inference done on it into some ground atomic formula which












:max_bytes(150000):strip_icc():format(webp)/kaizen.asp-ADD-Source-51522de6c889423a87ae1b0bee396d22.jpg)



















