Index of /~leavens/ComS541-Watt-Semantics/lectures/lambda-prolog

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Outline-files.txt1997-03-17 16:03 174  
[TXT]TOC.txt1992-10-02 10:57 8.4K 
[   ]aconseq.lp2004-09-30 13:07 154  
[   ]aconseq.mod2004-09-30 12:53 60  
[   ]aconseq.sig2004-09-30 12:52 55  
[   ]addtoend1.lp2004-10-07 14:32 258  
[   ]addtoend1.mod2004-10-07 14:31 103  
[   ]addtoend1.sig2004-09-30 12:52 77  
[   ]addtoend2.lp2004-10-07 14:56 371  
[   ]addtoend2.mod2004-10-07 14:56 131  
[   ]addtoend2.sig2004-09-30 12:51 88  
[   ]afact.lp2004-09-30 13:07 106  
[   ]afact.mod2004-09-30 12:53 25  
[   ]afact.sig2004-09-30 12:51 27  
[   ]alists.lp2004-09-30 13:07 287  
[   ]alists.mod2004-09-30 12:53 302  
[   ]alists.sig2004-09-30 12:51 250  
[   ]capitals.lp2004-09-30 13:07 494  
[   ]capitals.mod2004-09-30 12:53 162  
[   ]capitals.sig2004-09-30 12:51 208  
[   ]church.lp2004-09-30 13:07 1.9K 
[   ]church.mod2004-09-30 12:53 918  
[   ]church.sig2004-09-30 12:51 1.1K 
[   ]diff_lists.lp2004-10-12 14:38 1.0K 
[   ]diff_lists.mod2004-10-12 14:35 965  
[   ]diff_lists.sig2004-09-30 12:51 557  
[TXT]introduction.txt1999-11-29 23:32 3.2K 
[   ]lisp_lists.lp2004-10-07 14:19 325  
[   ]lisp_lists.mod2004-10-07 14:19 149  
[   ]lisp_lists.sig2004-09-30 12:51 229  
[   ]list_examples.lp2004-10-12 14:27 821  
[   ]list_examples.mod2004-10-12 14:27 1.6K 
[   ]list_examples.sig2004-09-30 12:50 223  
[TXT]logical-computing.txt1997-03-17 15:24 2.3K 
[TXT]programming.txt2004-09-30 13:07 9.6K 
[TXT]pure-prolog.txt2004-09-30 13:06 7.5K 
[   ]reverse.mod2004-10-07 15:05 255  
[   ]reverse.sig2004-10-07 14:57 56  
[   ]semantic_net.lp2004-09-30 13:07 463  
[   ]semantic_net.mod2004-09-30 12:52 139  
[   ]semantic_net.sig2004-09-30 12:50 409  
[   ]test.lp2004-09-30 13:07 102  
[   ]test.mod2004-09-30 12:52 21  
[   ]test.sig2004-09-30 12:50 25  
[   ]unary.lp2004-10-12 14:23 1.1K 
[   ]unary.mod2004-10-12 14:23 1.1K 
[   ]unary.sig2004-09-30 12:50 363  
[   ]universal_truths.lp2004-09-30 13:07 261  
[   ]universal_truths.mod2004-09-30 12:52 64  
[   ]universal_truths.sig2004-09-30 12:50 204  

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