Index of /lisp/logic/algorithms

[ICO]NameLast modifiedSizeDescription

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