Logic language for semantic rules. Used in ErgoAI
cf tutorial at http://benjamingrosof.com/wp-content/uploads/2017/02/aaai17-rulelog-tutorial-slides-final.pdf
There is a corresponding RIF dialect, RIF-Rulelog