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

	Name	Last modified	Size	Description
	Parent Directory		-
	Outline-files.txt	1997-03-17 17:04	313
	cut_examples.mod	2004-10-20 18:27	410
	cut_examples.sig	2004-10-20 18:29	146
	cut_examples2.mod	2004-10-20 19:00	102
	cut_examples2.sig	2004-10-05 18:28	116
	fooness.mod	2004-09-30 12:37	30
	fooness.sig	2004-09-30 12:36	49
	higher-order-abstract-syntax.txt	2004-10-06 16:33	368
	higher-order.txt	2004-10-06 16:30	12K
	if.mod	2004-09-30 12:36	208
	if.sig	2004-09-30 12:36	38
	inc.mod	2004-09-30 12:37	38
	inc.sig	2004-09-30 12:36	38
	intuitionistic.mod	2004-10-06 15:23	115
	intuitionistic.sig	2004-09-30 12:35	74
	logic-basics.txt	2004-09-30 18:52	12K
	maps.mod	2004-10-06 16:27	634
	maps.sig	2004-10-06 14:54	388
	my_family.mod	2004-09-30 12:34	179
	my_family.sig	2004-09-30 12:35	148
	needs_breadth_first.mod	2004-09-30 12:34	52
	needs_breadth_first.sig	2004-09-30 12:34	50
	negation_problem.mod	2004-09-30 12:33	119
	negation_problem.sig	2004-09-30 12:33	201
	non-logical.txt	2004-10-06 14:12	6.9K
	patriarchical_family.mod	2004-09-30 12:28	105
	patriarchical_family.sig	2004-09-30 12:28	227
	pop_psych1.mod	2004-09-30 12:22	128
	pop_psych1.sig	2004-09-30 12:40	95
	pop_psych2.mod	2004-09-30 12:21	145
	pop_psych2.sig	2004-09-30 12:40	102
	pop_psych3.mod	2004-09-30 12:21	109
	pop_psych3.sig	2004-09-30 12:39	41
	procedural.txt	2004-10-05 18:23	6.7K
	qualifier_db.mod	2004-09-30 12:41	192
	qualifier_db.sig	2004-09-30 12:39	236
	qualifier_db_fixed.mod	2004-10-06 16:27	238
	qualifier_db_fixed.sig	2004-09-30 12:39	277
	research-directions.txt	1999-11-30 22:10	837
	resolution.txt	2004-10-25 17:51	7.4K
	semantic_net.mod	2004-09-30 12:40	137
	semantic_net.sig	2004-09-30 12:39	407
	some-facts.mod	2004-10-06 15:23	335
	some-facts.sig	2004-09-30 12:38	197
	unary.mod	2004-09-30 12:40	1.2K
	unary.sig	2004-09-30 12:38	361
	unary_and_inc.mod	2004-10-06 15:03	48
	unary_and_inc.sig	2004-10-06 15:03	44
	unary_with_maps.mod	2004-10-06 14:25	50
	unary_with_maps.sig	2004-10-06 14:24	46
	unification.txt	2004-10-05 18:13	5.0K
	unifier-examples.mod	2004-09-30 12:40	59
	unifier-examples.sig	2004-09-30 12:38	139
	universal_truths.mod	2004-09-30 12:40	62
	universal_truths.sig	2004-09-30 12:38	202