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

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