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

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