CL Extensions: DEFINER

DEFINER Links Page


There are several links that are useful in conjunction with DEFINER. Mostly are shameless plugs of course.

  • CL-UNIFICATION is a nice library to do unification and pattern matching in the style of Prolog and/or ML languages.
  • CLOCC contains MK:DEFSYSTEM and other things I implemented. You want MK:DEFSYSTEM to install DEFINER.

Site Map


Questions? Queries? Suggestions? Comments? Please direct them at me.



News in chronological order, most recent on top.

  • 2005-01-28
  • 2004-05-05
    Started the site.