🚀 go-pugleaf

$BF`NI9b@l$NHV86$H?=$7$^$9!#(B

$B@~7AO@M}$K4p$E$/O@M}7?8@8l(BLLP$B$+$i(BJava$B$X$N%H%i%s%9%l!<%?%7%9%F%`(B($B0J2<(B 
LLPj)$B$r:n@.$7$F$*$j!"%W%m%H%?%$%WHG$,40@.$7$^$7$?$N$G$*CN$i$;$7$^$9!#(B

LLPj$B$O<!$N%5%$%H$+$iF~<j$G$-$^$9$N$G!"8f0U8+!"8f46A[$h$m$7$/$*4j$$$7$^(B
$B$9!#(B

	LLPj$B$N(BWeb$B%Z!<%8(B
	http://pascal.seg.kobe-u.ac.jp/~banbara/

$B@~7AO@M}7?8@8l(BLLP$B$O(BProlog$B$N(Bsuperset$B$G!"(BLolli$B$N(Bsubset$B$K$J$C$F$$$^$9!#(B
Lolli$B$O(BJosh Hodas$B;a$H(BDale Miller$B;a$K$h$C$F3+H/$5$l$?@~7AO@M}7?8@8l$N0l(B
$B$D$G$9!#(BLolli$B$K$O(BSML$B$H(Blambda Prolog$B$K$h$k%$%s%?!<%W%j%?=hM}7O$,3+H/$5(B
$B$l$F$$$^$9!#(B

	Lolli$B$N(BWeb$B%Z!<%8(B
	http://www.cs.hmc.edu/~hodas/research/lolli/

LLPj$B$N<BAu$O(BBart Demoen$B;a$H(BPaul Tarau$B;a$N3+H/$7$?(BjProlog(Prolog$B$+$i(B
Java$B$X$N%3%s%Q%$%i%7%9%F%`(B)$B$r%Y!<%9$K$7$F$$$^$9!#(B

	jProlog$B$N(BWeb$B%Z!<%8(B
	http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/

	Paul Tarau$B;a$N(BWeb$B%Z!<%8(B
	http://clement.info.umoncton.ca/~tarau/

LLP$B$K$O!"EDB<D>G7;a$K$h$k%3%s%Q%$%i%7%9%F%`$,(B1996$BG/$K3+H/$5$l$F$$$^$9!#(B
$B$3$N%3%s%Q%$%i$O(B

	LLP$B$+$i(BLLPAM(WAM$B$N3HD%(B)$B$X$N%H%i%s%9%l!<%?(B(written in Prolog)
	$B$H(B
	LLPAM$B%(%_%e%l!<%?(B(written in C)

$B$+$i9=@.$5$l$F$$$^$9!#(BLLP$B%3%s%Q%$%i$K4X$9$k>pJs!"F~<j$K$D$$$F$O<!$N%5(B
$B%$%H$r8fMw2<$5$$!#(B

	LLP$B$N(BWeb$B%Z!<%8(B (maintained by Naoyuki Tamura)
	http://bach.seg.kobe-u.ac.jp/llp/

$B2?8N$+!":G8e$K$J$C$F$7$^$$$^$7$?$,!"(BLLPj$B$NFCD'$r4JC1$K>R2p$7$^$9!#$=$N(B
$BB>(BLLPj$B$N>pJs$K4X$7$F$O!">e5-$N(BLLPj$B$N(BWeb$B%Z!<%8$r8fMw2<$5$$!#(B

	$B!{(BLLPj$B$O(BLLP$B$N%W%m%0%i%`$r(BJava$B$N%W%m%0%i%`$KJQ49$7$^$9!#$b$A$m(B
	  $B$s(BProlog$B$N%W%m%0%i%`$b(BO.K$B$G$9$,!"AH$_9~$_=R8l$,$^$@$^$@IT==(B
	  $BJ,$J$N$GCm0U$,I,MW$G$9!#(B

	$B!{JQ49$5$l$?%3!<%I$O(BJDK1.1.1$B$"$k$$$O$=$l0J>e$N%P!<%8%g%s$GF0:n(B
	  $B$7$^$9!#(B(JDK1.0.2$B$G$O(BLLPj$B$N>.5,LO%$%s%?!<%W%j%?$,@5$7$/F0:n(B
	  $B$7$^$;$s(B)

	$B!{JQ49$5$l$?%3!<%I$O4JC1$K(BJava Applet$B$KKd$a9~$`$3$H$,$G$-$^$9!#(B
	  LLPj$B$N(BWeb$B%Z!<%8$K%G%b$N(Bapplet(N-Queens Puzzle$B$H(BKnight Tour)
	  $B$,$"$j$^$9!#(B

	$B!{(BLLPj$B$O(Bbootstrap$B$5$l$F$$$J$$$N$G!"(BProlog system$B$,I,MW$G$9!#(B
	  $B%H%i%s%9%l!<%?:n@.$K;H$C$?$N$O!"(BSICStus Prolog 2.1$B$G$9!#(B

	$B!{(BLLPj$B$N<B9TB.EY$r0J2<$K5s$2$k(BProlog$B$N%Y%s%A%^!<%/%W%m%0%i%`(B

		nrev (naive reverse of a 30-element list)
		qsort (quicksort of a 50-element list)
		mu (prove a theorem of Hofstadter's "mu-path")

	$B$r;H$C$FB,Dj$7$?$H$3$m!"0J2<$N$h$&$J7k2L$rF@$^$7$?!#(B

		nrev  (0.215 seconds)
		qsort (0.334 seconds)
		mu    (0.276 seconds)

	$B>e$NJ?6Q<B9TB.EY$O(BLinux$B%^%7!<%s(B(pentium 100MHz)$B>e$G!"(BLinux JDK
	1.0.2$B$r$D$+$C$FB,Dj$7$?$b$N$G$9!#(B
__

_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/

                      Mutsunori  Banbara

    Nara National College of Technology
    address: 22 Yata, Yamatokoriyama, Nara 639-11 Japan
    e-mail : banbara@libe.nara-k.ac.jp
    phone  : +81-743-55-6056 
    fax    : +81-743-55-6069
    URL    : http://pascal.seg.kobe-u.ac.jp/~banbara	
_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/