Croco Pat
Program-Transformation.Org: The Program Transformation Wiki
Homepage:
http://www.cs.sfu.ca/~dbeyer/CrocoPat/
CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language RML is based on first-order predicate calculus.
CrocoPat supports
RSF.