[net.lang.prolog] Examples of logical variables

reddy@uiucdcs.CS.UIUC.EDU (06/03/86)

I am looking for some simple (at most one page long), but interesting
examples of the use of logical variables.  Some of the well-known examples
are
	(i) difference lists, for appending, double ended lists, queues etc
		[Clark & Gregory, Mellish]
	(ii) symbol tables for name translation [Warren, Reddy]
	(iii) serialized coding [Warren]
	(iv) partially determined messages [Shapiro]
	(v) type inference and other inference rule based programs
		[Despeyroux, Smolka, Reddy]
	(vi) owner-coupled sets (orthogonal lists?) [Lindstrom]

Are there others I am missing?

Uday Reddy
reddy@uiuc.arpa, {seismo,gatech,ihnp4}!uiucdcs!reddy

reddy@uiucdcs.CS.UIUC.EDU (06/03/86)

Oops!  I intended to mention Clocksin rather than Mellish for difference
lists.