equivalence class implementation

Hi All:


I am trying to work around transitive equivalence definition in my reasoning engine meaning suppose I have two following facts
equal(predicate(a),predicate(b)). 
equal(predicate(a),predicate(c)).


and instead of coming up with rules producing equal(predicate(b),predicate(c)). what I want to do is to define a equivalence class (such as a List) and put the respective predicates in each corresponding class but I am struggling to get started on how can I create the list to represent the equivalence class.


Appreciated if you can provide any sort of the hints.


Thanks a lot


Bao
-------------- next part --------------
HTML attachment scrubbed and removed