🚀 go-pugleaf

In article <NAKASHIM.93Feb4103248@uranus.etl.go.jp> nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>$B$=$&$=$&!$O@J8$r=q$$$F$$$F5$$K$J$C$?$N$G$9$,!$O@M}BN7O$K$*$$$F(B
>
>$B?dO@5,B'(B	$B%a%?(B
>$B8xM}(B		$B91??$H9M$($kL?Bj(B
>$BL?Bj(B		$B??56$,$"$k(B
>
>$B$H$$$&6hJL$,$"$j$^$9$h$M!%(B

$B?dO@5,B'$,%a%?$H$$$&$@$1$G$O2?$N$3$H$+$h$/$o$+$j$^$;$s!#$^$?!"??56$,$"(B
$B$k$H$$$&$@$1$G$O!"L?Bj$r(B characterize $B$7$?$3$H$K$O$J$i$J$$$G$7$g$&!#(B
$B!V91??!W$H$+!V??56!W$O(B structure $B$d(B valuation $B$r;H$C$FDj5A$5$l$k35G0$G(B
$B$9$+$i!"0l85O@$NCfEg$5$s$H$7$F$O(B (:-)$B!"7A<0E*BN7O$@$1$r;H$C$F(B

$BL?Bj(B			$B$"$kJ8K!$GNI7A!J(Bwell-formed$B!K$H$5$l$k5-9fNs(B
$B?dO@5,B'!J$N=8$^$j!K(B	$BL?Bj$N=8$^$j(B s $B$HL?Bj(B P $B$NFs$DAH$N=8$^$j!JA4It(B
			$B$G$O$J$$!K(B
$B8xM}!J$N=8$^$j!K(B	$BL?Bj$N=8$^$j!JA4It$G$O$J$$!K(B

$B$J$s$F$$$&Iw$K$7$F$O!)(B $B$D$^$j!"?dO@5,B'$N=8$^$j$r0l$D8GDj$7$F!"$=$l$K(B
$BB0$9$k$b$N$r?dO@5,B'$H8F$V!"$H$$$&$o$1$G$9!#8xM}$bF1$8!#$9$k$HFC$K(B s 
$B$,6u$N;~$K$O?dO@5,B'$r8xM}$H8F$V!"$H$$$&$U$&$K$7$F$b$$$$$N$,$h$/$o$+$k(B
$B$H;W$$$^$9!#(B

$B<B$O$3$l$,?tM}O@M}3X$G$NIaDL$NDj5A$G$9!#$D$^$j!"8xM}$H$+L?Bj$H$+$O40A4(B
$B$K(B syntactical $B$J35G0$H$7$F!"7A<0E*BN7O$@$1$r;H$C$FDj5A$5$l$^$9!#(B

>Prolog $B$G8@$($P(B
>
>$B?dO@5,B'(B	resolution
>$B8xM}(B		program
>$BL?Bj(B		user's assertion
>
>$B$_$?$$$J46$8$G$9!%(B
>
>$B$G!$8xM}$"$k$$$OL?Bj$K$O(B P:-Q. $B$_$?$$$J7A$N$b$N$,$"$C$F!$$3$l$i$b>l9g(B
>$B$K$h$C$F$O!H5,B'!I$H8F$P$l$^$9!%$3$&$$$&$N$r!H?dO@5,B'!I$"$k$$$O!H?dO@(B
>$B$KMQ$$$k5,B'!I$H8F$V$HJ6$i$o$7$$$N$G$7$g$&$+!)(B

$B>l9g$K$h$C$F$OJ6$i$o$7$/$J$k$+$bCN$l$^$;$s$,!"5,B'$H8F$s$G$b4V0c$$$H$O(B
$B8B$j$^$;$s!#(B:- $B$NDj5A<!Bh!#(BP:-Q $B$O!"(B:- $B$,4^0U$NL?Bj5-9f$HDj$a$i$l$F$$(B
$B$l$P8xM}$K$J$C$F!"1&JU$+$i:8JU$rF3$/$H$$$&F3=P$r8=$o$9%a%?$J5-9f$@$HDj(B
$B$a$l$l$F$*$l$P5,B'$K$J$k$G$7$g$&$,!"$I$C$A$NJ}?K$G$b$A$c$s$H7A<02=$O$G(B
$B$-$k$G$7$g$&!#Bg;v$J$N$O!"$I$C$A$N$D$b$j$J$N$+$r$O$C$-$j$5$;$k$3$H$G$9!#(B

$B$G$b!"(Bresolution $B$NOC$r$9$k;~$O!"(B:- $B$r4^0U$NL?Bj5-9f$@$H$7$F@bL@$5$l$F(B
$B$$$k$3$H$,B?$$$h$&$G$9!#$=$&$$$&0UL#$G$O5,B'$H8F$V$HJ6$i$o$7$$$+$b$7$l(B
$B$J$$!#(B

$B$-$N$7$?(B

$B#P!%#S!%$=$&$+!"(BProlog $B$OEy9f$r;}$D=R8lO@M}$8$c$"$j$^$;$s$+$i$M!#(B
-- 
KINOSHITA Yoshiki [KINOSHITA is my family name]
Department of Computer Science, University of Edinburgh
James Clark Maxwell Building, The King's Buildings, Edinburgh EH9 3JZ, Scotland
[On leave from Electrotechnical Laboratory, 1-1-4 Umezono, Tsukuba, 305 Japan]