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

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