File: advertise.txt
Copyright (C) 1996 $B8E@n(B $B9/0l(B

$B%=%U%H%&%'%"L>>N(B:
	MGTP$B$rMQ$$$?(BPROGOL$B$N%\%H%`%"%C%W=hM}7O(B(Prolog Version)

$B5!G=!&FCD'(B:
	$BK\%=%U%H%&%'%"$O!"(BPROGOL$B$NJBNs2=$N$?$a$K;n:n$7$?(BProlog$B$G5-=R$5$l$?!"<B(B
	$B83E*5"G<?dO@%7%9%F%`$G$"$k!#(BPROGOL$B$N=t5!G=$N$&$A!"$=$NCf?4E*5!G=(B $B$G$"(B
	$B$k5"G<?dO@It$r<B8=$7$F$$$k!#%*%j%8%J%k$N(BPROGOL$B$N%H%C%W%@%&%s7W;;$K$h$k(B
	$B<BAu$H$O0[$J$j!"K\%=%U%H%&%'%"$O%\%H%`%"%C%W7W;;$K$h$k<BAu$r9T$J$C$F$$(B
	$B$k!#$=$N:]FC$K!"(BMGTP(Model Generation Theorem Prover)$B$rD>@\MQ$$$F7W;;(B
	$B$r9T$J$C$F$$$k!#(B

$B;HMQ8@8l(B:
	SICStus Prolog 2.1

$B%U%!%$%k9=@.(B
	manual.tex 		$B%f!<%6%^%K%e%"%k(B
	README			Readme
	advertise.txt		$B$3$N%U%!%$%k(B
	source/progol.pl	PProgol $B%a%$%s(B $B%b%8%e!<%k(B
	source/bot.pl		Bottom $B@8@.(B $B%b%8%e!<%k(B
	source/magic.pl		magic $BJQ49(B $B%b%8%e!<%k(B
	source/search.pl	$B2>@bB+Fb%5!<%A(B $B%b%8%e!<%k(B
	source/m2pl.pl		MGTP to Prolog $BJQ49(B $B%b%8%e!<%k(B
	source/sample/rev.pgl	$B%5%s%W%k%U%!%$%k(B

$B%=!<%9%W%m%0%i%`$NJ,NL(B
	$BLs(B190K ($B%=!<%9$N$_(B)

$BCx:n7o<T(B
	$B8E@n(B $B9/0l(B
	$B7DXf5A=NBg3X(B $BBg3X1!(B $B@/:v!&%a%G%#%"8&5f2J(B
	$B")(B252 $B?@F`@n8)(B $BF#Bt;T(B $B1sF#(B 5,322
	Tel     (0466) 47-5111 Ext 3235
	Fax     (0466) 47-5350
	e-mail  furukawa@sfc.keio.ac.jp
