Index of /lisp/logic/algorithms

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -
[   ]fol.lisp 27-Mar-1997 00:45 4.5K
[   ]horn.lisp 15-Apr-1997 23:48 2.4K
[   ]infix.lisp 15-Apr-1997 23:36 5.1K
[   ]normal.lisp 27-Mar-1997 00:54 6.1K
[   ]prop.lisp 27-Mar-1997 01:06 5.5K
[   ]tell-ask.lisp 27-Aug-1996 16:31 2.2K
[   ]unify.lisp 14-Apr-1997 17:36 4.6K