🚀 go-pugleaf

$B$I$&$b!"#Z!%#O#O#L!%!wF`NI@hC<Bg$G$9!#(B

<r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp>$B$NCf$G(B,
    Kushi Tadasi <kushi@chino.it.okayama-u.ac.jp> $B$5$s[)$/(B:
=> $B%P%C%/%H%i%C%/$K4X$9$k<ALd$G$9!#(B
...
=> | ?- foo(X).
=> 
=> X = 1 ? ;
=> 
=> X = 1 ? ;
...
=> $B$H$$$&$h$&$J7k2L$K$J$k(B foo(X) $B$r5-=R$9$k$3$H$O2DG=$G$7$g$&$+!)(B
=> $B$^$?!"2DG=$G$"$l$P!"$I$N$h$&$J9=B$$r$7$F$$$k$N$G$7$g$&$+!)(B

$B<!$N$h$&$JJ*$G$O$I$&$G$7$g$&!)(B

foo(1).
foo(X):-bar(X).
bar(1).
bar(X):-foo(X).

?-foo(X). $B$G!"6z$5$s$N$*$C$7$c$k7k2L$,F@$i$l$^$9!#(B
--------
[$BL>A0(B]: $B#Z#8#0!]#O#O#L#O#N#G!w<+A38@8l(B.$B>pJs=hM}(B.$B>pJs2J3X(B.$BF`NI@hC<Bg(B.$B3X=Q(B.$BF|K\(B
[E-mail]: yukita-n@is.aist-nara.ac.jp, [$B?&6H(B]: $BE\Es$N$/$k$/$kBg3X1!@8(B
[Web-URL]: http://cactus.aist-nara.ac.jp/student/yukita-n/index.html
                $B!V:#F|$N3$$O$^$k$G?2@E$^$C$?Ap86$N$h$&$KFd$$$G$$$^$9$M!#(B(C)$B!W(B
                                  Talking Of World-wide Network Systems......

�ɤ��⡢�ڡ��ϣϣ̡���������ü��Ǥ���

�� �Ѥߤޤ��󡢼��ʥե��?�Ǥ���

<YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp>�����,
    yukita-n@is.aist-nara.ac.jp (NAKATSUKA, Yukitaka---"Z.OOL.") ����۩��:
=> foo(1).
=> foo(X):-bar(X).
=> bar(1).
=> bar(X):-foo(X).

foo(1).
foo(X):-foo(X).

���ɤ��ä��Ǥ��͡��ʤ��ʤ�� repeat �Ҹ��Ʊ������
�� ����äȥܥ����ޤ��Ƥޤ���(_o_)��
--------
[̾��]: �ڣ����ݣϣϣ̣ϣΣǡ���������.�������.����ʳ�.������ü��.�ؽ�.����
[E-mail]: yukita-n@is.aist-nara.ac.jp, [����]: ����Τ��뤯����ر���
[Web-URL]: http://cactus.aist-nara.ac.jp/student/yukita-n/index.html
                �ֺ���γ��Ϥޤ�ǿ��Ťޤä��𸶤Τ褦���䤤�Ǥ��ޤ��͡�(C)��
                                  Talking Of World-wide Network Systems......

In article <r4rad2ropr.fsf@zetton.chino.it.okayama-u.ac.jp> Kushi Tadasi <kushi@chino.it.okayama-u.ac.jp> writes:

 >$B$=$3$G!"%+%C%H(B$B$r$$$l$F!"%P%C%/%H%i%C%/$r@)8B$7$?$H$3$m!"(B
 >$BK>$^$7$$7k2L$,F@$i$l$^$7$?!#(B
 >
 >----------------
 >foo(X) :- foo_sub(1, X).
 >
 >foo_sub(1, 1) :- !.
 >
 >foo_sub(_, X) :- foo(X).
 >----------------

$B$3$l(B$B$@$H!"(BX $B$,(B1$B0J30$@$H(B

?- foo(2).
      foo_sub(1,2)
        foo(2). 
           .....

$B$N$h$&$K;_$^$i$J(B$B$/$J$j$^$9!#(B
======================================================
$B?yLn1IFs(B   $BKLN&@hC<2J3X5;=QBg3X1!(B$BBg3X(B $B>pJs2J3X8&5f2J(B  

$B$I$&$b!"#Z!%#O#O#L!%!wF`NI@hC<Bg$G$9!#(B

$B!t(B $B$"$A$c!<!"$d$C$F$b$&$?!<!*(B(@_@;;;;)

<YUKITA-N.97Jul13122835@ryo2115.is.aist-nara.ac.jp> $B$N5-;v$,2u$l$F$^$7$?!#(B
Cancel $B$7$F!":FAw$7$^$9!#6z$5$s!"$4;XE&!"46<U$7$^$9!#(B
BEGIN------------------------------------
$B$I$&$b!"#Z!%#O#O#L!%!wF`NI@hC<Bg$G$9!#(B

$B!t(B $B:Q$_$^$;$s!"<+8J%U%)%m!<$G$9!#(B

<YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp> $B$NCf$G(B,
    yukita-n@is.aist-nara.ac.jp (NAKATSUKA, Yukitaka---"Z.OOL.") $B$5$s[)$/(B:
=> foo(1).
=> foo(X):-bar(X).
=> bar(1).
=> bar(X):-foo(X).

foo(1).
foo(X):-foo(X).

$B$GNI$+$C$?$G$9$M!#!J$9$J$o$A(B repeat $B=R8l$HF1$8!#!K(B
$B!t(B $B$A$g$C$H%\%1$+$^$7$F$^$7$?(B(_o_)$B!#(B
END------------------------------------

$B6z!w2,;3Bg3X$G$9!#(B

>>>>> "Eiji" == Eiji Sugino <sugino@jaist.ac.jp> writes:

Eiji> ?- foo(X).

Eiji> $B$O!"$?$@(B1$BEY$@$1(B X=1 $B$G@.8y$7$F$*$7$^$$$G$9!#$@$C$?$i(B

Eiji> foo(1).

Eiji> $B$G:Q$_$^$9$h$M!#(B

$B3N$+$K$=$&$G$9!#(B

$B;d$O!"%W%m%0%i%`Cf$N!"!V2?EY%P%C%/%H%i%C%/$7$F$bF1$8Ez$rJV$95,B'!W$r(B
$B4JN,2=$9$l$P!"(B

----------------
foo(X) :- foo_sub(1, X).

foo_sub(1, 1) :- !.

foo_sub(_, X) :- foo(X).
----------------

$B$G$"$k$H;W$C$?$N$G$9$,!"$3$l$G$O!"(B
$B?yLn$5$s$N$*$C$7$c$kDL$j!"9=B$E*$K0UL#$,$"$j$^$;$s(B
($B!V$h$j4JC1$K5-=R$G$-$k!W$H$$$&0UL#$G(B)$B!#(B

$B7k6I!";d$N4JN,2=$N4V0c$$$@$C$?$H$$$&$3$H$K$J$j$^$9!#(B

$B$G$O!"<B:]$O$I$N$h$&$J5,B'$@$C$?$N$+$H$$$&$H!D!#(B
$B<B$O!"%P%0$N$"$k$H;W$o$l$kItJ,$rBg2~=$$7$F$7$^$C$?$N$G!"(B
$B$O$C$-$j$H$O:F8=$G$-$J$$$N$G$9!#(B

$B!t$*$=$i$/#Z!%#O#O#L!%$5$s$N$*$C$7$c$i$l$k$h$&$J(B
$B!t9=B$$K$J$C$F$$$?$H;W$&$N$G$9$,!D!#(B

$B?=$7Lu$"$j$^$;$s!#(B

-- 
  *--------------------------------------------------------------*
  | $B2,;3Bg3XBg3X1!(B $B9)3X8&5f2J(B $B>pJs9)3X@l96(B                       |
  | $BCNG=7W;;5!9)3X8&5f<<(B / $B6z(B $B6)(B  kushi@chino.it.okayama-u.ac.jp |
  *--------------------------------------------------------------*