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).
<span class="comment">[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)]</span>

<ul class="links">
  <li>CafeOBJ <strong>official</strong> HomePage at _(JAIST|http://www.ldl.jaist.ac.jp/Research/CafeOBJ/) (Japan)</li>
  <li>_(mirror|http://www.theta.ro/cafeobj/) in Romania and at UCSD.</li>
  <li>CafeOBJ HomePage at _("STC_IPA"|http://www.ipa.go.jp/STC/CafeP/index-e.html) (Japan).</li>
</ul>