> 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

> 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 (..??) ....