Article View: net.lang.prolog
Article #653Examples of logical variables
From: reddy
Date: Tue, 03 Jun 1986 01:01
Date: Tue, 03 Jun 1986 01:01
17 lines
1212 bytes
1212 bytes
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
Technical Details
Message-ID:
<29700027@uiucdcs>Path:
arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!seismo!columbia!caip!princeton!allegra!ulysses!mhuxr!mhuxn!ihnp4!inuxc!pur-ee!uiucdcs!reddyShow Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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