	
Introductory examples:
	
	royal -- toy prolog database
	fun -- functions in prolog
	lists -- equivalent list syntaxes

Applications of Logic Programming

	money -- money puzzle
	bcnf -- functional dependencies
	
Symbolic Interpretation

	calc -- calculator language
	lambda -- lambda calculus interpreter
	
NB: The last two examples make use of definite clause grammars.
They work with ciao prolog, and probably can be easily ported to any other standard prolog that provides a dcg package.  This version also makes use of ciao prolog's experimental module support.

Oscar Nierstrasz 2002-03-11
