🚀 go-pugleaf

$BEDB<(B@$B?@8MBg3X9)3XIt>pJsCNG=9)3X2J$G$9!%(B

$BD>4Q<g5A@~7AO@M}$K4p$E$$$?O@M}7?8@8l$N%3%s%Q%$%i=hM}7O(B LLP 0.43 
$B%j%j!<%9$N$*CN$i$;$G$9!%6=L#$N$"$kJ}$O!$$<$R2<$N(BWeb$B%Z!<%8$r8fMw(B
$B2<$5$$!%(B

	http://bach.seg.kobe-u.ac.jp/llp/index-jp.html

LLP$B$O(BProlog$B$N%9!<%Q!<%;%C%H$K$J$C$F$*$j!$(BJosh Hodas$B$H(BDale Miller
$B$K$h$C$F@_7W$5$l$?(BLolli$B$N%5%V%;%C%H$K$J$C$F$$$^$9!%$?$@$7!$%7%s(B
$B%?%C%/%9$O$+$J$j0c$$$^$9!%(BLolli$B$O(BML$BIw$N5-K!$G!$(BLLP$B$OI8=`(BProlog$B$H(B
$BF1$8$G$9!%$J$*!$(BLolli$B$N(BWeb$B%Z!<%8$O0J2<$NDL$j$G$9!%(B

	http://www.cs.hmc.edu/~hodas/research/lolli/

LLP$B=hM}7O$O!$0J2<$N$b$N$+$i$J$C$F$$$^$9!%(B

	* LLP$B$+$i(BLLPAM ($B3HD%(BWAM) $B$X$N%H%i%s%9%l!<%?(B (Prolog$B$G5-=R(B)
	* LLPAM$B%(%_%e%l!<%?(B (C$B$G5-=R(B)

LLP$B$rMxMQ$9$k$N$KI,MW$J%=%U%H%&%'%"$O0J2<$NDL$j$G$9!%CQ$:$+$7$J(B
$B$,$i!$$^$@%V!<%H%9%H%i%C%W$,$G$-$F$$$J$$$?$a!$4{B8$N(BProlog$B=hM}7O(B
$B$,I,MW$G$9!%K\Ev$O!$%V!<%H%9%H%i%C%W$G$-$?$i9-$/8x3+$7$h$&$H;W$C(B
$B$F$$$?$N$G$9$,!D8fMF<O$/$@$5$$!%(B

	* Prolog$B=hM}7O(B
	  Prolog$B=hM}7O$O!$(BLLP$B$N%W%m%0%i%`$rCj>]%^%7%sL?Na(B($B3HD%(B
	  WAM)$B$K%3%s%Q%$%k$9$k$?$a$KMxMQ$5$l$^$9!%0J2<$N(BProlog$B=h(B
	  $BM}7O$GF0:n$r3NG'$7$F$$$^$9!%(B
		SICStus Prolog 2.1
		BinProlog 5.00
		Quintus Prolog 6.4
	* ANSI C$B%3%s%Q%$%i(B
	  $BCj>]%^%7%s$N%(%_%e%l!<%?$O(BANSI C$B$G=q$+$l$F$$$^$9!%(B
	  $B3+H/$K$O!$(BGNU C$B$r;HMQ$7$F$$$^$9!%(B

$B0l1~!$(BLinux, Sun SPARC, SGI Origin, SGI Indy$B$J$I$GF0:n$r3NG'$7$F(B
$B$$$^$9!%(B

$B<B9TB.EY$O!$(BProlog$B$N%W%m%0%i%`(B(N-Queen$B$NA42rC5:w(B)$B$G!$(BSICStus
Prolog 2.1 (compact code)$B$N(B1/2$B$+$i(B1/3$BG\DxEY$G$9!%@~7AO@M}$NFCD'(B
$B$r@8$+$7$?%W%m%0%i%`$r=q$/$H!$(BSICStus$B$h$j$bB.$/$J$j$^$9!%(B

$B$^$?!$F`NI9b@l$NHV86KSB';a$N3+H/$7$?(B LLP --> Java $B%H%i%s%9%l!<%?(B 
LLPj$B$b!$$<$R8+$F2<$5$$!%(BNetscape$B$J$I$N(BJava Applet$B$N<B9T$G$-$k(BWeb
browser$B>e$+$i!$(BN-Queen$B$d(BKnight Tour$B$N%G%b$r3Z$7$a$^$9(B($B$J$<$+!$K\(B
$B?M$O8x3+$7$J$$$GM_$7$$$H8@$C$F$$$k$N$G$9$,(B)$B!%(B

	http://pascal.seg.kobe-u.ac.jp/~banbara/llpj/

--
Naoyuki Tamura (tamura@kobe-u.ac.jp)
Department of Computer and Systems Engineering
Faculty of Engineering, Kobe University, Rokkodai, Nada, Kobe 657-8501 JAPAN
Phone:+81-78-803-1188  Fax:+81-78-803-1218
http://bach.seg.kobe-u.ac.jp/tamura.html	LLP+LINEAR+LOGIC=PROLOG