% $Id: rtc.mod,v 1.1 2004/10/15 20:59:17 leavens Exp $
%%% reflexive, transitive closure of a relation.

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