Index of /~leavens/ComS342-MacLennan/lectures/logic

 Name                    Last modified       Size  Description

 Parent Directory        15-Oct-2004 05:10      -  
 Outline-files.txt       24-Apr-1990 11:47     1k  
 analysis.txt            24-Apr-1990 12:33     1k  
 examples.pl             06-Dec-1989 14:28     1k  
 impure-prolog.txt       24-Apr-1990 12:31     5k  
 introduction.txt        24-Apr-1990 12:00     2k  
 pure-prolog.txt         24-Apr-1990 12:05     3k  
 resolution.txt          05-Feb-1992 13:21     6k  
 unification.txt         24-Apr-1990 12:09     3k