%%% reflexive, transitive closure of a relation.

module rtc.
  
  rtc P X X.
  rtc P X Z :- (P X Y), (rtc P Y Z).