Index of /~leavens/ComS541Fall04/lectures/lambda-prolog-semantics

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Outline-files.txt1997-03-17 17:04 313  
[   ]cut_examples.lp2004-10-20 18:29 553  
[   ]cut_examples.mod2004-10-20 18:27 410  
[   ]cut_examples.sig2004-10-20 18:29 146  
[   ]cut_examples2.lp2004-10-20 18:59 503  
[   ]cut_examples2.mod2004-10-20 19:00 102  
[   ]cut_examples2.sig2004-10-05 18:28 116  
[   ]fooness.lp2004-09-30 12:41 127  
[   ]fooness.mod2004-09-30 12:37 30  
[   ]fooness.sig2004-09-30 12:36 49  
[TXT]higher-order-abstract-syntax.txt2004-10-06 16:33 368  
[TXT]higher-order.txt2004-10-06 16:30 12K 
[   ]if.lp2004-09-30 12:41 145  
[   ]if.mod2004-09-30 12:36 208  
[   ]if.sig2004-09-30 12:36 38  
[   ]inc.lp2004-09-30 12:41 147  
[   ]inc.mod2004-09-30 12:37 38  
[   ]inc.sig2004-09-30 12:36 38  
[   ]intuitionistic.lp2004-09-30 12:41 113  
[   ]intuitionistic.mod2004-10-06 15:23 115  
[   ]intuitionistic.sig2004-09-30 12:35 74  
[TXT]logic-basics.txt2004-09-30 18:52 12K 
[   ]maps.lp2004-10-21 13:59 1.1K 
[   ]maps.mod2004-10-06 16:27 634  
[   ]maps.sig2004-10-06 14:54 388  
[   ]my_family.lp2004-09-30 12:41 651  
[   ]my_family.mod2004-09-30 12:34 179  
[   ]my_family.sig2004-09-30 12:35 148  
[   ]needs_breadth_first.lp2004-09-30 12:41 175  
[   ]needs_breadth_first.mod2004-09-30 12:34 52  
[   ]needs_breadth_first.sig2004-09-30 12:34 50  
[   ]negation_problem.lp2004-10-20 19:03 297  
[   ]negation_problem.mod2004-09-30 12:33 119  
[   ]negation_problem.sig2004-09-30 12:33 201  
[TXT]non-logical.txt2004-10-06 14:12 6.9K 
[   ]patriarchical_family.lp2004-09-30 12:41 276  
[   ]patriarchical_family.mod2004-09-30 12:28 105  
[   ]patriarchical_family.sig2004-09-30 12:28 227  
[   ]pop_psych1.lp2004-09-30 12:41 264  
[   ]pop_psych1.mod2004-09-30 12:22 128  
[   ]pop_psych1.sig2004-09-30 12:40 95  
[   ]pop_psych2.lp2004-09-30 12:41 391  
[   ]pop_psych2.mod2004-09-30 12:21 145  
[   ]pop_psych2.sig2004-09-30 12:40 102  
[   ]pop_psych3.lp2004-09-30 12:41 413  
[   ]pop_psych3.mod2004-09-30 12:21 109  
[   ]pop_psych3.sig2004-09-30 12:39 41  
[TXT]procedural.txt2004-10-05 18:23 6.7K 
[   ]qualifier_db.lp2004-09-30 12:41 405  
[   ]qualifier_db.mod2004-09-30 12:41 192  
[   ]qualifier_db.sig2004-09-30 12:39 236  
[   ]qualifier_db_fixed.lp2004-10-06 16:27 820  
[   ]qualifier_db_fixed.mod2004-10-06 16:27 238  
[   ]qualifier_db_fixed.sig2004-09-30 12:39 277  
[TXT]research-directions.txt1999-11-30 22:10 837  
[TXT]resolution.txt2004-10-25 17:51 7.4K 
[   ]semantic_net.lp2004-09-30 12:41 463  
[   ]semantic_net.mod2004-09-30 12:40 137  
[   ]semantic_net.sig2004-09-30 12:39 407  
[   ]some-facts.lp2004-10-06 16:29 362  
[   ]some-facts.mod2004-10-06 15:23 335  
[   ]some-facts.sig2004-09-30 12:38 197  
[   ]unary.lp2004-10-21 13:59 1.1K 
[   ]unary.mod2004-09-30 12:40 1.2K 
[   ]unary.sig2004-09-30 12:38 361  
[   ]unary_and_inc.lp2004-10-06 15:04 1.2K 
[   ]unary_and_inc.mod2004-10-06 15:03 48  
[   ]unary_and_inc.sig2004-10-06 15:03 44  
[   ]unary_with_maps.lp2004-10-21 13:59 2.1K 
[   ]unary_with_maps.mod2004-10-06 14:25 50  
[   ]unary_with_maps.sig2004-10-06 14:24 46  
[TXT]unification.txt2004-10-05 18:13 5.0K 
[   ]unifier-examples.lp2004-09-30 12:41 258  
[   ]unifier-examples.mod2004-09-30 12:40 59  
[   ]unifier-examples.sig2004-09-30 12:38 139  
[   ]universal_truths.lp2004-09-30 12:41 261  
[   ]universal_truths.mod2004-09-30 12:40 62  
[   ]universal_truths.sig2004-09-30 12:38 202  

Apache/2.4.41 (Ubuntu) Server at www.cs.ucf.edu Port 443