Develop Datalog rules for algebraic closure / path consistency

[ludaesch]

The current disjunctive RCC5 rules generate and test global consistency.
For optimization purposes, a pure Datalog rule set (w/o disjunction) should be generated that tests only path-consistency / algebraic closure.