🚀 go-pugleaf

	Prolog$B%W%m%0%i%_%s%0%3%s%F%9%H$N$*CN$i$;(B
$B(B	----------------------------------------

$BF|K\%W%m%m%06(2q<g:E$G!"!V(BProlog$B%W%m%0%i%_%s%0%3%s%F%9%H!W$r(B
$B<B;\$7$^$9!#(B
$B:#2s$N%3%s%F%9%H$O!"NI$/CN$i$l$?LdBj$G%W%m%0%i%`$N@-G=$r(B
$B6%$C$F$$$?$@$/$H8@$&<q8~$G$9!#(B
$BLdBj<+BN$OFq$7$/$O$"$j$^$;$s$N$G!"=i?4<T$NJ}$b@'Hs$4;22C2<$5$$!#(B
$B$41~Jg$$$?$@$$$?:nIJ$N$&$A!"M%=(:nIJ$K$OAm3[(B15$BK|1_$N>^IJ$,<xM?(B
$B$5$l$^$9$N$GJ3$C$F$41~Jg2<$5$$!#(B
$B(B
$B(B1. $B%3%s%F%9%H$NFbMF(B
$B(B
$B(B[$BLdBj(B] 
  $BM?$($i$l$?HW$N7A>u$K9g$o$;$F%Z%s%H%_%N$NBP>N2r$r=|$/A42r$r(B
$B(B  $B@8@.$9$k%W%m%0%i%`$r:n@.$7$F2<$5$$!#(B
$B(B[$B=R8l$N7A<0(B]
  solve_pentomino(Type, Result)
  show_result(Result)
  $B$NFs$D$N=R8l$r:n$C$F2<$5$$!#(B
$B(B
$B(B  solve_pentomino/2 $B$OM?$($i$l$?(BType$B$KBP$7$FBP>N2r$r=|$$$F(B
$B(B  $B%P%C%/%H%i%C%/$K$h$jA42r$r5a$a$^$9!#(B
$B(B  Type = a $B$N;~$O!"(B3x20 $B$ND9J}7A$NCf$K!"(B
$B(B  Type = b $B$N;~$O!"(B8x8 $B$N@5J}7A$NCf1{(B4$B%^%9$r=|$$$?7A$NCf$K(B
$B(B  $B6p$rG[CV$7$^$9!#(B
$B(B  $B2r$O(BResult$B$KJV$5$l$^$9$,!"(BResult$B$N7A<0$O<+M3$G$9!#(B
$B(B
$B(B  show_result/1 $B$O?M4V$,8+$F$o$+$k$h$&$K2r$rI=<($7$J$1$l$P(B
$B(B  $B$J$j$^$;$s!#(B
$B(B
$B(B[$B%Z%s%H%_%N(B]
  5$B8D$N@5J}7A$r7k9g$7$?7A>u$N(B12$B8D$N6p$rM?$($i$l$?HW$NCf$K(B
$B(B  $BG[CV$9$k$H$$$&%Q%:%k$G$9!#6p$O2sE>$5$;$?$jN"JV$7$?$j(B
$B(B  $B$G$-$k$b$N$H$7$^$9!#(B
$B(B
$B(B  12$B8D$N6p$N7A>u(B:

$B!!!!!!#F#F!!!!#I!!!!!!!!#L!!!!!!!!#N!!!!!!!!#P#P!!!!#T#T#T(B
$B!!!!#F#F!!!!!!#I!!!!!!!!#L!!!!!!!!#N!!!!!!!!#P#P!!!!!!#T!!(B
$B!!!!!!#F!!!!!!#I!!!!!!!!#L!!!!!!!!#N#N!!!!!!#P!!!!!!!!#T!!(B
$B!!!!!!!!!!!!!!#I!!!!!!!!#L#L!!!!!!!!#N!!!!!!!!!!!!!!!!!!(B
$B!!!!!!!!!!!!!!#I(B
$B(B
$B!!!!#U!!#U!!!!#V!!!!!!!!#W!!!!!!!!!!#X!!!!!!!!#Y!!!!#Z#Z(B
$B!!!!#U#U#U!!!!#V!!!!!!!!#W#W!!!!!!#X#X#X!!!!#Y#Y!!!!!!#Z(B
$B!!!!!!!!!!!!!!#V#V#V!!!!!!#W#W!!!!!!#X!!!!!!!!#Y!!!!!!#Z#Z(B
$B!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!#Y(B
$B(B  ($B3($,8+$K$/$$>l9g$O!"4A;z8GDjI}%U%)%s%H$r;HMQ$7$F2<$5$$(B)

  $B2r$NNc(B:
  Type = a $B$N>l9g(B | Type = b $B$N>l9g(B
$B(B
$B!!!!!!#U#U#U!!!!!!!!!!!!!!!!#F#Y#Y#Y#Y#V#V#V(B
$B!!!!!!#U#X#U!!!!!!!!!!!!!!!!#F#F#F#Y#Z#L#L#V(B
$B!!!!!!#X#X#X!!!!!!!!!!!!!!!!#W#F#Z#Z#Z#L#P#V(B
$B!!!!!!#P#X#I!!!!!!!!!!!!!!!!#W#W#Z!!!!#L#P#P(B
$B!!!!!!#P#P#I!!!!!!!!!!!!!!!!#T#W#W!!!!#L#P#P(B
$B!!!!!!#P#P#I!!!!!!!!!!!!!!!!#T#T#T#N#N#X#U#U(B
$B!!!!!!#L#L#I!!!!!!!!!!!!!!!!#T#N#N#N#X#X#X#U(B
$B!!!!!!#L#N#I!!!!!!!!!!!!!!!!#I#I#I#I#I#X#U#U(B
$B!!!!!!#L#N#N(B
$B!!!!!!#L#F#N(B
$B!!!!!!#F#F#N(B
$B!!!!!!#T#F#F(B
$B!!!!!!#T#T#T(B
$B!!!!!!#T#W#W(B
$B!!!!!!#W#W#Y(B
$B!!!!!!#W#Y#Y(B
$B!!!!!!#Z#Z#Y(B
$B!!!!!!#V#Z#Y(B
$B!!!!!!#V#Z#Z(B
$B!!!!!!#V#V#V(B
$B(B
$B(B[$B%R%s%H(B]
  Type = a $B$N>l9g$OBP>N2r$r=|$$$?2r$N8D?t$O(B2$B!#(B
$B(B
$B(B2. $B%3%s%F%9%H$NF|Dx(B
$B(B
$B:nIJDs=P!:@Z(B:  1$B7n(B11$BF|(B($B%a%$%k$NH/Aw;~4V(B)
$BF~>^:nIJH/I=(B:  1$B7n(B28$BF|(B
$B(B
$B(B3. $B1~JgJ}K!(B
$B(B
$B$3$N%3%s%F%9%H$K$OC/$G$b;22C$G$-$^$9!#(B
$B%3%s%F%9%H$K;22C$9$kJ}$O!"%a!<%kK\J8Cf$K0J2<$N9`L\$r5-=R$7$F(B
$B(Byoshie@ap.kagu.sut.ac.jp $B08$KAw$C$F2<$5$$!#(B
$B(B(1) $B;aL>!&=jB0(B
$B(B(2) $BEE;R%a!<%k%"%I%l%9(B
$B(B(3) $B=;=j!&EEOCHV9f(B
$B(B(4) $B1~Jg%W%m%0%i%`$N%=!<%9(B
$B(B(5) Type=a,b $B$=$l$>$l$N2r$N8D?t(B
$B%a%$%k$,E~Ce<!Bh<uNN$7$?;]JV?.$$$?$7$^$9!#JV?.$,$J$$>l9g$O(B
$B$*<j?t$G$9$,F1%"%I%l%9$^$G$*Ld$$9g$o$;2<$5$$!#(B
$B(B
$B(B4. $B?3::J}K!(B
$B(B
$B:GM%=(>^$O!"1~Jg:nIJ$N$&$A@5$7$$7k2L$rF@$k$b$N$K$D$$$F!"(B
$B3F<o=hM}7O$G<B9T$7=hM}7O$4$H$KF@$kAjBPB.EY$NC1=cOB$,(B
$B$b$C$H$b>.$5$$$b$N$KM?$($i$l$^$9!#(B
$BB.EY$N7WB,$O!"(B
$B(B  doit:-solve_pentomino(a,_),fail.
  doit:-solve_pentomino(b,_),fail.
  doit.
$B$KBP$7$F9T$J$$$^$9!#(B
$B(B
$B5;=Q>^$O!"?3::0w$N6(5D$K$h$j%W%m%0%i%_%s%0>e$NLLGr$$(B
$B%F%/%K%C%/$,G'$a$i$l$k:nIJ0l$D$KM?$($i$l$^$9!#(B
$B(B
$B?3::$K;HMQ$9$k=hM}7O(B($B%"%k%U%!%Y%C%H=g(B)
AAIS Prolog  version 3.0 (PowerMac)
AZ-Prolog for Win32  version 3.01 ( http://www.sofnec.co.jp/ )
IF-Prolog V5.0B for Windows ( http://www.ifcomputer.com/)
K-Prolog version 4.03 for Win32 ( http://Prolog.isac.co.jp/ )
MINERVA 1.1 for Solaris/sparc( http://www.ifcomputer.com/ )
$B$=$NB>$N=hM}7O(B [$B?3::0wJg=8Cf(B]
($B=hM}7O$4$H$KI,MW$J=$@5$r?3::0w$,2C$($k>l9g$,$"$j$^$9(B)

5. $B>^IJ(B
$B(B
$B:GM%=(>^(B $B#1#0K|1_AjEv$N>&IJ7t!J#1:nIJ!KAjBPB.EY$,$b$C$H$bB.$$:nIJ(B
$BM%=(>^(B     $B#3K|1_AjEv$N>&IJ7t!J#1:nIJ!K<!E@(B
$B5;=Q>^(B     $B#2K|1_AjEv$N>&IJ7t!J#1:nIJ!KFbMF$,NI$+$C$?:nIJ(B
$B(B
$B1~Jg%W%m%0%i%`$NCx:n8"$O:n@.<TK\?M$K5"B0$7$^$9$,!"(B
$BF~A*:nIJ$K$D$-$^$7$F$OF|K\(BProlog$B6(2q$,9-Js$J$I$K(B
$B;H$o$;$F$$$?$@$/>l9g$,$"$j$^$9$3$H$r$"$i$+$8$a8fN;>52<$5$$!#(B
$B(B
$B(B6. $BF|K\%W%m%m%06(2q%[!<%`%Z!<%8(B
$B(B
$BK\%3%s%F%9%H$K$D$-$^$7$F$O!"F|K\%W%m%m%06(2q%[!<%`%Z!<%8(B
$B(Bhttp://www.ap.kagu.sut.ac.jp/PAJ/ $B$K$F8f0FFbCW$7$F$*$j$^$9!#(B
$B?3::$N7k2L$K$D$-$^$7$F$bF1%Z!<%8$GH/I=$7$^$9$N$G(B
$B?o;~;2>H$N$[$I$*4j$$CW$7$^$9!#(B
$B(B----------------------------------------------------------
$BF|K\%W%m%m%06(2q(B $B4k2hC4Ev(B $B5*(B $B?.K.(B