🚀 go-pugleaf

$BLxBt$H?=$7$^$9!#(B

$BM-8B%*!<%H%^%H%s$NOC$G!"(B
$B@5B'=89g!">uBVA+0\I=!">uBVA+0\%0%i%UEy$NI=8=$r<+F0E*$K(B
$B9T$C$?$jMh$?$j$G$-$k$h$&$J%D!<%k$rC5$7$F$$$^$9!#(B
$B!JFC$K!">uBVA+0\I=$rF~NO$7$?$i%0%i%U$r<+F0E*$K@8@.$7$F$/$l$k(B
$B$h$&$J%D!<%k$rC5$7$F$$$^$9!K(B

$B<+J,$GC5$7$?$H$3$m!"(BFSA Utilities (http://www.let.rug.nl/~vannoord/Fsa/)
$B$H$$$&%=%U%H$,7k9=$h$5$=$&$K8+$($?$N$G$9$,!"$3$N%=%U%H$O(B
$B$=$l<+BN$O%U%j!<$G$"$k$b$N$N!"(BSICStus Prolog $B$H$$$&(BProlog$B=hM}7O$r(B
$BI,MW$H$7!";d$O$=$l$r8=:_MxMQ$G$-$k4D6-$K$O$*$j$^$;$s!#(B

$B$=$3$G4v$D$+4*0F$7$F$$$k$N$G$9$,!"(B

$B$=$N#1(B
FSA Utilities $B$r;H$&$H$7$?>l9g$K!"(B

  1. SICStus Prolog $B$rF|K\$G9XF~$7$?$$$H;W$C$?>l9g!"(B
     $BF|K\9qFb$KAk8}$O$"$k$N$G$7$g$&$+!)(B $B$=$l$H$b(B SICS
     (http://www.sics.se/ $B%9%(!<%G%s$G$9$+(B...)$B$KD>@\CmJ8$9$kI,MW$,(B
     $B$"$k$N$G$7$g$&$+!)(B

  2. $BB>$N%U%j!<$J(BProlog$B$GBeBX$9$k$3$H$O2DG=$G$7$g$&$+!)(B
     $B$6$C$HL\$rDL$7$?$H$3$m$G$O>e5-$N(B FSA $B$O(B SICStus Prolog $B$N(B
     saved state $B$H$$$&$b$N$rMxMQ$9$k$=$&$G$9$,!"(B
     $B<+J,$O(BProlog$B$K4X$7$FA4$/$NAG?M$G$7$F(B.... $B$@$+$i!V2DG=!W$@$H(B
     $B$7$F$b<+NO$G$O$9$0$K$O(Bport$B$G$-$J$$2DG=@-$,$"$k$N$G$9$,(B;-)

$B$=$N#2(B
FSA Utilities $B0J30$G!"0lHV>e$K=q$$$?$h$&$JL\E*$KE,$7$?$h$&$J(B
$B%D!<%k$r$I$J$?$+$4B8$8$"$j$^$;$s$G$7$g$&$+!)(B
$B$J$k$Y$/%U%j!<!"$"$k$$$OF|K\$GHf3SE*MF0W$K9XF~$G$-$k$b$N$,K>$^$7$$(B
$B$N$G$9$,!#(B

$B$A$J$_$K=hM}$O(Bx86 linux$B>e$G9T$&$3$H$r9M$($F$$$^$9!#(B
$B0l1~8E$$(BRS/6000 & AIX$B!J$b$&(BPentiumPro$B$h$jCY$/$J$C$F$7$^$C$?$N$G(B
$B$[$H$s$I;H$C$F$$$^$;$s$,!K$b$"$j$^$9!#(B

$B$h$m$7$/$*4j$$$7$^$9!#(B

---
Takeshi Yanagisawa ($BLxBt(B  $B9d(B) <ytakeshi@o.cc.titech.ac.jp>

Dept. of Applied Physics, Tokyo Institute of Technology,
Meguro-ku, Tokyo 152, Japan