Path: utzoo!censor!geac!torsqnt!lethe!yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!tut.cis.ohio-state.edu!ucbvax!WISDOM.WEIZMANN.AC.IL!udi
From: udi@WISDOM.WEIZMANN.AC.IL (Ehud Shapiro)
Newsgroups: comp.lang.prolog
Subject: returning self
Message-ID: <9101130738.AA04684@daya.wisdom.weizmann.ac.il>
Date: 13 Jan 91 07:38:38 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Lines: 10


A Prolog program that returns itself (up to renaming):

self((self(_14):-_15)) :- clause(self(_14),_15).



| -? self(X).

X = self((self(_14):-_15)):-clause(self(_14),_15)