Logic Programming Utilities

Programming in Prolog and other logic-based languages may appear to be rather austere, as the breath of functionality is available from first principles. There are sets of relations and useful syntax abstractions, particularly those concerning set relations and lambda (combinatory) logic that I find convenient to use as I develop systems. The below list covers the modules documented as used by Cotillion Group:

•	aspects:	manual	module
•	AVL trees:	manual	module
•	combinators:	manual	module
•	lambda:	manual	module	unit tests
•	list_utils:	manual (incomplete)	module	unit tests
•	Ripple-Down Rules:	manual	file	unit tests
•	set_utils:	manual (incomplete)	module	unit tests
•	peano:	manual	module	unit tests
•	portability (Quintus/SWI):	manual	all modules
•	syntax:	manual	module	unit tests