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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Outline-files.txt1992-04-15 15:39 305  
[TXT]analysis.txt1992-03-20 01:49 1.7K 
[   ]blocks-world.quiz1992-03-27 12:40 1.0K 
[TXT]blocks-world.txt1991-04-29 23:15 565  
[TXT]examples.pl1989-12-06 14:28 1.0K 
[TXT]impure-prolog.txt1991-04-26 11:47 3.9K 
[TXT]introduction.txt1992-03-15 16:32 773  
[   ]peano.kplg1991-04-26 11:50 671  
[TXT]pure-prolog.txt1992-03-15 19:32 4.9K 
[   ]pure.slides1992-03-16 11:29 2.0K 
[   ]quiz.kplg1991-04-26 12:49 719  
[TXT]quiz.txt1991-04-26 12:59 946  
[TXT]resolution.txt1992-03-20 01:45 6.0K 
[TXT]traces.txt1992-03-25 11:53 10K 
[   ]tracing.kplg1992-03-25 10:56 3.1K 
[   ]unif.slides1992-03-16 11:31 1.0K 
[TXT]unification.txt1992-03-20 01:37 4.2K 

Apache/2.4.7 (Ubuntu) Server at www.eecs.ucf.edu Port 80