Copyright (C) 1997 $BBgFb(B $BBs<B(B, $B6a;3(B $BN4(B

$B!Z=`Hw![(B

$B%W%j%W%m%;%C%5(B mg2kl1.pl $B$r(B SICStus Prolog $B$rMQ$$$F%3%s%Q%$%k$7$^$9!#(B
$B0J2<$K<B9TNc$r<($7$^$9!#!V"+F~NO!=!W$H<($7$?9T$,F~NO$G$9!#(B

% sicstus						$B"+F~NO!=(B
SICStus 2.1 #9: Sun Apr 10 23:28:31 JST 1994
| ?- compile(mg2kl1).					$B"+F~NO!=(B
{compiling /a/home/puma/chik/icot-seika/DH8-1/Sources/ILP-MGTP/mg2kl1.pl...}
{/DH8-1/Sources/ILP-MGTP/mg2kl1.pl compiled, 3680 msec 89120 bytes}

yes
| ?- save.						$B"+F~NO!=(B
{SICStus state saved in /DH8-1/Sources/ILP-MGTP/mg2kl1}

$B$3$l$K$h$C$F(B, $BF1$8%G%#%l%/%H%j$K(B mg2kl1 $B$H$$$&<B9T2DG=%U%!%$%k$,$G$-$^$9!#(B

$B!Z;HMQK!![(B

1. mg2kl1.pl $B$r(B(SICStus prolog$B$G(B)$B%3%s%Q%$%k$7$?(B mg2kl1 $B$r;H$C$F(B, 
   MGTP$B@a$r(BKL1$B@a$KJQ49$9$k(B. 
	./mg2kl1 induct merc

2. 1.$B$GF@$i$l$?(BKL1$B@a$r$5$i$KJQ49$9$k(B. 
	cat induct_merc.kl1 | ./fff_replacement > induct_func.kl1

3. klic $B$G%3%s%Q%$%k$9$k(B. 
	klic -O2 -dp  induct_func.kl1 function.kl1 merc_para.kl1
		 -shm

    $B"((B -dp/-shm $B$OJ,;6%a%b%j(B/$B6&M-%a%b%jJBNs$N%3%s%Q%$%k%*%W%7%g%s(B

$BIaDL$N(BMGTP$B@a$G$"$l$P(B(problem.mg $B$,LdBj$N%U%!%$%k(B), 
	./mg2kl1 problem merc
	klic -O2 -dp  problem_merc.kl1 merc_para.kl1
		 -shm
$B$GBg>fIW$G$9(B. 

$B!Z=PNO$K$D$$$F![(B

$B=PNO$5$l$k2r$NI=8=$O(B, 
	hyp(var(n)): $BO@M}<0(B(var(0),var(1),.... $B$r4^$`(B)
$B$H$J$C$F$*$j(B, $BNc$($P<!$NO@M}<0(B
	p(X,Y), q(Y,Z) --> r(X,Z).  
$B$O(B, 
	hyp(var(?)): p(var(0),var(1)), q(var(1),var(2))
			--> r(var(0),var(2)).  
$B$HI=$5$l$^$9(B.

($B:G=i$N(B var(?) $B$O(B, var(0)$B$N$b$N$H(Bvar(1)$B$N$b$N$,$"$k$,(B, 
 $B2r$NFbItI=8=$K4X$o$k$b$N$G(B, $B2r$H$J$kO@M}<0$=$N$b$N$N(B
 $B0UL#$K0c$$$O$"$j$^$;$s(B. )

$B$?$@$7(B, $BF@$i$l$k2r$O(B, $BBEEv$J<0$9$Y$F$H$J$j$^$9(B. 
$B$?$H$($P(B:

  $B@5;vNc(B	r(a,a), r(a,b), r(a,c), r(a,d), r(b,b), 
		r(b,c), r(b,d), r(c,c), r(c,d), r(d,d)
  $BIi;vNc(B	r(b,a), r(c,a), r(c,b), r(d,a), r(d,b), r(d,c)

  $BGX7JCN<1(B	p(X,X).  
		q(a,b).  q(b,c).  q(c,d). 
		p(X,Y), q(Y,Z) --> p(X,Z).  

$B$H$7$?>l9g(B, $B2r$H$7$F(B:

		r(a,X).  
		r(X,d).  
		r(X,X).  
		....
		p(X,Y) --> r(X,Y).  
		....
		q(X,Y) --> r(X,Y).  
		....
		p(X,Y), q(Y,Z) --> r(X,Z).  
		....

$B$J$I$NB>$K(B:

		p(b,X), q(X,Y) --> r(b,Y).  
		p(X,c), p(Y,X) --> r(Y,d).  

$B$bF@$i$l$^$9!#(B

$B2r$H$J$k<0$ND9$5$K$D$$$F$O(B, MGTP$B%=!<%9$N(B Intra-construction $B$r9T$J$&It(B
$BJ,$G@)8B$r2C$($F$$$^$9(B (fff2_less(Len,3) $B$H$$$&=R8l$K$h$C$F(B, $BD9$5$r(B 3
$B0J2<$K$7$F$$$^$9(B)$B!#(B

$B0J>e(B
