Index of /~leavens/ComS342-Kamin/lectures/prolog

 Name                    Last modified       Size  Description

 Parent Directory        15-Oct-2004 05:10      -  
 Outline-files.txt       15-Apr-1992 15:39     1k  
 analysis.txt            20-Mar-1992 01:49     2k  
 blocks-world.quiz       27-Mar-1992 12:40     1k  
 blocks-world.txt        29-Apr-1991 23:15     1k  
 examples.pl             06-Dec-1989 14:28     1k  
 impure-prolog.txt       26-Apr-1991 11:47     4k  
 introduction.txt        15-Mar-1992 16:32     1k  
 peano.kplg              26-Apr-1991 11:50     1k  
 pure-prolog.txt         15-Mar-1992 19:32     5k  
 pure.slides             16-Mar-1992 11:29     2k  
 quiz.kplg               26-Apr-1991 12:49     1k  
 quiz.txt                26-Apr-1991 12:59     1k  
 resolution.txt          20-Mar-1992 01:45     6k  
 traces.txt              25-Mar-1992 11:53    10k  
 tracing.kplg            25-Mar-1992 10:56     3k  
 unif.slides             16-Mar-1992 11:31     1k  
 unification.txt         20-Mar-1992 01:37     4k