Index of /~leavens/ComS541Fall05/lectures/lambda-prolog

	Name	Last modified	Size	Description
	Parent Directory		-
	programming.txt	2004-09-30 13:07	9.6K
	TOC.txt	1992-10-02 10:57	8.4K
	pure-prolog.txt	2004-09-30 13:06	7.5K
	introduction.txt	1999-11-29 23:32	3.2K
	logical-computing.txt	1997-03-17 15:24	2.3K
	church.lp	2004-09-30 13:07	1.9K
	list_examples.mod	2004-10-12 14:27	1.6K
	unary.lp	2021-01-15 14:08	1.2K
	unary.mod	2004-10-12 14:23	1.1K
	church.sig	2004-09-30 12:51	1.1K
	diff_lists.lp	2004-10-12 14:38	1.0K
	diff_lists.mod	2004-10-12 14:35	965
	church.mod	2004-09-30 12:53	918
	list_examples.lp	2004-10-12 14:27	821
	diff_lists.sig	2004-09-30 12:51	557
	capitals.lp	2004-09-30 13:07	494
	semantic_net.lp	2004-09-30 13:07	463
	semantic_net.sig	2004-09-30 12:50	409
	addtoend2.lp	2004-10-07 14:56	371
	unary.sig	2004-09-30 12:50	363
	lisp_lists.lp	2004-10-07 14:19	325
	alists.mod	2004-09-30 12:53	302
	universal_truths.lp	2021-01-15 14:07	292
	alists.lp	2004-09-30 13:07	287
	addtoend1.lp	2004-10-07 14:32	258
	reverse.mod	2004-10-07 15:05	255
	alists.sig	2004-09-30 12:51	250
	lisp_lists.sig	2004-09-30 12:51	229
	list_examples.sig	2004-09-30 12:50	223
	capitals.sig	2004-09-30 12:51	208
	universal_truths.sig	2004-09-30 12:50	204
	Outline-files.txt	1997-03-17 16:03	174
	capitals.mod	2004-09-30 12:53	162
	aconseq.lp	2004-09-30 13:07	154
	lisp_lists.mod	2004-10-07 14:19	149
	semantic_net.mod	2004-09-30 12:52	139
	addtoend2.mod	2004-10-07 14:56	131
	afact.lp	2021-01-15 13:52	106
	addtoend1.mod	2004-10-07 14:31	103
	test.lp	2004-09-30 13:07	102
	addtoend2.sig	2004-09-30 12:51	88
	addtoend1.sig	2004-09-30 12:52	77
	universal_truths.mod	2004-09-30 12:52	64
	aconseq.mod	2004-09-30 12:53	60
	reverse.sig	2004-10-07 14:57	56
	aconseq.sig	2004-09-30 12:52	55
	afact.sig	2004-09-30 12:51	27
	test.sig	2004-09-30 12:50	25
	afact.mod	2004-09-30 12:53	25
	test.mod	2004-09-30 12:52	21