🚀 go-pugleaf

jp $B$G0lHV(B follow $B$,CY$$EOn4(B$B!w#S#R#A$G$9!#(B

$B5-;v(B <13363@skunk.nri.co.jp> $B$G(B
yutaka@skunk.nri.co.jp (Yutaka Matsumura) $B$5$s$$$O$/(B

> " :- "$B$r2?$HFI$`$+$H$$$&$O$J$7$r!#(B
> $B$o$?$7$O!"=i$a$O(B"$B$3$m$s$P!](B"$B$G$7$?$,!"F1N=$+$i(B"$B$a$@$+(B"
> $B$H$$(B$B$&FI$_J}$r<*$K$7$F!"0JMh$=$l$r0&MQ$7$F$$$^$9!#(B

$B!!J88%(B[1]$B$O#8G/A0$0$i$$$K=P$?K\$G$9$,!"$3$l$N#7%Z!<%8(B$B$N5SCm$K$O!"(B

$BJ88%(B> $B2f9q$G$O(B :- $B$N$3$H$r%a%@%+5-9f$H8F$V$3$H$,$"$j$^$9!JElKLBg3X(B
$BJ88%(B> $BIY3_FX;a$NH/0F(B$B$K$h$k!K!#(B

$B$H$"$j$^$9!#IY3_$5$s!J8=:_ElKLBgEE5$DL?.8&5f=j=u65<x!K$O5$1T$N(B
$B8&5f<T$G!":G6a$b(B bit $B$GO":\(B$B5-;v$r=q$$$?$j$7$F$$$k$h$&$G$9!#(B


$B!!IY3_$5$s$H(B Prolog $B$H$N4X78$G;W$$=P$7$?$3$H$,0l$D$"$j$^$9!#(B
$B!!DL>o(B$B$N(B Prolog $B$G$O!"%4!<%k$H(B unification $B2DG=$J%[!<%s@a$,J#?t$"$k(B
$B>l9g!"$^$:$OE,Ev$J0l$D$H(B unify $B$7$F$_$F(B$B8e!9<:GT$7$?$i(B backtrack $B$7$F(B
$BB>$r;n$9$h$&$J<BAu$,$h$/$*$3$J$o$l$^$9!#$G$b!"(Blogic $B$NB&LL$+$i8+$l$P!"(B
backtrack $B$O(B Prolog $B$NK\<A$H4X78$J$$$H8@$C$F$$$$$G$9$h$M!)!JB>$K(B
$B$I$s$J$d$jJ}$,$"$k$N$+$OCN$j$^$;$s$1(B$B$I!#!K(B
$B!!IY3_$5$s$O!"$I$l$rA*$Y$P$&$^$/$$$/$N$+$o$+$i$J$$J#?t$NA*Br;h$N(B
$BCf$+$i!"$A$g$&$I$&$^$/$$$/0l$D(B$B$rA*$V;EAH$_!J8=<B$K$O(B backtrack $B$N(B
$B$3$H$,B?$$!K$K$D$$$F!"$7$P$7$P(B
        $B!V$I$N@a$H(B unification $B$9$l(B$B$P$h$$$+$O!X?@MM!Y$,CN$C$F$$$F!W(B
$B$H$$$&8@$$2s$7$r9%$s$G;H$C$F$$$^$7$?!#(B

$B!!;d$,=$;N$GIY3_$5$s$K;XF3$r(B$B<u$1$F$$$?:"$N$"$kF|$N%<%_$G!"(B
$BA*Br;h$N$J$+$+$i$&$^$$0l$D$rA*$V$3$N$h$&$J;EAH$_$K4X$7$F!"(B
$B0l?M$N3X@8$,(B
        $B!V?@MM$,$$$F65$($F$/$l$l$P$$$$$s$@$1$I$J$"!W(B
$B$H$$$&0UL#$N$3$H$r8@$C$?$H$3$m!"IY3_$5$s$OB(:B$K(B
        $B!V$$$d!"?@MM$O$$$k$s$G$9$h!#!W(B
$B$HCG8@$7$F$$$^$7$?!#IY3_$5$s$O$1$$$1$s$J%/%j%9%A%c%s$G$9$,!"(B
$B$3$l$OC1$K?@$r?.$8$k8@MU$@$C$?$N$+!"$=$l$H$bC5:wHO0O$r69$a$k(B
$B6C$/$Y$-J}K!$,>-Mh8+$D$+$k$3$H$r0E<($7$?(B$B$b$N$J$N$+$OITL@$G$9!#(B


$B;29MJ88%(B
[1]$B8eF#<"<y(B;$B!V(BPROLOG$BF~Lg!JCN<1>pJs=hM}$N=x6J!K!W%=%U%H%&%'%"%i%$%V%i(B$B%j!a#1(B;
$B%5%$%(%s%9<R(B;1984$BG/(B;ISBN4-7819-035205

----____----____
$BEOn49n9(!!#S#R#A%=%U%H%&%'%"9)3X8&5f=j(B