> Both rules and facts are instances of a single unifying language element, a logical clause, which is also terminology from predicate logic.
Yeah; I'd like to see these general application layers more seamless and united in simple semantic units.
Like a higher level abstraction over code block elements, database record structures, and configuration setting ensambles; simply as phrases (..??) ....