CafeOBJ

The nearly immediate ancestor of Maude in the OBJ Family, a rewriting logic programming language, useful on its own by relating several logical frameworks in a clean way. It is also implemented in Common Lisp, albeit in the dated GCL implementation (which is not very compliant to the specification). [The distribuition at the official homepage at JAIST seems the most up-to-date even with respect to Common Lisp implementations; there are binaries ditribuitions for various platforms also. Mad70]

This page is linked from: Algebraic Specification   Hidden Algebra   OBJ Family