Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.duke.edu!godot.cc.duq.edu!newsfeed.pitt.edu!dsinc!netnews.upenn.edu!newshost!jhodgson
From: jhodgson@sju.edu (Jonathan Hodgson)
Subject: Prolog in literature
Message-ID: <D5G9p2.LKz@sju.edu>
Organization: Saint Joseph's University
X-Newsreader: TIN [version 1.2 PL2]
Date: Tue, 14 Mar 1995 21:43:50 GMT
Lines: 29



   I thought that the logic programming community might be interested in
   knowing about an unusual ``example'' of logic programming that I ran
   across recently. 
   

   	helps(heaven, X) if helps(X,X).
   
   Or rather more interesting, and reproduced verbatim with lapse into
   destructive assignment.

   	theme(goldberg, list[g,f#, e,d,b,c,d,g,g,f#,e,a,f#,g,a,d,d,b,c,b,
                 g,a,b,e,c,b,a,d,g,c,d,g]).

        variation(X,Y) if theme(Name, X), and equals(Y, mutation(X)).

        mutation(X) if

   Are there other examples of prolog in contemporary literature that 
   people have seen?


Jonathan Hodgson
Department of Mathematics and Computer Science,
Saint Joiseph's University
Philadelphia. PA 19131. 
USA
(610)- 660-1571
