This proposal develops a RIF Rule Language as an extension of the A. RIF Condition Language, where conditions become rule bodies. The Rule Language starts with rules having Horn logic expressiveness (positive conditions) and then proceeds to increased expressiveness, mainly by reusing generalized conditions of the Condition Language as rule conditions.
Back: A.1 Basis: Positive Conditions --- Root: CORE --- Next: B.1 Horn Rules