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.
Questions? Queries? Suggestions? Comments? Please direct them at me.