Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!columbia!caip!princeton!allegra!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!uiucdcs!reddy
From: reddy@uiucdcs.CS.UIUC.EDU
Newsgroups: net.lang.prolog
Subject: Examples of logical variables
Message-ID: <29700027@uiucdcs>
Date: Mon, 2-Jun-86 21:01:00 EDT
Article-I.D.: uiucdcs.29700027
Posted: Mon Jun  2 21:01:00 1986
Date-Received: Wed, 4-Jun-86 19:33:54 EDT
Lines: 17
Nf-ID: #N:uiucdcs:29700027:000:629
Nf-From: uiucdcs.CS.UIUC.EDU!reddy    Jun  2 20:01:00 1986


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