🚀 go-pugleaf

$BBl@n$G$9!#(J

In article <CHIK.91Dec24103453@ss38.icot.or.jp>
	chik@icot.or.jp (Takashi Chikayama) writes:
>Prolog $B$G<:GT$5$;$F%9%?%C%/$rC;$/$7$J$,$i$b>pJs$rEA$($k(J, $B$H$$$&J}K!$O(J,
>assert $B$N$h$&$J!V$$$o$f$kI{:nMQ!W0J30$K$b$J$$$G$O$"$j$^$;$s(J.
>
>	p(failed) :- q, !.
>	p(succeeded).
>
>	q :- r, !, fail.
>	q.

$B4JC1$K!"(J
p(succeeded) :- r, !.
p(failed).
$B$H$9$k$H!"$d$C$Q$j%9%?%C%/$,L5BL$K$J$k$s$G$7$g$&$M!#%+%C%H$,$"$k$7!"(J
r$B$H6&M-$NJQ?t$O$J$$$+$i!"%9%?%C%/$rC;$/$9$k;v$O2DG=$G$O$"$k$s$G(J
$B$7$g$&$,!"(Jr$B$N<B9TCf$K?-$S$?(J trail stack $B$rC;$/$7$h$&$H;W$C$?$i!"(J
$B<B9T;~$N%*!<%P!<%X%C%I$,Bg$-$/$J$j$^$9$M!#(J


>$B$3$s$J=q$-J}$7$F$^$G(J Prolog $B$K$3$@$o$kM}M3$b$J$$$s$G$9$,(J.

$B3N$+$K%@!<%F%#$@(J :-)


> |$BBl@n!w=i$a$F?($C$?(J Prolog $B$O(J Prolog/KR $B$@$C$?(J
>
>$B$H$$$&$3$H$O(J Utilisp $B$b;H$C$F$$$?$@$$$?$N$M(J, $B%^%$%I%"%j%#(J!

$B$*@$OC$K$J$j$^$7$?!#(J
--
$BBl@n!w:#$G$b?7$7$$%j%9%W$r;H$&$H(J rind $B$r$^$:=q$$$F$7$^$&(J