🚀 go-pugleaf

$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 |
  *--------------------------------------------------------------*