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.