				DRS$BA`:n%^%K%e%"%k(B
										

0.$B$O$8$a$K(B
											
$B$3$N%^%K%e%"%k$OO@>Z@8@.5!G=$HO@>ZA*Br5!G=$rDs6!$9$k%D!<%k$G$"$k(BDRS$B$NA`:nJ}K!$K(B
$B4X$7$F@bL@$7$?$b$N$G$"$k!#(B

$BK\%^%K%e%"%k$rFI$`$K$"$?$j!"$^$:!"!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r@h$KFI$_!"O@G}?dO@!"(B
$BCN<1%Y!<%9$N5-=RJ}K!$rGD0.$7$F$+$i!"K\%^%K%e%"%k$rFI$`$3$H$r$*?J$a$9$k!#(B

1.$B35MW(B

DRS$B$O!"(BHELIC-II $B$NO@>Z@8@.!"O@>ZA*Br5!G=$r!"%f!<%6$N%-!<F~NO$N$_$GDs6!$9$k%D!<%k(B
$B$G$"$k!#(B

$B$3$N%^%K%e%"%k$O!"Bh#2>O$GDs6!5!G=$K$D$$$F4JC1$K@bL@$7!"Bh#3>O$G<B9T;~$N>uBVA+0\!"(B
$BBh#4>O$GCN<1%U%!%$%k!"Bh#5>O$G5/F0J}K!$r@bL@$9$k!#Bh#6>O$G$O!"Ds6!$9$k%3%^%s%I$r(B
$B@bL@$7!"Bh#7>O$G<B9TNc$r>R2p$9$k!#:G8e$KIUO?$H$7$FMQ8l@bL@$,:\$;$F$"$k!#(B

2. $BDs6!5!G=(B

DRS$B$OO@>Z@8@.!"O@>ZA*Br5!G=$rDs6!$7$F$$$k!#(B

$B0J2<$K$=$l$>$l$K$D$$$F@bL@$9$k!#(B

$B$J$*!"(BDRS$B$G$3$l$i$N5!G=$r;H$&>l9g!"H?O@$N@hFI$_CJ?t$N;XDj$G@Z$jBX$($k!#>\$7$/$O(B
$B!V(B6.1.3 $B<B9T4D6-$N@_Dj(B (7)$B!W$r;2>H$N$3$H!#(B

2.1 $BO@>Z@8@.(B

$BM=$a;v<B$H%k!<%k$,M?$($i$l$F$*$j!"$=$3$K>ZL@$7$?$$7kO@(B(goal)$B$rM?$($k$H!"$=$N7kO@(B
$B$rF3$/>ZL@LZ$rO@>Z$H$7$F@8@.$9$k5!G=$G$"$k!#%k!<%k$K$ODL>o$N%k!<%k(B(RBR$B%k!<%k(B)$B$N(B
$BB>$K!"(BCBR$B%k!<%k$H8F$P$l$k$b$N$,$"$j!"$3$l$OCj>]2=$5$l$F$+$iE,MQ$5$l$kFCD'$,$"$k!#(B

2.2 $BO@>ZA*Br(B

$BO@>ZA*Br5!G=$O!"HsC1D4?dO@$N0l<o$G$"$kO@G}?dO@$K$h$C$F<B8=$5$l$F$$$k!#(B

$BO@G}?dO@$O!"M?$($i$l$?7kO@$KBP$9$kO@>Z$H$=$NH?O@$r5a$a!"$=$NO@>Z$HH?O@4V$N%k!<%k(B
$B$NM%@h4X78$G$"$k(BTopRule$B4X78(B($B>\:Y$OIUO?;2>H$N$3$H(B)$B$HH?O@$NO@>Z$N<oN`$+$iO@>Z$N<o(B
$BN`$r7hDj$9$k$b$N$G$"$k!#(B

$BO@>Z$N<oN`$K$O0J2<$,$"$k!#(B

(1) justify
	$BA4$F$NH?O@$rO@GK$9$kO@>Z!#(B
(2) defeated
	$B$$$:$l$+$NH?O@$KO@GK$5$l$kO@>Z!#(B
(3) plausible
	$BH?O@$KBP$7$FL54X78$+O@GK$9$kO@>Z!#(B

$BO@GK$9$k!"O@GK$5$l$k!"L54X78!"$OH?O@$H$N(BToprRule$B4X78$dH?O@$N<oN`$K$h$j7hDj$5$l$k!#(B

$B>\$7$/$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

3.$B<B9T;~$N>uBVA+0\(B

DRS$B$K$O2<?^$K<($9$h$&$K?dO@7k2L$G$"$kO@>Z$rI=<($G$-$k>uBV(B($BO@>ZI=<(>uBV(B)$B$H$G$-$J(B
$B$$>uBV(B($BDL>o>uBV(B)$B$,$"$j!"$=$l$>$l$N>uBV$K1~$8$F;H$($k%3%^%s%I$,@)8B$5$l$k!#5/F0;~(B
$B$O=i4|>uBV$G$"$k!#(B

	        ab
+--------+   --------> 	+------------+
|$B=i4|>uBV(B|	  	|$BO@>ZI=<(>uBV(B|
+--------+   <-------- 	+------------+
	        end

$B=i4|>uBV(B:
 $B!&(B $B;HMQ2DG=%3%^%s%I(B
	$B=i4|%3%^%s%I(B
 $B!&(B $B>uBVA+0\%3%^%s%I(B
	$BO@>ZI=<(3+;O%3%^%s%I$G$"$k(B"ab"$B$GO@>ZI=<(>uBV$K0\$k!#(B

$BO@>ZI=<(>uBV(B:
 $B!&(B $B;HMQ2DG=%3%^%s%I(B
	$BO@>ZI=<(%3%^%s%I(B
 $B!&(B $B>uBVA+0\%3%^%s%I(B
	$BO@>ZI=<(=*N;%3%^%s%I$G$"$k(B"end"$B$G=i4|>uBV$KLa$k!#(B

$B$^$?!"=i4|>uBV$+$iO@>ZI=<(>uBV$X9T$/$?$a$K$O0J2<$N=hM}$rI,$:9T$J$o$J$1$l$P$J$i$J(B
$B$$!#(B

$B$J$*!"3g8LFb$N%3%^%s%I$O$=$N;~$K;HMQ$9$k%3%^%s%IL>$G$"$k(B

(1) $BCN<1%U%!%$%k$NFI$_9~$_(B
	$B0J2<$N(B(a)$B$H(B(b)$B$N%U%!%$%kA4$F$rI,$:FI$_9~$^$J$1$l$P$J$i$J$$!#(B
	$B$5$i$K!"FI$_9~$`=gHV$O!"(B(a)$B$N<!$K(B(b)$B$rFI$_9~$^$J$1$l$P$J$i$J$$!#(B

	(a) $B7?Dj5A%U%!%$%k(B(compile type$B%3%^%s%I(B)$B!"$^$?$O(B 
	    $B7?Dj5AFbItI=8=%U%!%$%k(B(load type$B%3%^%s%I(B)
	(b) $B%k!<%kDj5A%U%!%$%k(B(compile rule$B%3%^%s%I(B)$B!"$^$?$O(B
	    $B%k!<%kFbItI=8=Dj5A%U%!%$%k(B(load rule$B%3%^%s%I(B)

(2) $B;HMQCN<1$N@_Dj(B
	$BFI$_9~$s$@%k!<%k(B($B%f%K%C%H(B)$B$NFb!"$I$N%k!<%k(B($B%f%K%C%H(B)$B$r;HMQ$9$k$+$r@_Dj$9$k(B
        (set unit$B%3%^%s%I(B)$B!#(B

(3) $BO@G}?dO@$N<B9T(B
	$BO@G}?dO@$r<B9T(B(solve$B%3%^%s%I(B)$B$7!"7kO@(B(goal)$B$KBP$9$k>ZL@$,@.8y$7$?;~!#(B

4.$BCN<1%U%!%$%k(B

$BO@G}?dO@$GI,MW$H$9$kCN<1$r%U%!%$%k$KJ]B8$7$?$b$N$rCN<1%U%!%$%k$H8F$V!#CN<1%U%!%$(B
$B%k$K$O%f!<%6Dj5A%U%!%$%k!"FbItI=8=%U%!%$%k$N(B2$B<oN`$,$"$k!#%f!<%6Dj5A%U%!%$%k$O(B
HELIC-II$B$N8@8l;EMM$K=>$C$F%f!<%6$,=q$$$?%U%!%$%k$G$"$j!"FbItI=8=%U%!%$%k$O%f!<%6(B
$BDj5A%U%!%$%k$G=q$+$l$F$$$kCN<1$,?dO@;~$K8zN(E*$K;2>H$G$-$k$h$&$KJQ49$5$l$?$b$N$G(B
$B$"$k!#(B

$B$3$l$i(B2$B<oN`$NCN<1%U%!%$%k$NFI$_9~$_$r2DG=$K$7$F$$$k$N$O!"0J2<$NM}M3$K$h$k!#(BDRS$BFb(B
$BIt$G07$&%G!<%?$OA4$FFbItI=8=$KJQ49$7$J$1$l$P$J$i$J$$$?$a!"%f!<%6Dj5A%U%!%$%k$O>o(B
$B$KFbItI=8=$X$NJQ49$,9T$J$o$l$k!#$=$N$?$a!"ITJQE*$GFbItI=8=$X$NJQ49$K;~4V$,$+$+$k(B
$BCN<1(B($BNc$($P7?$J$I(B)$B$,5-=R$5$l$?%f!<%6Dj5A%U%!%$%k$b>o$KJQ49$r9T$J$o$J$1$l$P$J$i$J(B
$B$$!#$=$3$G!"$3$NJQ49$KMW$9$k;~4V$r@aLs$9$k$?$a$KFbItI=8=7A<0$KJQ49$5$l$?%U%!%$%k(B
$B$+$i$NFI$_9~$_$r2DG=$H$7$?!#(B

$B0J2<$O3F<oCN<1%U%!%$%k$NL>>N$G$"$k!#(B


$BDj5AFbMF(B	$B%f!<%6Dj5A%U%!%$%k(B	 $BFbItI=8=%U%!%$%k(B	
====================================================================
$B%k!<%k(B		$B%k!<%kDj5A%U%!%$%k(B 	 $B%k!<%kDj5AFbItI=8=%U%!%$%k(B
$B7?(B            	$B7?Dj5A%U%!%$%k(B 		 $B7?Dj5AFbItI=8=%U%!%$%k(B
$BH>=g=x(B		$BH>=g=xDj5A%U%!%$%k(B	 $BH>=g=xDj5AFbItI=8=%U%!%$%k(B
$B%4!<%k(B		$B%4!<%kDj5A%U%!%$%k(B	 $B%4!<%kDj5AFbItI=8=%U%!%$%k(B	 

$BH>=g=xDj5A%U%!%$%k$O%f%K%C%HDj5A!"H=CG4p=`Dj5A!"2ACM4QDj5A$r=gHV$KDj5A$7$?%U%!%$(B
$B%k$G$"$k!#(B

$B%f!<%6Dj5A%U%!%$%k$+$i$NFI$_9~$_$O(Bcompile$B%3%^%s%I!"FbItI=8=%U%!%$%k$+$i$NFI$_9~(B
$B$_$O(Bload$B%3%^%s%I!"%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49$O(Btrans$B%3%^%s%I(B
$B$r;H$&!#(B

$B$J$*!"%f!<%6Dj5A%U%!%$%k$KF|K\8l$r4^$s$G$$$k>l9g$O%U%!%$%k$r(Beuc$B%3!<%I$G=q$+$J$1(B
$B$l$P$J$i$J$$!#(B


5. $B5/F0J}K!(B

HELIC-II$B$r%$%s%9%H!<%k$9$k$H(B"drs/bin"$B$N2<$K(Bdrs$B$H$$$&<B9T%U%!%$%k$,$G$-$k$N$G!"$=(B
$B$l$r0J2<$N$h$&$K5/F0$9$k!#(B("!"$B$O%7%'%k$N%W%m%s%W%H$G$"$k!#(B)

        ! drs
          +++

$B%W%m%0%i%`$,@5>o$KF0:n$9$k$?$a$K$O!"4D6-JQ?t$N(Bpath$B$K(Bdrs/bin$B$^$G$N%G%#%l%/%H%j%Q(B
$B%9L>$,@_Dj$5$l$F$$$J$1$l$P$J$i$J$$!#>\$7$/$O!V(BDRS$B%$%s%9%H!<%k!&%^%K%e%"%k!W;2>H(B
$B$N$3$H!#(B


6.$B%3%^%s%I@bL@(B

$B3F%3%^%s%I$r@bL@$9$k$K$"$?$C$F!"$=$3$G;H$o$l$k0z?t$N0UL#$O0J2<$G$"$k!#(B

(1) $B>.J8;z$O8GDj$NJ8;z!#BgJ8;z$O$=$3$KG$0U$NJ8;z$,F~$k$3$H$r0UL#$9$k!#(B
(2) <x | y | z> $B$O!"(Bx y z$B$NCf$+$iI,$:0l$D$rA*$s$GF~$l$k$3$H$r0UL#$9$k!#(B
(3) {x}$B$O(B x $B$N#02s0J>e$N7+$jJV$7!#(B
(4) [x]$B$O(B x $B$r#12s$^$?$O>JN,$G$-$k!#(B

$B$^$?!"Cm0U;v9`$H$7$F0J2<$,$"$k!#(B

$B!&%3%^%s%IF~NO$O(B1$B9T$G(B1$B%3%^%s%I$H$_$J$5$l$k!#Nc$G$O8+$d$9$5$N$?$a$K2~9T$7$F$$$k>l(B
  $B9g$b$"$k$,!"<B:]$NF~NO$G$O(B1$B9T$G$+$+$J$1$l$P$J$i$J$$!#(B

$B!&F|K\8l$rF~=PNO$9$k>l9g!"(Bterminal$B$NF~=PNO%b!<%I$,(Beuc$B$G$J$1$l$P$J$i$J$$!#(B

$B!&%U%!%$%kL>$O@dBP%Q%9!"AjBP%Q%9$I$A$i$G$b$h$$!#(B

$B!&Nc$OA4$F%+%l%s%H!&%G%#%l%/%H%j$,(Bdrs/data$B$K$J$C$F$$$k;~$K<B9T$7$?$b$N$G$"$k!#(B

6.1 $B=i4|%3%^%s%I(B

6.1.1 $BCN<1%U%!%$%k$NFI$_9~$_(B

$BCN<1%U%!%$%k$NFI$_9~$_$K4X$9$k%3%^%s%I$r@bL@$9$k!#(B

(1)  compile <type|rule|pom|goal> FILENAME

	    <type|rule|pom|goal> 	$BFI$_9~$`%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
					type$B$O7?Dj5A%U%!%$%k!"(B
					rule$B$O%k!<%kDj5A%U%!%$%k!"(B
					pom$B$OH>=g=xDj5A%U%!%$%k$rI=$9!#(B
					goal$B$O%4!<%kDj5A%U%!%$%k!#(B
	     FILENAME 			$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$B%f!<%6Dj5A$NCN<1%U%!%$%k$NFI$_9~$_!#(B

	$B$J$*!"(Bcompile$B%3%^%s%I$r<B9T$9$k$H!":n6HMQ$N%U%!%$%k$H$7$F!"%+%l%s%H!&%G%#(B
	$B%l%/%H%j$N2<$K!"(Btmp1$B$H(Btmp2$B$H$$$&%U%!%$%k$,:n@.$5$l$k!#(B

   $BNc(B:
	compile type cntrct.type
	compile rule cntrct.rule
	compile pom  cntrct.pom

(2)  load <type|rule|pom|goal> FILENAME

	    <type|rule|pom|goal>$BFI$_9~$`%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
				type$B$O7?Dj5AFbItI=8=%U%!%$%k!"(B
				rule$B$O%k!<%kDj5AFbItI=8=%U%!%$%k!"(B
				pom$B$OH>=g=xDj5AFbItI=8=%U%!%$%k!"(B
				goal$B$O%4!<%kDj5AFbItI=8=%U%!%$%k$rI=$9!#(B
	     FILENAME 		$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$BFbItI=8=$NCN<1%U%!%$%k$NFI$_9~$_!#(B
	$B%U%!%$%kL>$O(Btrans$B%3%^%s%I$GJQ49$5$l$?8e$N%U%!%$%k$r;XDj$9$k!#(B

   $BNc(B:
	load type cntrct.t
	load rule cntrct.r
	load pom  cntrct.p

6.1.2 $BFbItI=8=%U%!%$%k$X$NJQ49(B

$B%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49$K4X$9$k%3%^%s%I$r@bL@$9$k!#(B

(1)  trans <type|rule|pom|goal> FILENAME1 FILENAME2

	    <type|rule|pom|goal>$BFI$_9~$`%U%!%$%k$N%?%$%W$r;XDj$9$k!#(B
				type$B$O7?Dj5A%U%!%$%k!"(B
				rule$B$O%k!<%kDj5A%U%!%$%k!"(B
				pom$B$OH>=g=xDj5A%U%!%$%k!"(B
				goal$B$O%4!<%kDj5A%U%!%$%k$rI=$9!#(B
	     FILENAME1 		$BFI$_9~$`%U%!%$%k$NL>A0(B
	     FILENAME2 		$B=PNO%U%!%$%k$NL>A0(B

   $B5!G=(B:
	$B%f!<%6Dj5A%U%!%$%k$+$iFbItI=8=%U%!%$%k$X$NJQ49!#(B

   $BNc(B:
	trans type cntrct.type cntrct.t
	trans rule cntrct.rule cntrct.r
	trans pom  cntrct.pom  cntrct.p

6.1.3 $B<B9T4D6-$N@_Dj(B

$B<B9T4D6-$r@_Dj$9$k!#(B

(1)  set view VIEW

	   VIEW			$B2ACM4Q$NL>A0!#(B

  $B5!G=(B:
	$B;HMQ$9$k2ACM4Q$r@_Dj$9$k!#2ACM4Q$O!"H>=g=xDj5A%U%!%$%k$KDj5A$5$l$F$$$k$b(B
	$B$N$rMQ$$$k!#(B

	$B$J$*!"2ACM4Q$K$D$$$F$OIUO?$r;2>H$N$3$H!#(B

  $BNc(B:
	set view prosecutor0

(2)  set sp [SP {SP}]

	     SP  		$BH=CG4p=`$NL>A0!#(B

  $B5!G=(B:
	$B;HMQ$9$kH=CG4p=`$NM%@h=g0L$r@_Dj$9$k!#H=CG4p=`$O!"H>=g=xDj5A%U%!%$%k$KDj(B
	$B5A$5$l$F$$$k$b$N$rMQ$$$k!#(B

	$B$^$?!"H=CG4p=`$NL>A0$OM%@hEY$,Dc$$$b$N$+$i=q$-!"H=CG4p=`$r>JN,$9$k$H!"%k!<(B
	$B%k4V$N4X78$OA4$FL54X78$H$J$k!#(B

	$B$J$*!"H=CG4p=`$K$D$$$F$OIUO?$r;2>H$N$3$H!#(B

  $BNc(B:
	set  sp importance_of_civil_code importance_of_amount_money
		$B2ACM4Q$r(B $B!V(B"importance_of_amount_money"$B$H$$$&4p=`$r(B
                "importance_of_civil_code"$B$h$jM%@h$5$;$k!W(B $B$H@_Dj$9$k!#(B
	set  sp
		$B2ACM4Q$r@_Dj$7$J$$!#$D$^$j!"$"$i$f$kH=CG4p=`$rL5;k$7!"7k2L$H$7$F(B
		$B%k!<%k4V$NM%@h4X78$OA4$F$J$$$b$N$H$9$k!#(B

(3)  set unit <UNIT {UNIT}>|all

	    UNIT 		$B%f%K%C%HL>(B

    $B5!G=(B:
    	load$B$d(Bcompile$B%3%^%s%I$GFI$_9~$s$@%k!<%kDj5A$NCf$G!";HMQ$9$k%k!<%k!J$^$?(B
	$B$O%k!<%k=89g!K$r%f%K%C%H$N7A$G;XDj$9$k!#(B

	$B%f%K%C%H$K$D$$$F$O!"IUO?$r;2>H$N$3$H!#(B

        $B!J;XDj$7$J$$%f%K%C%H$O!"(Bload$B$d(Bcompile$B%3%^%s%I$GFI$_9~$^$l$F$$$F$b!";HMQ(B
	$B$5$l$J$$!K(Ball$B$r;XDj$9$k$HA4$F$N%k!<%k$r;HMQ$9$k$3$H$H$J$k!#(B

    $BNc(B:
	set unit all
		$BA4$F$N%f%K%C%H$r;HMQ$9$k!#(B
		
(4)  set goal GOAL

	    GOAL 		H$B9`(B
				H$B9`$K$D$$$F$O!"!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H(B
				$B$N$3$H!#(B

    $B5!G=(B:
	$B>ZL@$9$k7kO@(B(goal)$B$r@_Dj$9$k!#(B

    $BNc(B:
	 set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))

(5)  set pl INTEGER

	    INTEGER		$B@0?t(B

    $B5!G=(B:
	H$B9`$rI=<($9$k>l9g!"$=$N(BH$B9`$r2?%P%$%HI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set pl 1000

(6)  set pt <h|e>

	    <h|e>	  	H$B9`$NI=<($N%?%$%W$r;XDj$9$k!#(B
				h$B$O(BH$B9`$=$N$^$^$NI=<(!"(B
				e$B$O(BH$B9`$N(Bexplain$B$G=q$$$?$b$N$rI=<($9$k!#(B

    $B5!G=(B:
	H$B9`$rI=<($9$k;~!"$=$N$^$^I=<($9$k$+!"(BH$B9`$N(Bexplain$B$rI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set pt h

(7)  set cl INTEGER | -1

	    INTEGER		0$B0J>e$N@0?t(B

    $B5!G=(B:
	$BO@G}?dO@;~$NH?O@CJ?t$r;XDj$9$k!#H?O@CJ?t$OIUO?$r;2>H$N$3$H!#(B

	-1$B$r;XDj$9$k$HH?O@CJ?t$,L58B$K$J$k!#(B

	$BH?O@CJ?t(B(INTEGER)$B$K(B0$B$r;XDj$9$k$H!"H?O@$r5a$a$J$$$?$a$K!"O@>Z@8@.5!G=$,<B(B
	$B8=$5$l$k!#(B

	$B$^$?!"(B0$B$h$jBg$-$$?t;z$r;XDj$9$k$HH?O@$r5a$a$k$3$H$H$J$j!"O@G}?dO@5!G=$,(B
	$B<B8=$5$l$k!#(B

    $BNc(B:
	 set cl 0
	 set cl 1000
	 set cl -1

(8) set sim INTEGER

	    INTEGER		1$B$+$i(B100$B$^$G$N@0?t(B

    $B5!G=(B:
	$BN`;wEY$NogCM$r@_Dj$9$k!#(B
	$BN`;wEY$NogCM$N5,DjCM$O(B70$B$G$"$k!#(B
	$BN`;wEY$NogCM$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set sim 70

(9) set weight INTEGER

	    INTEGER		1$B$+$i(B10$B$^$G$N@0?t(B
    $B5!G=(B:
	trivial$B$J9`$N=E$_$r@_Dj$9$k!#(B
	trivial$B$J9`$N=E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	trivial$B$J9`$N=E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set weight 7

(10) set ptst A B C D E

	    A 			100$B$+$i(B1$B$^$G$N@0?t(B
	    B 			100$B$+$i(B1$B$^$G$N@0?t(B
	    C 			100$B$+$i(B1$B$^$G$N@0?t(B
	    D 			100$B$+$i(B1$B$^$G$N@0?t(B
	    E			100$B$+$i(B1$B$^$G$N@0?t(B

    $B5!G=(B:
	$B&79`Cj>]2=%F!<%V%k$r@_Dj$9$k!#(B
	A,B,C,D$B$O&79`$r$=$l$>$l(B1,2,3,4$BCJCj>]2=$7$?;~$NN`;wEY!#(B
	E$B$O&79`$r(B5$BCJ0J>eCj>]2=$7$?;~$NN`;wEY!#(B
	A>=B>=C>=D>=E$B$G$J$/$F$O$J$i$J$$!#(B
	$B&79`Cj>]2=%F!<%V%k$N5,DjCM$O(B100 90 80 70 60 50$B$G$"$k!#(B
	$B&79`Cj>]2=%F!<%V%k$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set ptst 100 90 80 70 60 50

(11) set ptaw INTEGER

    	    INTEGER		1$B$+$i(B10$B$^$G$N@0?t(B

    $B5!G=(B:
	$B&79`6qBN2==E$_$r@_Dj$9$k!#(B
	$B&79`6qBN2==E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	$B&79`6qBN2==E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

    $BNc(B:
	 set ptaw 7

(12) set gp INTEGER

	    INTEGER		$B%4!<%kHV9f(B

    $B5!G=(B:
	$B%4!<%kHV9f$r;XDj$9$k$3$H$K$h$j%4!<%k$r@_Dj$9$k!#(B
	$B$3$N%3%^%s%I$r;H$&>l9g$O%4!<%kDj5A%U%!%$%k$rFI$_9~$s$@>l9g$K;HMQ$9$k!#(B

    $BNc(B:
	 set gp 0

6.1.4 $B%3%^%s%I!&%U%!%$%k$N<B9T(B

$B%3%^%s%I$,$+$+$l$?%U%!%$%k(B($B$3$l$r%3%^%s%I!&%U%!%$%k$H8F$V(B)$B$+$i%3%^%s%I$r<h$j=P$7!"(B
$B$=$l$i$r<B9T$9$k!#(B

(1)  run FILENAME

	      FILENAME 		$BFI$_9~$`%U%!%$%k$NL>A0(B

   $B5!G=(B:
        DRS$B$rN)$A$"$2$k$?$S$K!"(Bload$B!"(Bcompile$B!"(Bset$B%3%^%s%I$rF~NO$9$kHQ$o$7$5$rHr(B
	$B$1$k$?$a!"%3%^%s%I!&%U%!%$%k$K5-:\$5$l$?%3%^%s%I$r<B9T$9$k!#(B

	$B%3%^%s%I!&%U%!%$%k$N;EMM$O0J2<$G$"$k!#(B

  		$B!&#1%3%^%s%I$O#19T$K=q$/!#(B

		$B!&;HMQ$G$-$k%3%^%s%I$O!"(Bload$B!"(B compile$B!"(Bset$B!"(Bsolve$B%3%^%s%I$N$_$G(B
		  $B$"$k!#(B

		$B!&F|K\8l$r4^$`>l9g$O%U%!%$%k$r(Beuc$B%3!<%I$G=q$+$+$J$1$l$P$J$i$J$$!#(B

   $B%3%^%s%I!&%U%!%$%k$N5-=RNc(B

	compile type cntrct.type
	compile rule cntrct.rule
	compile pom cntrct.pom
	set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))
	set unit all

  $BNc(B:
	run cntrct.c 

6.1.5 $BCN<1%Y!<%9!"<B9T4D6-$NI=<((B

$BCN<1%Y!<%9$d<B9T4D6-$NI=<($r9T$&!#(B

(1)  show view [VIEW|all]

	    VIEW  		$B2ACM4Q$NL>A0(B

   $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k2ACM4Q!"2ACM4Q$NCf$GDj5A$5$l$F$$$kH=CG4p=`$NM%@h4X78!"(B
	$BA4$F$N2ACM4Q$rI=<($9$k!#(B

	$B2ACM4Q$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$B2ACM4Q$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$k2ACM4Q$rI=<($9$k!#(B

	VIEW		VIEW$B$NCf$GDj5A$5$l$F$$$kH=CG4p=`$NM%@h4X78$rM%@h4X78$NDc(B
			$B$$$b$N$+$iI=<($9$k!#(B

	all		$BA4$F$N2ACM4Q$rI=<($9$k!#(B

   $BNc(B:
	show view
	show view prosecutor0
	show view all

(2) show sp [SP|all]

		SP		$BH=CG4p=`$NL>A0!#(B

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$kH=CG4p=`$NM%@h4X78!"H=CG4p=`$NCf$GDj5A$5$l$F$$$k%f%K%C(B
	$B%H$NM%@h4X78!"A4$F$NH=CG4p=`$rI=<($9$k!#(B

	$BH=CG4p=`$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$BH=CG4p=`$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$kH=CG4p=`$NM%@h4X78$rI=<($9$k!#(B

	SP		SP$B$NCf$GDj5A$5$l$F$$$k%f%K%C%H$NM%@h4X78$rM%@h4X78$NDc$$(B
			$B$b$N$+$iI=<($9$k!#(B

	all		$BA4$F$NH=CG4p=`$rI=<($9$k!#(B

    $BNc(B:
	show sp 
	show sp importance_of_civil_code
	show sp all

(3)  show unit [UNIT|all]

		UNIT		$B%f%K%C%H$NL>A0!#(B

   $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k%f%K%C%H!"%f%K%C%H4V$NJq4^4X78!"A4$F$N%f%K%C%H$rI=<($9$k!#(B

	$B%f%K%C%H$N;XDj$N0c$$$K$h$j!"I=<(FbMF$,0J2<$KJL$l$k!#(B

	$B%f%K%C%H$N;XDj(B	$BI=<(FbMF(B
	===============================================================================
	$B>JN,(B		$B8=:_@_Dj$5$l$F$$$k%f%K%C%H$rI=<($9$k!#(B

	UNIT		UNIT$B$NCf$GDj5A$5$l$F$$$k%f%K%C%H$rI=<($9$k!#(B

	all		$BA4$F$N%f%K%C%H$rI=<($9$k!#(B

   $BNc(B:
	show unit
	show unit civil_code
	show unit all

(4)  show goal

    $B5!G=(B:
	$B>ZL@$9$kK!E*7kO@(B(goal)$B$rI=<($9$k!#(B

(5)  show pl

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(D9$5(B($B%P%$%H(B)$B$rI=<($9$k!#(B

(6)  show pt 

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(%?%$%W$rI=<($9$k!#(B

(7)  show cl

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$kO@G}?dO@;~$NH?O@CJ?t$rI=<($9$k!#(B

(8) show sim 

    $B5!G=(B:
	$BN`;wEY$NogCM$rI=<($9$k!#(B
	$BN`;wEY$NogCM$N5,DjCM$O(B70$B$G$"$k!#(B
	$BN`;wEY$NogCM$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(9) show weight 

    $B5!G=(B:
	trivial$B$J9`$N=E$_$rI=<($9$k!#(B
	trivial$B$J9`$N=E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	trivial$B$J9`$N=E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(10) show ptst 

    $B5!G=(B:
	$B&79`Cj>]2=%F!<%V%k$rI=<($9$k!#(B
	$B&79`Cj>]2=%F!<%V%k$N5,DjCM$O(B100 90 80 70 60 50$B$G$"$k!#(B
	$B&79`Cj>]2=%F!<%V%k$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

(11) show ptaw

    $B5!G=(B:
	$B&79`6qBN2==E$_$rI=<($9$k!#(B
	$B&79`6qBN2==E$_$N5,DjCM$O(B7$B$G$"$k!#(B
	$B&79`6qBN2==E$_$K$D$$$F$O!V(BHELIC-II$B8@8l%^%K%e%"%k!W$r;2>H$N$3$H!#(B

6.1.6 $B%W%m%0%i%`$N=*N;(B

(1)  quit

    $B5!G=(B:
	$B%W%m%0%i%`$N=*N;!#(B

6.1.7 $BO@G}?dO@$N<B9T(B

(1)  solve  [GOAL]

	GOAL		H$B9`!#(B

   $B5!G=(B:
	$B@_Dj$5$l$?>ZL@$9$Y$-7kO@(B(goal)$B$KBP$7$FO@G}?dO@$r3+;O$9$k!#(B
	$B$b$7!"7kO@$KBP$9$k>ZL@$,<:GT$9$k$H!"(B"no"$B$,I=<($5$l$k!#(B
	$B@.8y$7!"7kO@$KJQ?t$r4^$s$G$$$k>l9g$O$=$NJQ?t>pJs$,I=<($5$l$k!#(B
	$B$b$7!"JQ?t$,B+G{$5$l$J$+$C$?>l9g$O$=$NJQ?t$N>pJs$O(B"?"$B$,I=<($5$l$k!#(B
	($BNc$($PJQ?t(BX$B$r;}$D(Bgoal$B$KBP$7$FO@G}?dO@$r$7$?7k2L!"$=$NJQ?t$OB+G{$5$l$J$+$C(B
	$B$?>l9g$O(B"X=?"$B$HI=<($5$l$k(B)
	$BJQ?t$,$J$$>l9g$O(B"yes"$B$,I=<($5$l$k!#(B

	$BK\%3%^%s%I$r<B9T$9$k$K$"$?$C$F7?!"%k!<%k$NFI$_9~$_$H(B
	$B;HMQ$9$k%f%K%C%H$N@_Dj$r$7$J$1$l$P$J$i$J$$!#(B

6.2 $BO@>ZI=<(3+;O%3%^%s%I(B

(1)  ab

   $B5!G=(B:
	$BO@>ZI=<(>uBV$X0\F0$9$k!#(B
	$BK\%3%^%s%I$NA0$K9T$J$o$l$?(Bsolve$B%3%^%s%I$,@.8y$7$F$$$k;~$N$_@.8y$9$k!#(B
	$B%3%^%s%IF~NO8e!"(Bgoal$B$rF3$/O@>Z(B($B=i4|O@>Z(B)$B$N0lMw$,I=<((B($B=i4|O@>Z0lMwI=<((B)$B$5(B
	$B$l$k$N$G!"$=$NFb$I$l$K$D$$$FI=<($r$9$k$N$+$NHV9f(B($B=i4|O@>ZHV9f(B)$B$rF~NO$7$J(B
	$B$1$l$P$J$i$J$$!#(B

	$B0J2<$,=i4|O@>Z0lMwI=<($NNc$G$"$k!#(B

		Goal : canWithdraw(agent=father,objec
		0 :  p >:0!:3<:0


			[ $B=i4|O@>Z0lMwI=<($NNc(B ]

	"0"$B$O=i4|O@>ZHV9f!"(B

	"p"$B$O$3$N=i4|O@>Z$N<oN`!#(Bj$B!"(Bp$B!"(Bd$B$,$"$j!"$=$l$>$l!"(Bjustify plausible$B!"(B
	defeated$B$KBP1~$7$F$$$k!#(B

	">:0!:3<:0"$B$O$3$N=i4|O@>Z$KBP$9$kH?O@$H$N(BTopRule$B4X78$G$"$j!"6/$$(B(>)$B!"L5(B
	$B4X78(B(!)$B!"<e$$(B(<)$B$N?t$rI=$7$F$$$k!#(B

	$B$3$NNc$N>l9g!"H?O@$,(B3$B$D$"$j!"$=$NH?O@$H$N(BTopRule$B4X78$,L54X78$G$"$k$3$H$r(B
	$BI=$7$F$$$k!#(B

6.3 $BO@>ZI=<(%3%^%s%I(B

$BO@>Z$rI=<($9$k$?$a$N%3%^%s%I=89g$G$"$k!#(B

$BO@>ZI=<(%3%^%s%I$N@bL@$rMF0W$K$9$k$?$a$K!"O@>Z4V$N4X78!"O@>ZI=<(7O%3%^%s%I4X78!"(B
$BO@>ZI=<(7A<0$K$D$$$F0J2<$K@bL@$9$k!#(B

[$BO@>Z4V$N4X78(B]
	$BO@>Z4V$N4X78$r?^(B1$B$r;H$C$F@bL@$9$k!#(B

		p0 +------+-----+
			d1+-----+
			d2+-----+

		[ $B?^(B1: $BO@>Z4V$N4X78Nc(B ]

	$BO@>Z(Bp0$B$KBP$7$F(Bd1$B!"(Bd2$B$NH?O@$,$"$C$?$H$9$k!#(B
	$B$3$N$H$-(Bp0$B$H(Bd1$B!"(Bd2$B$O$=$l$>$l?F;R4X78$K$"$j!"(Bp0$B$r?F!"(Bd1$B!"(Bd2$B$r;R$H8F$V!#(B
	$B$^$?!"(Bd1$B!"(Bd2$B$O$=$l$>$l7;Do4X78$K$"$j!"(Bd1$B$r7;!"(Bd2$B$rDo$H8F$V!#(B

[$BO@>ZI=<(%3%^%s%I4X78(B]
	$B?F$+$i;R$r8+$k>l9g$O(Bshow counter$B!"(Bforward$B$r;H$&!#(B
	$B;R$+$i?F$r8+$k>l9g$O(Bbackward$B$r;H$&!#(B
	$B7;$+$iDo$r8+$k>l9g$O(Bnext$B$r;H$&!#(B
	$BDo$+$i7;$r8+$k>l9g$O(Bprevious$B$r;H$&!#(B

	show counter$B%3%^%s%I$H(Bforward$B%3%^%s%I$N0c$$$O0J2<$G$"$k!#(B
	show counter$B%3%^%s%I$O>o$K$I$N;R$r8+$k$+$rA*Br$9$k!#(B
	forward$B%3%^%s%I$O(Bbackward$B%3%^%s%I$r0JA0;H$C$?>l9g!"(B
	backward$B%3%^%s%I$G8+$?O@>Z$d$=$N7;Do$NFb!":G8e$K$_$?O@>Z$rI=<($9$k!#(B

	$B?^(B1$B$G(Bp0->d1->d2->d1->p0->d2$B$N=g$GO@>Z$r8+$F$$$/>l9g!"0J2<$N$h$&$K%3%^%s(B
	$B%IF~NO$r9T$J$&!#(B

	$B%3%^%s%IF~NO(B			$BI=<($5$l$F$$$kO@>Z(B
	========================================================
					p0
	show counter
	0				d1
	next				d2
	previous			d1
	backward			p0
	forward				d2

	show counter$B%3%^%s%I$OJ#?tB8:_$9$k;R$NFb$I$N;R$rI=<($5$;$k$+$rA*$P$J$1$l(B
	$B$P$J$i$J$$!#(B

	$B$=$N$?$a!"%f!<%6$O(Bd1$B$+(Bd2$B$N$I$A$i$+$rA*Br$7$J$1$l$P$J$i$:!"O@>ZHV9f$,!"(Bd1
	$B$,(B0$B!"(Bd2$B$,(B1$B$G$"$C$?$?$a$K%f!<%6$O(B0$B$rA*Br$7$?!#(B

	$B$^$?!"0lHV:G8e$N(Bforward$B$G(Bd2$B$rI=<($7$?$,!"$3$3$G!"(Bshow counter$B%3%^%s%I$G(B1
	$B$rF~NO$7$F$b(Bd2$B$,I=<($5$l$k!#(B

[$BO@>ZI=<(7A<0(B]

	$B0J2<$,O@>Z$NI=<(7A<0$NNc$G$"$k!#(B

	ArgJudge : plausible
	RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
	0  :             r11:canWithdraw(agent=father,objec
	1  :              r1:contract(agent=tarou[age=>{19}
	2  :               act4:buy(agent=tarou[age=>{19}],imp
	3  :               act5:loan(agent=tarou[age=>{19}],ob
	4  :               act6:causality(source=buy(agent=tar
	5  :    !J (2)    r6:-valid(a_object=contract(agent
	6  :               act5:loan(agent=tarou[age=>{19}],ob
	7  :               r1:contract(agent=tarou[age=>{19}
	8  :                act4:buy(agent=tarou[age=>{19}],imp
	9  :                act5:loan(agent=tarou[age=>{19}],ob
	10 :                act6:causality(source=buy(agent=tar
	11 :    !J (1)     r2:needAllow(agent=father,a_objec
	12 :                r1:contract(agent=tarou[age=>{19}
	13 :                 act4:buy(agent=tarou[age=>{19}],imp
	14 :                 act5:loan(agent=tarou[age=>{19}],ob
	15 :                 act6:causality(source=buy(agent=tar
	16 :                act0:isFather(a_object=father,basis
	17 :               act10:-allow(agent=father,object=loa
	18 :               act0:isFather(a_object=father,basis
	19 :              act0:isFather(a_object=father,basis
	UseCommand:  : [end,show,set]

	ArgJudge:
		$BI=<($7$F$$$kO@>Z$N<oN`!#(Bjustify$B!"(Bplausible$B!"(Bdefeated$B$N(B3$B<oN`$,$"(B
		$B$k!#(B

	RuleInfo:
		$BI=<($7$F$$$kO@>Z$rF3$/%k!<%k$NL>A0$HI=<($7$F$$$kO@>Z$N?FO@>Z$H$N(B
		TopRule$B4X78$N=g$GI=<($7$F$$$k!#(BTopRule$B4X78$O(Bstrong$B!"(Bunrelated$B!"(B
		weak$B!"(Bnil$B$N(B4$B<oN`$"$j!"$=$l$>$l6/$$!"L54X78!"<e$$!"(BTopRule$B4X78$,(B
		$B$J$$$3$H$rI=$9!#(B

	0-19:
		$B?dO@LZ$rI=$9!#(B

		11$B$rNc$K$H$j!"$5$i$K>\$7$/@bL@$9$k!#(B

		$BAhE@HV9f(B   $B;R>pJs(B	consequence
		===========================================================================
		11 :       !J (1)       r2:needAllow(agent=father,a_objec

		$BAhE@HV9f$O8=:_I=<($7$F$$$kO@>Z$KJ#?t$"$kAhE@$r<1JL$9$k$?$a$NHV9f(B
		$B$G$"$k!#(B

		show counter$B$G;R$r8+$k>l9g$O$3$NAhE@HV9f$r;XDj$9$k!#(B

		$B;R>pJs$O$3$NAhE@$KBP$9$k;R$K4X$9$k>pJs$r<($7$?$b$N$G$"$k!#(B

		$B:G=i$N(B"!"$B$O$3$NAhE@$KBP$7$FJ#?tB8:_$9$k;R$H$N(BTopRule$B4X78$N>pJs$rI=$7$?$b(B
		$B$N$G$"$k!#(B

		$B<oN`$H$7$F$O(B>$B!"(B!$B!"(B<$B$,$"$j!"(B>$B$OA4$F$N;R$KBP$9$k(BTopRule$B4X78$,6/$$(B
		$BAhE@!"(B!$B$O6/$$$N$HL54X78$J(BTopRule$B4X78$,$"$kAhE@!"(B<$B$O(B1$B$D$G$b<e$$$b(B
		$B$N$,$"$kAhE@$r$"$i$o$9!#(B

            	$B<!$K(B"J"$B$O$3$NAhE@$KBP$7$FJ#?tB8:_$9$k;R$NO@>Z$N<oN`$rI=$7$?$b$N(B
		$B$G$"$k!#(B

		$B<oN`$H$7$F$O(BJ$B!"(BP$B!"(BD$B$,$"$j!"(BJ$B$OA4$F$N;R$NO@>Z$N<oN`$,(Bjustify$B$JAh(B
		$BE@!"(BP$B$O(Bjustify$B$+(Bplausible$B$JAhE@!"(BD$B$O(B1$B$D$G$b(Bdefeated$B$JAhE@$G$"$k!#(B

		$B<!$N(B"(1)"$B$O!";R$N?t$rI=$9!#(B


		consequence$B$O%k!<%k$N<B9TIt(B(then$BIt(B)$B$KAjEv$9$k!#(B
		$B3F9T$N(Bconsequence$B$K6uGr$,$O$$$C$F$$$F(B1$BCJ:9$,$"$k$N$O!"(B1$BCJ:9$"$k(B
		$B$b$N$K$h$j!"CJ:9$,$J$$$b$N$,F3$+$l$?$3$H$r$"$i$o$9!#(B

		"r2"$B$O;HMQ$7$?%k!<%k$NL>A0$rI=$7$F$$$k!#(B

	Can use command:
		$B8=:_;HMQ$G$-$k%3%^%s%I$N0lMw!#(B
		$B%f!<%6$O$3$NCf$K$"$k%3%^%s%I$N$_;H$($k!#(B

(1) backward

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N?F$rI=<($9$k!#(B

(2) forward

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N;R$rI=<($9$k!#(B
	show counter$B%3%^%s%I$H(Bforward$B%3%^%s%I$N0c$$$O0J2<$G$"$k!#(B
	show counter$B%3%^%s%I$O>o$K;R0lMwI=<($+$i;R$rA*Br$9$k!#(B
	forward$B%3%^%s%I$O(Bbackward$B%3%^%s%I$r0JA0;H$C$?>l9g!"(B
	backward$B%3%^%s%I$G8+$?O@>Z$d$=$N7;Do$NFb!":G8e$K$_$?O@>Z$rI=<($9$k!#(B

(3) next

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$NDo$rI=<($9$k!#(B

(4) previous

 $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N7;$rI=<($9$k!#(B

(5) show counter ISSUE

	  ISSUE			$BAhE@HV9f(B

 $B5!G=(B:
	$BAhE@HV9f$,(BISSUE$B$KBP$9$k;R$N0lMw$rI=<($9$k!#(B
        $B;R0lMwI=<($N8e$K$I$N;R$rI=<($9$k$+$NHV9f(B($B;RHV9f(B)$B$rF~NO$7$J$1$l$P$$$1$J$$!#(B

	$B;R0lMwI=<($r0J2<$NNc$r;H$C$F@bL@$9$k!#(B

		 Issue Pos: 11
		 Consequence: needAllow(agent=father,a_objec
		 RuleName: r2
		 Num Of Counter: 1
		0 : !j >:0!:0<:0

			[ $B;R0lMwI=<($NNc(B ]
	
	Issue Pos:
		$B?FO@>Z$NAhE@HV9f!#(B
		$B$3$N;R0lMwI=<($O?FO@>Z$N$I$NAhE@$KBP$9$k$b$N$J$N$+$rI=$9!#(B
	Consequence:
		$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$N<B9TIt!#(B
	RuleName:
		$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$NL>A0!#(B
	Num Of Counter:
		$B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$KBP$9$k;R$N?t!#(B
	0:
		$B;RHV9f!#(B

		$B;R0lMwI=<($N8e$K!"8+$?$$;R$NO@>Z$N;RHV9f$rF~NO$7$J$1$l$P$$$1$J$$!#(B

		"!"$B$O?FO@>Z$NAhE@$H$3$N;RO@>Z$H$N(BTopRule$B4X78$rI=$7$F$$$F!"<oN`$H(B
		$B$7$F$O(B>$B!"(B!$B!"(B<$B$,$"$k!#$=$l$>$l!"?F$KBP$7$F;R$,<e$$!"L54X78!"6/$$(B
		$B$G$"$k!#(B

		"j"$B$O$3$N;R$NO@>Z$N<oN`$rI=$9!#<oN`$H$7$F(Bj$B!"(Bp$B!"(Bd$B$,$"$j!"$=$l$>$l!"(B
		justify$B!"(Bplausible$B!"(Bdefeated$B$KBP1~$7$F$$$k!#(B

		">:0!:0<:0"$B$O$3$N;RO@>Z$KBP$9$k;R$H$N(BTopRule$B4X78$G$"$j!"6/$$(B(>)$B!"(B
		$BL54X78(B(!)$B!"<e$$(B(<)$B$N?t$r<($7$?$b$N$G$"$k!#(B

 $BNc(B:
	show counter 11

(6)  set pl INTEGER

	    INTEGER		$B@0?t(B

    $B5!G=(B:
	H$B9`$rI=<($9$k>l9g!"$=$N(BH$B9`$r2?%P%$%HI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set pl 1000

(7)  set pt <h|e>

	    <h|e>	  	H$B9`$NI=<($N%?%$%W$r;XDj$9$k!#(B
				h$B$O(BH$B9`$=$N$^$^$NI=<(!"(B
				e$B$O(BH$B9`$N(Bexplain$B$G=q$$$?$b$N$rI=<($9$k!#(B

    $B5!G=(B:
	H$B9`$rI=<($9$k;~!"$=$N$^$^I=<($9$k$+!"(BH$B9`$N(Bexplain$B$rI=<($9$k$+$r;XDj$9$k!#(B

    $BNc(B:
	 set pt h

(8)  show pl

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(D9$5(B($B%P%$%H(B)$B$rI=<($9$k!#(B

(9)  show pt 

    $B5!G=(B:
	$B8=:_@_Dj$5$l$F$$$k(BH$B9`$NI=<(%?%$%W$rI=<($9$k!#(B

(10) show explain

    $B5!G=(B:
	$B8=:_I=<($7$F$$$kO@>Z$N@bL@>pJs$rI=<($9$k!#(B

6.4 $BO@>ZI=<(=*N;%3%^%s%I(B

(1) end

 $B5!G=(B:
	$BO@>ZI=<(>uBV$r=*N;$7!"=i4|>uBV$XLa$k!#(B

6.5 tracer$B%3%^%s%I(B

tracer$B$O%k!<%k$N<B9TCf$N>pJs$rI=<($9$k$?$a$N$b$N$G!"0J2<$N5!G=$r;}$C$F$$$k!#(B

(1) $B%j%@%/%7%g%s>pJsI=<((B
	$B%k!<%k$N%j%@%/%7%g%s$K4X$9$k>pJs(B($B%k!<%kL>(B,H$B9`(B)$B$rI=<(!#(B

(2) spy$B$N@_Dj!#(B
	(a) $B;XDj$7$?%k!<%k$K$D$$$F$N$_$N>pJs$rI=<($9$k!#(B

	(b) $B;XDj$7$?%k!<%k$N>uBV$N$H$-$N$_>pJs$rI=<($9$k!#(B
	    $B$3$N>uBV$K$O0J2<$N(B3$B$D$,$"$k!#(B

	    $B!&%k!<%k$,8F$P$l$?;~(B(CALL)
	    $B!&H/2P2DG=$J%k!<%k$,$"$k;~(B(REDU)
	    $B!&H/2P2DG=$J%k!<%k$,$J$$;~(B(FAIL)

$BI=<($9$k>pJs$O0J2<$G$"$k!#(B

<$BI=<(>pJs(B>::= 
	<CALL$B%k!<%k<1JLHV9f(B>  <$B%k!<%k$N>uBV(B>  { <$B%k!<%kL>(B> ":" } <H$B9`(B> 
	{ "<-" <Body>}

	<$B%k!<%kL>(B> ":" $B$,$"$k;~$O!"(BREDU$B$N$H$-$N$_!"(B
	"<-" <Body>$B$,$"$k;~$O!"(BREDU$B$N$H$-$N$_!"(B

<CALL$B%k!<%k<1JLHV9f(B>::=
	<integer>

	CALL$B$5$l$?;~$N<1JLHV9f!#(B

<$B%k!<%k$N>uBV(B>::=
	"CALL"|"REDU"|"FAIL"

<Body>::=
	<H$B9`(B> { <H$B9`(B>}

	$B%j%@%/%7%g%s$5$l$?$H$-$N(Bbody$B$N(BH$B9`>pJs!#(B

$BNc(B:
	1 CALL a (agent=x,object=y)
	1 REDU r1:a(agent=x,object=y) <-
	2      	b(agent=x)
	3	c(agent=y)
	2 CALL b(agent=x)
        2 REDU f1:b(agent=x)
	3 CALL c(agent=y)
        3 REDU f2:c(agent=y)

$B$J$*!"(Btracer$B%3%^%s%I$O=i4|>uBV$N;~$K$N$_;HMQ2DG=$G$"$k!#(B

6.5.1 tf$B4X78(B

tracer$B$N@)8f$K$+$s$9$k=hM}$r$9$k!#(B

(1) set tf <on|off>

    $B5!G=(B:
	tracer$B$r5/F0$9$k$+$I$&$+$r;XDj$9$k!#(B
	"on"$B$N>l9g$O5/F0$7!"(B"off"$B$N>l9g$O5/F0$7$J$$!#(B

    $BNc(B:
	set tf on

(2) show tf 

    $B5!G=(B:
	$B8=:_(Btracer$B$,5/F0>uBV$+$I$&$+Ld$$9g$o$;$k!#(B

    $BNc(B:
	show tf 

6.5.2 sr$B4X78(B

$B%k!<%k$K(Bspy$B$r$+$1$k>l9g$K4X$9$k=hM}$r$9$k!#(B

(1) set sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$r;XDj$9$k!#(B

    $BNc(B:
	set sr act0

(2) add sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$rDI2C$9$k!#(B

    $BNc(B:
	add sr act0

(3) remove sr <RuleName {RuleName}>

	RuleName		$B%k!<%kL>!#(B		

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$r:o=|$9$k!#(B

    $BNc(B:
	remove sr act0

(4) clear sr 

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$rA4$F:o=|$9$k!#(B

    $BNc(B:
	clear sr

(5) show sr 

    $B5!G=(B:
	$B8=:_$N(Bspy$B$N$+$+$C$F$$$k%k!<%k$rI=<($9$k!#(B

    $BNc(B:
	show sr

6.5.3 sg$B4X78(B

$B%k!<%k$N>uBV$K(Bspy$B$r$+$1$k>l9g$K4X$9$k=hM}$r$9$k!#(B

(1) set sg <SG {SG}>

	SG		$B%k!<%k$N>uBV$G$"$j!"(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$r;XDj$9$k!#(B

    $BNc(B:
	set sg call fail

(2) add sg  <SG {SG}>

	SG		$B%k!<%k$N>uBV$G$"$j!"(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$rDI2C$9$k!#(B

    $BNc(B:
	add sg redu

(3) remove sg <SG {SG}>

	SG		$B%k!<%k$N>uBV!#(Bcall,redu,fail$B$N$I$l$+!#(B

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$r:o=|$9$k!#(B

    $BNc(B:
	remove sg call

(4) clear sg 

    $B5!G=(B:
	spy$B$r$+$1$k%k!<%k$N>uBV$rA4$F:o=|$9$k!#(B

    $BNc(B:
	clear sg

(5) show sg 

    $B5!G=(B:
	$B8=:_$N(Bspy$B$N$+$+$C$F$$$k%k!<%k$N>uBV$rI=<($9$k!#(B

    $BNc(B:
	show sg

6.6 $B$=$NB>(B

(1) help [COMMAND|all]

    $B5!G=(B:
	$B%3%^%s%I$K4X$9$k%X%k%W5!G=!#(B
	help$B%3%^%s%I$O$I$N>uBV(B($B=i4|>uBV!"O@>ZI=<(>uBV(B)$B$G$b;HMQ2DG=$G$"$k!#(B

    $BNc(B:
	help


7$B!%<B9TNc(B

DRS$B$N<B9TNc$r0J2<$K<($9!#(B

$B$J$*!"(B"!"$B$O%7%'%k$N%W%m%s%W%H!"(B"%"$B$+$i2~9T$^$G$O$3$N<B9TNc$r@bL@$9$k$?$a$N$b$N$G(B
$B$"$j!"(B"+++"$B$N>e$NJ8;z$O%f!<%6F~NO$rI=$9!#(B

$B$^$?!"%+%l%s%H!&%G%#%l%/%H%j$O(Bdrs/data$B$K$J$C$F$$$k$b$N$H$9$k!#(B

!../bin/drs
 ++++++++++		    	%$B%W%m%0%i%`5/F0(B
DRS>compile type cntrct.type
    ++++++++++++++++++++++++	%$B7?Dj5A%U%!%$%kFI$_9~$_(B
				
ok							        
DRS>compile rule cntrct.rule	
    ++++++++++++++++++++++++	%$B%k!<%kDj5A%U%!%$%kFI$_9~$_(B
				
							       
ok								
DRS>compile pom cntrct.pom
    ++++++++++++++++++++++	%$BH>=g=xDj5A%U%!%$%kFI$_9~$_(B
				
ok							   
DRS>set goal canWithdraw(agent=father, object= contract(agent=tarou[age=>19]))
    ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
				%goal$B$r@_Dj$9$k(B
ok					
DRS>set unit all
    ++++++++++++		%$BA4$F$N%k!<%k$r;HMQ$9$k(B
ok
DRS>set  sp 
    +++++++			%$B2ACM4Q$r@_Dj$7$J$$!#(B
ok				%$B$D$^$j!"%k!<%k4V$NM%@h4X78$O$J$7$H$9$k!#(B
DRS>solve
    +++++			%$BO@G}?dO@3+;O(B
yes
DRS>ab
    ++				%$BO@>ZI=<(3+;O(B
Goal : canWithdraw(agent=father,objec
0 :  p >:0!:3<:0
Please input number > 0
		      +		%$B=i4|O@>ZHV9f(B0$B$rA*Br(B
ArgJudge : plausible
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=father,objec
1  :              r1:contract(agent=tarou[age=>{19}
2  :               act4:buy(agent=tarou[age=>{19}],imp
3  :               act5:loan(agent=tarou[age=>{19}],ob
4  :               act6:causality(source=buy(agent=tar
5  :    !J (2)    r6:-valid(a_object=contract(agent
6  :               act5:loan(agent=tarou[age=>{19}],ob
7  :               r1:contract(agent=tarou[age=>{19}
8  :                act4:buy(agent=tarou[age=>{19}],imp
9  :                act5:loan(agent=tarou[age=>{19}],ob
10 :                act6:causality(source=buy(agent=tar
11 :    !J (1)     r2:needAllow(agent=father,a_objec
12 :                r1:contract(agent=tarou[age=>{19}
13 :                 act4:buy(agent=tarou[age=>{19}],imp
14 :                 act5:loan(agent=tarou[age=>{19}],ob
15 :                 act6:causality(source=buy(agent=tar
16 :                act0:isFather(a_object=father,basis
17 :               act10:-allow(agent=father,object=loa
18 :               act0:isFather(a_object=father,basis
19 :              act0:isFather(a_object=father,basis
UseCommand:  : [end,show,set]
>show counter 11
 +++++++++++++++		%$BAhE@HV9f(B11$B$N;R>pJs$r8+$k(B
 Issue Pos: 11
 Consequence: needAllow(agent=father,a_objec
 RuleName: r2
 Num Of Counter: 1
0 : !j >:0!:0<:0
Please input number > 0
		      +		%$B;RHV9f(B0$B$NO@>Z$r8+$k(B
ArgJudge : justify
Issue : needAllow(agent=father,a_objec
RuleInfo({RuleName,TopRuleRel}) : {r3,unrelated}
0  :             r3:-needAllow(agent=father,a_obje
1  :              act1:give(agent=father,goal=tarou[a
2  :              r4:interest(goal=money[amount=>{5
3  :               act2:buy(agent=tarou[age=>{19}],obj
4  :               act3:win_prize(agent=tarou[age=>{19
5  :              r1:contract(agent=tarou[age=>{19}
6  :               act4:buy(agent=tarou[age=>{19}],imp
7  :               act5:loan(agent=tarou[age=>{19}],ob
8  :               act6:causality(source=buy(agent=tar
9  :              act0:isFather(a_object=father,basis
UseCommand:  : [backward,end,show,set]
>end
 +++				%$BO@>ZI=<(=*N;(B
ok
DRS>quit
    ++++			%$B%W%m%0%i%`=*N;(B


[$BIUO?(B]

<$BMQ8l@bL@(B>

$B%f%K%C%H(B
	$B%k!<%kL>!#$^$?$O!"%k!<%kL>$N=89g!#(B

	$BNc(B: $B%f%K%C%HDj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B
	    (r1,r2,r3,r4,r5,r6$B$O%k!<%kL>(B)

		u1:= {r1,r2,r3}.
		u2:= {r4,r5,r6}.

	r1$B$+$i(Br6$B$^$G%f%K%C%HL>!"$+$D(Bu1,u2$B$b%f%K%C%HL>$G$"$k!#(B
	u1$B$K$O(Br1,r2,r3$B$,Jq4^$5$l$F$$$k!#(B
	u2$B$K$O(Br4,r5,r6$B$,Jq4^$5$l$F$$$k!#(B

$BH=CG4p=`(B
	$B%f%K%C%H4V$NM%@h4X78$rDj5A!#(B

	$BNc(B:$BH=CG4p=`Dj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B

		sp1 := {u2<u1}.
		sp2 := {u1<u2}.

	$BH=CG4p=`L>(Bsp1$B$O%f%K%C%H(Bu1$B$NJ}$,(Bu2$B$h$jM%@h4X78$,9b$$!#(B
	$BH=CG4p=`L>(Bsp2$B$O%f%K%C%H(Bu2$B$NJ}$,(Bu1$B$h$jM%@h4X78$,9b$$!#(B

$B2ACMH=CG(B
	$BH=CG4p=`4V$NM%@h4X78$rDj5A!#(B

	$BNc(B:$B2ACM4QDj5A%U%!%$%k$K0J2<$N$h$&$K=q$+$l$F$$$?>l9g(B

		view1 := {sp2<sp1}.
		view2 := {sp1<sp2}.

	$B2ACMH=CGL>(Bview1$B$O(Bsp1$B$NJ}$,(Bsp2$B$h$jM%@h4X78$,9b$$!#(B
	$B2ACMH=CGL>(Bview2$B$O(Bsp2$B$NJ}$,(Bsp1$B$h$jM%@h4X78$,9b$$!#(B

TopRule$B4X78(B
	$BO@>ZCf$NAhE@$rF3$/%k!<%k$H$=$NH?O@$rF3$/%k!<%k$H$NM%@h4X78(B

	$BNc(B:	
			r1
		p0+-----*------+
			r2
		      d0+------+

	$BO@>Z(Bp0$B$,$"$j!"$=$NH?O@$H$7$F(Bd0$B$,$"$k!#(B
	r2$B$O(Bd0$B$rF3$/%k!<%kL>!#(Bp0$B$NAhE@$rF3$/%k!<%kL>(Br1$B$,$"$k!#(B

	$B$3$N>l9g$N(BTopRule$B4X78$O!"(Br1$B$H(Br2$B$H$N4X78$r$$$$!"(B
	r1$B$O(Br2$B$KBP$7$F6/$$(B(r1>r2),$BL54X78(B(r1!r2),$B<e$$(B(r1<r2)$B$,$"$k!#(B

$B2>@b(B
	$B;v<B$d2>@b$r%k!<%k$KE,MQ$7$F$b$H$^$C$?$b$N!#(B

$BO@>Z(B
	$B7kO@$r@bL@$9$k$?$a$N;v<B$d2>@b$N=89g!#(B

	$BNc(B:
		a,b,c$B$O;v<B!#(Bx,y$B$O2>@b!#(B
		$B%k!<%k$H$7$F(Br1,r2$B$,$"$k!#(B

		r1:x <- a,b,c.
		r2:y <- x.

		$BO@>Z(B[y,x,a,b,c]$B$O7kO@(By$B$r@bL@$9$k$b$N$G$"$j!"(By,x$B$O2>@b$G$"$k!#(B
$BAhE@(B
	$B$"$kO@>Z$NFb$N2>@b$GH?O@$r;}$D2>@b!#(B

	$BNc(B:
		a,b,c,d$B$O;v<B!#(Bx,y,-x$B$O2>@b!#(B
		$B%k!<%k$H$7$F(Br1,r2,r3$B$,$"$k!#(B

		r1:x <- a,b,c.
		r2:y <- x.
		r3:-x<- d.

		$BO@>Z(B[y,x,a,b,c]$B$NAhE@$H$7$F(Bx$B$,$"$j!"$=$NAhE@$KBP$7$FH?O@(B[-x,d]
		$B$,$"$k!#(B
$BH?O@(B
	$B$"$kO@>Z$rH]Dj$9$kO@>Z!#(B

	$BNc(B:
		$B>e5-$NNc$N>l9g!"O@>Z(B[y,x,a,b,c]$B$KBP$7$FH?O@(B[-x,d]$B$,$"$k!#(B
$BH?O@CJ?t(B
	$BO@G}?dO@<B9T;~$NH?O@$N@hFI$_$N?t!#(B

	$BNc(B:					$BH?O@CJ?t(B

		p0+-------------------+		0
		      d0+-------------+		1
			  p1+---------+		2
			      d1+-----+		3

	$BO@>Z(Bp0$B$KBP$9$kH?O@(Bd0$B$,$"$j!"(Bd0$B$KBP$9$kH?O@(Bp1$B$,$"$j(Bp1$B$KBP$9$kH?O@(Bd1$B$,$"$k!#(B

	p0$B$NH?O@CJ?t$,(B0,1,2,3$B$G$"$C$?>l9g!"$=$l$>$l(Bp0,d0,p1,d1$B$^$G$NH?O@$r5a$a$k(B
	$B$3$H$H$J$k!#(B


