Newsgroups: fj.lang.prolog,fj.lang.misc
Path: galaxy.trc.rwcp.or.jp!jaist-news!cs.titech!wnoc-tyo-news!etl.go.jp!etlss2!nakashim
From: nakashim@uranus.etl.go.jp (Hideyuki Nakashima)
Subject: Re: Tail Recursion (Re: Wanted SRI Technical Report)
In-Reply-To: toku@chino.it.okayama-u.ac.jp's message of Mon, 22 Nov 1993 11: 44:12 GMT
Message-ID: <NAKASHIM.93Nov24110840@uranus.etl.go.jp>
Sender: news@etl.go.jp (News System)
Nntp-Posting-Host: uranus
Organization: Electrotechnical Laboratory
References: <TOKU.93Nov19163819@windom.chino.it.okayama-u.ac.jp>
	<TOKU.93Nov22204412@gamera.chino.it.okayama-u.ac.jp>
Date: Wed, 24 Nov 1993 02:08:40 GMT
Lines: 30
Xref: galaxy.trc.rwcp.or.jp fj.lang.prolog:394 fj.lang.misc:1400
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=1400&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.

In article <TOKU.93Nov22204412@gamera.chino.it.okayama-u.ac.jp> toku@chino.it.okayama-u.ac.jp ( Tokunaga Hiroyuki) writes:

   $B:F5"$N=|5n<+?H$O0z?t$r@_Dj$7$J$*$7$F!"@hF,$K%8%c%s%W$J$j$9$l$P$h$$$N$O$o$+(B
   $B$k$N$G$9$,!"J#?t$N=q49$(5,B'$NCf$+$i:G8e$K8F$P$l$k5,B'$r$I$N$h$&$K7hDj$9$l(B
   $B$P$h$$$N$+6qBNE*$JJ}K!$,$o$+$i$J$+$C$?$N$G!"!J0J2<N,!K(B

     fact(0) => 1.

$B$_$?$$$K<+J,$r8F$P$J$$$b$N$O(Breturn.

     tail(cons(x,y)) => tail(y)

$B$_$?$$$K1&:F5"!J:F5"8F$S=P$7$,:G8e$KMh$k$d$D!K$O(Bjump
$B$H$$$&C1=c$J5,B'$G$h$$$N$G$O$J$$$G$7$g$&$+!%(B

$B$A$J$_$KNc$K;H$o$l$F$$$?(B

     fact(n) => n*fact(n-1)

$B$O1&:F5"$G$O$J$$!J:G8e$K8F$P$l$k$N$O(Bfact$B$G$O$J$/(B*$B!K$J$N$G!$(Bjump$B$K$O$G(B
$B$-$^$;$s!%(B

$B1&:F5"$+$I$&$+$O(BProlog$B$NJ}$,8F$S=P$7$,#1Ns$KJB$V$N$GH=Dj$,MF0W$G$9$h$M!%(B

--
Hideyuki Nakashima
Cooperative Architecture
Electrotechincal Lab.


