MGTP$B$rMQ$$$?(BPROGOL$B$N%\%H%`%"%C%W=hM}7O(B(Prolog Version)
						Copyright (C) 1996 $B8E@n(B $B9/0l(B

1 $B%=%U%H%&%'%"K\BN(B
source/progol.pl  PProgol $B%a%$%s(B $B%b%8%e!<%k(B
source/magic.pl   magic$BJQ49(B $B%b%8%e!<%k(B 
source/m2pl.pl    MGTP to Prolog$BJQ49(B $B%b%8%e!<%k(B
source/bot.pl     Bottom$B@8@.(B $B%b%8%e!<%k(B
source/search.pl  $B2>@bB+Fb%5!<%A(B $B%b%8%e!<%k(B

2 $B8&5f3+H/$K4X$9$kH/I=@h0lMw(B
MGTP$B$K$h$k(BPROGOL$B$N:G<e2>@b@8@.(B
	$BF#ED!"H,LZ!"8E@n(B:
	1996$BG/EY?M9)CNG=3X2qA49qBg2q(B
PROGOL$B$N(BA*$BC5:w$K$*$1$kM=B,4X?t$N(BAND-OR$B%0%i%U$K$h$k7W;;K!(B
	$BH,LZ!"F#ED!"Hx:j!"8E@n!'(B
	1996$BG/EY?M9)CNG=3X2qA49qBg2q(B

3 $BMxMQA[Dj<T$N%$%a!<%8(B
$BK\%W%m%0%i%`$O!"(BPROGOL$B$NJBNs2=$N$?$a$K;n:n$7$?(BProlog$B$G=q$+$l$?<B83%7%9(B
$B%F%`$G$"$k!#K\%=%U%H%&%(%"$O!"(BPROGOL$B$N=t5!G=$N$&$A!"$=$NCf?4E*5!G=$G$"(B
$B$k5"G<?dO@It$r<B8=$7$F$$$k!#K\%=%U%H%&%(%"$NFCD'$O!"$=$N<B8=J}K!$K$"$k!#(B
$B=>Mh$N(BPROGOL$B$O!"%H%C%W%@%&%s7W;;$K$h$k<BAu$G$"$C$?$,!"$3$3$G$O!"%\%H%`(B
$B%"%C%W7W;;$K$h$k<BAu$r9T$J$C$?!#$H$/$K!"(BMGTP (Model Generation Theorem
Prover)$B$rD>@\MQ$$$F7W;;$r9T$J$C$F$$$k$H$3$m$,A4BN$NH>J,0J>e$G$"$k!#(B

$BK\%=%U%H%&%(%"$NMxMQ<T$H$7$F$O!"(BPROGOL$B$rMQ$$$F!"5!3#3X=,$N<B83$r$7$F$_(B
$B$?$$?M!"$5$i$K!"(BPROGOL$B$N;EAH$_$rM}2r$7$?$$?M$G$"$k!#K\%=%U%H%&%(%"$O(B
Prolog$B$K$h$k<BAu$G$"$j!"(BMGTP$B$K$h$k%"%k%4%j%:%`$H$J$C$F$$$k$N$G!"85!9$N(B
$B#C8@8l$K$h$k<BAu$KHf$Y!"5-=R$,9b?e=`$G!"%7%9%F%`$NM}2r$,MF0W$G$"$k!#(B

$BK\%=%U%H%&%(%"$O!"(BKLIC$B$K$h$kJBNs<BAu$K8~$1$?;n:n$G$"$k!#$=$N$?$a!"%"%k(B
$B%4%j%:%`$NL@3N2=$rL\;X$7$F:n$i$l$F$$$k!#<B9T8zN($K$D$$$F$O!"9bB.2=$N$?(B
$B$a$N%7%9%F%`$N@vN}$rI,MW$H$9$kCJ3,$G$"$k!#(B

4 $BCx:n8"<T;aL>(B

$B8E@n(B $B9/0l(B
$B7DXf5A=NBg3X(B $BBg3X1!(B $B@/:v!&%a%G%#%"8&5f2J(B
$B")(B252 $BF#_7;T1sF#(B5,322
Tel (0466)47-5111 Ext 3235
Fax (0466)47-5350
e-mail: furukawa@sfc.keio.or.jp
