returning self

Article View: comp.lang.prolog

Article #1705

#1705

From: Ehud Shapiro
Date: Sun, 13 Jan 1991 07:38

10 lines
617 bytes

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)

Technical Details

Message-ID: <9101130738.AA04684@daya.wisdom.weizmann.ac.il>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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