#   USERMAN-J for RBRS v1.0
#   Copyright (C) 1998, $B?7ED(B $B9n8J(B( nitta@ntt.dis.titech.ac.jp )
#                       $B2CF#(B $B>fCR(B( tkatoh@ntt.dis.titech.ac.jp )

$BK\%=%U%H%&%'%"$OK!E*?dO@%7%9%F%`$G$"$j!$<g$K3F%f!<%6!<$,M?$($?%4!<%k$N(B
$B>ZL@LZ$G$"$kO@>Z$r@8@.$7!$$=$NO@>Z$K4XO"$9$kH?O@5Z$SM%@h4X78$N?dO@$r9T(B
$B$&;v$H$=$N7k2L$r;k3PE*$KI=8=$9$k%$%s%?!<%U%'!<%9$rIUB0$7$?%7%9%F%`$G$9!%(B
$BK\%=%U%H%&%'%"$O(B Sicstus Prolog ver.3 $B>e$GF0:n$9$k$h$&:n@.$5$l$?$b$N$G(B
$B$"$j!$(BSicstus Prolog ver.3 $B5Z$S(B Tcl7.6/Tk4.2 $B$,F0:n$9$k;v$,I,MW$H$J$j(B
$B$^$9!%(B

1. $B%=%U%H%&%'%"$N35MW(B

$BK\%=%U%H%&%'%"$OK!E*?dO@%7%9%F%`$G$9!%$3$N%=%U%H$G9T$($k$3$H$r@bL@$7$^(B
$B$9!%(B

1.1	$BO@>Z$N@8@.(B
	$BO@>Z$H$O0l<o$N>ZL@LZ$N$3$H$G$9!%Nc$($P(B
		r1::p(X) <- q(X),r(X),not -p(X).
		r2::q(X) <- s(X),not -q(X).
		r3::r(a) <- not -r(a).
		r4::s(a) <- not -s(a).
	$B$H$$$&%k!<%k$,$"$C$?>l9g!$(Bp(X) $B$r%4!<%k$H$7$?O@>Z$H$O(B
		A={ r1::p(a) <- q(a),r(a),not -p(a).
			r2::q(a) <- s(a),not -q(a).
			r3::r(a) <- not -r(a).
			r4::s(a) <- not -s(a). }
	$B$H$J$j$^$9!%K!E*$JCN<1$H;v7o$N;v<B$rF~NO$7!$F3$-$?$$%4!<%k$r>ZL@$9(B
	$B$kO@>Z$r@8@.$9$k$?$a$N%7%9%F%`$G$9!%K\%7%9%F%`$G$O2r$NA42rC5:w$r9T(B
	$B$&$?$a!$%4!<%k$r>ZL@$9$kO@>Z$,J#?t$"$l$P$=$l$rA4$F@8@.!$I=<($7$^$9!%(B
1.2	$BH?O@$N@8@.(B
	$BH?O@$H$O$"$kO@>Z$N(B NAF( Nagation As Failure )$B$NItJ,$rH]Dj$9$k%4!<(B
	$B%k$r;}$C$?O@>Z$G$9!%Nc$($P(B
		r1::p(X) <- q(X),r(X),not -p(X).
		r2::q(X) <- not s(X),not -q(X).
		r3::r(a) <- not -r(a).
		r4:: s(X) <- t(X),not -s(X).
		r5:: t(a) <- not -t(a).
	$B$H$$$&%k!<%k$,M?$($i$l$?$H$-!$%4!<%k(B p(X) $B$r;}$DO@>Z(B
		A={ r1::p(a) <- q(a),r(a),not -p(a).
			r2::q(a) <- not s(a),not -q(a).
			r3::r(a) <- not -r(a). }
	$B$KBP$7$F$=$NH?O@$OO@>Z(B A $B$N(B not s(a) $B$rH]Dj$7$?O@>Z(B
		B= {r4:: s(a) <- t(a),not -s(a).
			r5:: t(a) <- not -t(a).}
	$B$G$9!%$3$N(B not s(a) $B$rH]Dj$7$?O@>Z(B B $B$OO@>Z(B A $B$r(B g_attack $B$9$k$H8F(B
	$B$S$^$9!%K\%7%9%F%`$G$O$3$N$h$&$JH?O@$b%f!<%6!<$,%4!<%k$rF~NO$7$?:](B
	$BA42rC5:w$r$7!$4XO"$9$kA4$F$NH?O@!&:FH?O@$r@8@.$7$^$9!%(B
1.3 $BO@>Z$NHf3S(B
	$BO@>Z$HH?O@$r@8@.$7$?8e!$$=$NO@>Z4V$NM%@h4X78$N?dO@$r9T$$$^$9!%$3$l(B
	$B$O(B g_attack $B$N4X78$K4p$E$$$F?dO@$5$l$^$9!%$"$kO@>Z$,$"$kO@>Z$r0lJ}(B
	$BE*$K(B g_attack $B$7$F$$$k>l9g$OM%@h4X78$,7hDj$7$F$$$k$N$G$9$,!$(B2 $B$D$N(B
	$BO@>Z$,$*8_$$$K(B g_attack $B$r$7$F$$$k>l9g$OM%@h4X78$O7hDj$7$J$$$?$a!$(B
	$BM%@h%k!<%k$rMQ$$$FM%@h4X78$N?dO@$r9T$$$^$9!%Nc$($P(B
		A={ r1::p(a) <- r(a),not -p(a).
			r2::r(a) <- not -r(a).}
		B={ r3::-p(a)<- s(a),not p(a).
			r4::s(a) <- not -s(a).}
	$B$H$$$&(B 2 $B$D$NO@>Z$HM%@h%k!<%k(B
		p1:: r1 > r2 <- not r1 < r2 .
	$B$,$"$C$?>l9g!$O@>Z(B A $B$HO@>Z(B B $B$N4X78$O(B p1 $B$h$j(B A>B $B$H?dO@$5$l$^$9!%(B
1.4	$BO@>Z$N4X78I=<((B
	1.1 $B$H(B 1.2 $B$G@8@.$7$?O@>Z$rI=<($7$^$9!%K\%7%9%F%`$G$O%4!<%k$rF~NO(B
	$B$5$;!$$=$N%4!<%k$KBP$9$kO@>Z$rI=<($7$^$9!%$=$7$F$=$NO@>Z$r%k!<%H$H(B
	$B$7$?LZ9=B$$GH?O@!$:FH?O@Ey$rI=<($7$^$9!%(B
	exa.)

      ------     <    --------     <    --------
     | p(a) |  $B"+"*(B  | - p(a) |  $B"+"*(B  |  s(a)  |    $B!E!E!E!E(B
      ------          --------          --------
      $BO@>Z(B A       $BO@>Z(B A $B$NH?O@(B B   $BO@>Z(B B $B$NH?O@(B C 

    $BO@>Z4V$K$"$kLp0u$GO@>Z$N4X78$r<($7$^$9!%O@>Z4V$NLp0u$O$"$kO@>Z$,$"(B
	$B$kO@>Z$KBP$7$F(B g_attack $B$r$7$F$$$k$3$H$r<($7$F$$$^$9!%$^$?!$Lp0u$N(B
	$B>e$K$"$k(B >,<,<> $B$N5-9f$O$=$NO@>Z4V$NM%@h4X78$N?dO@$r9T$C$?7k2L$r<((B
	$B$7$F$$$^$9!%(B
1.5 $BO@>Z4V$NM%@h4X78$N?dO@$N7k2LI=<((B
	$BM%@h4X78$N?dO@$r9T$C$F=PMh$?O@>Z$rI=<($7$^$9!%Nc$($PO@>Z(B A $B$HO@>Z(B 
	B $B$N4V$NM%@h4X78$N?dO@$N7k2L$rI=<($9$k>l9g!$Cf1{$r6-$K$7$F:8B&$H(B
	$B1&B&$K$=$l$>$l(B A>B , A<B $B$NO@>Z$r:n$j!$I=<($7$^$9!%$^$?!$$=$NO@>Z(B
	$B$KH?O@$,$"$k>l9g$O$=$l$i$NO@>Z$r%k!<%H$H$7$FLZ9=B$$GI=<($7$^$9!%(B
	$B$=$N<jK!$O(B 1.4 $B$HF1$8$G$9!%(B
1.6 $BO@>Z$N%i%Y%kI=<((B
	$BM%@h4X78$N?dO@$K=>$C$F:G=*E*$K3FO@>Z$K(B justified,defeated,
	defensible $B$N(B 3 $B<oN`$N%i%Y%k$rIU$1$^$9!%$3$l$i$N7k2L$r3FO@>Z$K?'$E(B
	$B$1$7$FI=<($7$^$9!%(Bjustified $B$O2+?'!$(Bdefeated $B$O@V!$(Bdefensible $B$O3%(B
	$B?'$JO@>Z$GI=<($7$^$9!%(B
1.7 $BO@>Z$NFbIt9=B$$NI=<((B
	$B@8@.$7$?O@>Z$NFbIt9=B$$rI=<($7$^$9!%%7%9%F%`$G$O%k!<%k$r9=B$E*$KI=(B
	$B8=$7$^$9!%Nc$($P(B
		r1:: p(X) <- q(X),r(X),not -p(X).
	$B$H$$$&%k!<%k$O(B

        -------------------------------
       | r1::p(X)<-q(X),r(X),not -p(X) |
        -------------------------------
                     $B!C(B
      --------       $B"-(B      -----------
     |  p(X)  | $B"+(B--------- |    q(X)   |
      --------       $B",(B      -----------
                     $B!C(B      -----------
                     $B!C(B---- |    r(X)   |
                     $B!C(B      -----------
                     $B!C(B      -----------
                      ----- | not -p(X) |
                             -----------

	$B$HI=8=$5$l$^$9!%$3$N%k!<%k$NI=8=$rMQ$$$FO@>Z$KMQ$$$i$l$F$$$kA4$F$N(B
	$B%k!<%k$r$3$N9=B$$rMQ$$$FI=8=$7$^$9!%$^$?$3$N$H$-!$2>@b$H$J$k(B not 
	$B$N$D$$$?<e%j%F%i%k$O@D?'$GI=8=$5$l$^$9!%(B

	$B$=$NB>>\:Y$K$D$$$F$O0QBw8&5f@.2LJs9p=q$r;2>H2<$5$$!%(B

2. $B;HMQJ}K!(B

(1)	$B;O$a$K(B sicstus $B$rN)$A>e$2$F<!$NL?Na$,%(%i!<L5$/N)$A>e$,$k;v$r3NG'(B
	$B$7$F2<$5$$!%(B
		?- use_module( library( tcltk ) ).
	$B$3$l$O(B sicstus $B>e$+$i(B Tcl/Tk $B%b%8%e!<%k$r;HMQ$9$k0Y$N%3%^%s%I$G$"(B
	$B$j!$$3$l$,$&$^$/F0:n$7$J$$$HK\%=%U%H%&%'%"$O<B9T$G$-$^$;$s!%%(%i!<(B
	$B$,=P$?>l9g$O(B sicstus $B$r(B Tcl/Tk $B$,;HMQ$G$-$k$h$&$K%3%s%Q%$%k$7D>$9(B
	$BI,MW$,$"$j$^$9!%(B

(2)	$B%3%^%s%I%i%$%s$+$i(B rbrs $B$r<B9T$7%7%9%F%`$r5/F0$7$^$9!%(B*.ql $B%U%!%$(B
	$B%k$,FI$_9~$^$l!$(Bsicstus $B%3%^%s%I%W%m%s%W%H$,N)$A>e$,$j$^$9!%%7%9%F(B
	$B%`$N5/F0J}K!$O<!$N(B 2 $B<oN`$N%3%^%s%I$+$i5/F0$7$^$9!%(B
		?- ruleBaseSystem.
				$B!E!E(B $B%G%bMQ$N<-=q%U%!%$%k!$%k!<%k%U%!%$%k$rFI$_9~$_<B(B
					 $B9T$7$^$9!%(B
		?- rbs.
				$B!E!E(B $B>e$N>JN,%P!<%8%g%s$G$9!%(B
		?- ruleBaseSystem( Dic_File,RuleFile ).
				$B!E!E(B $B%f!<%6!<Dj5A$N<-=q!$%k!<%k%U%!%$%k$rFI$_9~$_<B9T(B
					 $B$7$^$9!%(B
		?- rbs( Dic_File,RuleFile ).
				$B!E!E(B $B>e$N>JN,%P!<%8%g%s$G$9!%(B

(3)	$BN)$A>e$,$C$?%&%#%s%I%&$NCf1{>eIt$K$"$k%(%s%H%j!<$K%4!<%k$rF~NO$7!$(B
	$B%j%?!<%s$rBG$D!$$b$7$/$O$=$N1&$K$"$k(B run $B%\%?%s$r2!$7$F2<$5$$!%O@(B
	$B>Z$,$=$N2<$N2hLL$K%\%?%s$GI=<($5$l$^$9!%(B

(4)	$B%4!<%k$rF~NO$7O@>Z$,@8@.$5$l$?8e$O<!$NA`:n$,2DG=$G$9!%(B
	(a) $BO@>Z$N9=B$I=<((B
		$BO@>Z$NFbIt9=B$$rI=<($9$k%&%#%s%I%&$r3+$-$^$9!%8+$?$$O@>Z$N%\%?(B
		$B%s$r%/%j%C%/$9$k$H$=$NO@>Z$NFbIt9=B$$rI=<($9$k%&%#%s%I%&$,3+$-(B
		$B$^$9!%(B
	(b)	$BO@>Z$N%F%-%9%HI=<((B
		$B2hLL:8>e$K$"$k(B Show Arg $B$H=q$+$l$?%\%?%s$r2!$7$F2<$5$$!%$I$NO@(B
		$B>Z$r8+$k$N$+O@>ZHV9f$rJ9$+$l$k$N$GHV9f$rF~NO$9$k$H$=$NO@>Z$,%F(B
		$B%-%9%HI=<($5$l$^$9!%(B
	(c)	$BO@>Z4V$NM%@h4X78$N?dO@$N7k2LI=<((B
		$BO@>Z4V$NM%@h4X78$K4X$9$k?dO@$r9T$C$?7k2L$rI=<($7$^$9!%(B
		$B2hLL$NO@>Z4V$NLp0u$N4V$K$"$k(B < , > , <> $B$N%^!<%/$N%\%?%s$r2!$9(B
		$B$H!$$=$NO@>Z4V$KM%@h4X78$N?dO@$,9T$o$l$?$H$-$N$_$=$N?dO@$N7k2L(B
		$B$rJL$N%&%#%s%I%&$KI=<($7$^$9!%$=$N8e$NA`:n$O%a%$%s%&%#%s%I%&$N(B
		$BA`:n$HA4$/F10l$G$9!%(B
	(d)	$BO@>Z$N%/%j%"(B
		$B$=$NA0$KF~NO$7$?%4!<%k$H$=$l$K4X$o$kO@>Z$rA4$F%/%j%"$7!$=i4|>u(B
		$BBV$KLa$7$^$9!%$3$l$O:8>e$K$"$k(B Clear $B$N%\%?%s$r2!$7$F2<$5$$!%(B
	(e) $B=*N;(B
		$B%&%#%s%I%&$rJD$8$^$9!%(BExit $B$N%\%?%s$r2!$7$F2<$5$$!%(B

* $B%4!<%kF~NO$G$O(B Prolog $B$N=hM}$K$*$$$F%(%i!<$N$G$k%4!<%k$,F~NO$5$l$?>l(B
  $B9g@5$7$/F0:n$7$^$;$s!%(B '.' $BEy$OF~NO$7$J$$$h$&$K$7$F2<$5$$!%(B
* $B3F=R8l$,D9$$$H%\%?%s$KA4$F$NF~$j@Z$i$:8+$K$/$$>uBV$H$J$j$^$9!%$=$N:](B
  $B$O8+$?$$=R8l$N%\%?%s$r%/%j%C%/$9$k$H%F%-%9%H%G!<%?$GI=<($9$k$h$&$K$J$C(B
  $B$F$$$^$9!%(B
* $BK\%7%9%F%`$G$O(B X Window $B$G2hLL2rA|EY$,(B 1024x768 $B0J>e$N2hLL$K$*$1$kI=(B
  $B<($N%+%9%?%^%$%:$r9T$C$F$$$^$9!%$=$N$?$a!$(BWindows $B$dB>$N2hLL$G$OG[CV(B
  $B$,$:$l$k$3$H$,$"$j$^$9!%8fN;>52<$5$$!%(B

3. $B<-=q%U%!%$%k!$%k!<%k%U%!%$%k$N7A<0(B

3.1 $B<-=q%U%!%$%k(B
	$B<-=q%U%!%$%k$O9`!&=R8l$N3,AX4X78$r5-=R$9$k$N$KMQ$$$^$9!%$3$N3,AX4X(B
	$B78$O9`!&=R8l$N(B unification $B$N:]$KMQ$$$^$9!%3,AX4X78$N5-=R$OITEy9f(B
	>,< $B$rMQ$$$F5-=R$7$^$9!%Nc$($P(B penguin < bird $B$N$h$&$K=q$-$^$9!%3,(B
	$BAX4X78$r=q$/>l9g!$I,$:$"$k9`!&=R8l$N3,AX4X78$N>e2<$r5-=R$7$F2<$5$$!%(B
	$BNc$($P!$(Bpenguin < bird $B$H5-=R$7$?$$>l9g$O(B penguin < bird $B$N3,AX4X(B
	$B78$K2C$(!$(Bbird $B$N>e0L35G0$H(B penguin $B$N2<0L35G0$rI,$:5-=R$7$F2<$5$$!%(B
	$B2>$K$3$l0J30$K>e0L!&2<0L35G0$,$J$$>l9g$O(B bird $B$N>e0L35G0$H$7$F(B 
	'Top' $B$r!$(Bpenguin $B$N2<0L35G0$H$7$F(B 'Bottom' $B$r2C$($F5-=R$7$F2<$5$$!%(B
	$B$?$@$7!$$3$N<-=q$K%k!<%kCfA4$F$N9`!&=R8l$r5-=R$9$kI,MW$O$"$j$^$;$s!%(B
	$B5-=R$,$J$$9`!&=R8l$KBP$7$F$O%3%s%Q%$%k;~$K<+F0E*$K(B 'Top' $B$H(B 'Bottom'
	$B$N4V$K$=$N9`!&=R8l$,A^F~$5$l$^$9!%Nc$H$7$F%G%bMQ$N<-=q%U%!%$%k(B 
	debate_Dic $B$r;29M$K$7$F2<$5$$!%(B
3.2 $B%k!<%k%U%!%$%k(B
	$B%k!<%k%U%!%$%k$O%k!<%k$r5-=R$9$k%U%!%$%k$G$9!%%k!<%k$N7A<0$O<!@a$N(B
	$B9=J8$NItJ,$r;2>H$7$F2<$5$$!%$3$N%k!<%k%U%!%$%k$r5-=R$9$k$H$-$K$O<!(B
	$B$N;v$KCm0U$7$F5-=R$7$F2<$5$$!%(B
	(1) $BJ8Kv$K$OI,$:%T%j%*%I$r$D$1$k!%(B
	(2)	$BK\%7%9%F%`$G$O%k!<%k$O%G%U%)%k%H%k!<%k$G5-=R$5$l$k;v$G0UL#O@E*(B
		$B$K@09g@-$,<h$l$^$9!%$=$N$?$a!$%G%U%)%k%H%k!<%k$r<($9=R8l(B <= $B$r(B
		$BMQ$$$:0lHLE*$J%k!<%k$r5-=R$9$k(B <- $B$rMQ$$$k:]$OK>$`$h$&$J5sF0$r(B
		$B<($5$J$$2DG=@-$,$"$j$^$9!%$=$NE@$KCm0U$7$F%k!<%k$r5-=R$7$F2<$5(B
		$B$$!%(B
	(3) $B%U%!%/%H$r%G%U%)%k%H%k!<%k$H$7$F=q$/>l9g$O<!$N$h$&$J7A<0$K$J$j(B
		$B$^$9!%(B
			RuleID::Head <= .
		<= . $B0J2<$,H4$1$k>l9g$,B?$$$?$a==J,Cm0U$7$F2<$5$$!%$^$?!$(B<= $B$H(B
		. $B$N4V$K$OI,$:%9%Z!<%9$,I,MW$G$9!%Cm0U$7$F2<$5$$!%(B

4. $B9=J8(B

	$B35G0<-=q(B
    	<$B35G03,AX(B>::=<$BDj?t(B> < <$BDj?t(B>. |  <$BDj?t(B> > <$BDj?t(B>.
   		<$B=R8l3,AX(B>::=<$B=R8l(B> < <$B=R8l(B>. |  <$B=R8l(B> > <$B=R8l(B>.

	$B%k!<%k(B
		<$B%k!<%k(B>::=<$B%k!<%k(BID>::<$B%X%C%I(B> <= <$B%\%G%#(B>.
		<$B%k!<%k(BID>::=<$B%k!<%kL>(B> | <$B%k!<%kL>(B>(<$BJQ?t%j%9%H(B>)
		<$BJQ?t%j%9%H(B>::=<$BJQ?t(B> | <$BJQ?t(B>,<$BJQ?t%j%9%H(B>
		<$B%X%C%I(B>::=<$B%j%F%i%k(B> | <$B%k!<%k(BID> > <$B%k!<%k(BID> |  <$B%k!<%k(BID> < <$B%k!<%k(BID>
		<$B%j%F%i%k(B>::=<$B@5%j%F%i%k(B> | <$BIi%j%F%i%k(B>
		<$BIi%j%F%i%k(B>::= -<$B@5%j%F%i%k(B>
		<$B@5%j%F%i%k(B>::=<$B=R8l(B> | <$B=R8l(B>(<$B0z?t%j%9%H(B>)
		<$B0z?t%j%9%H(B>::=<$B0z?t(B> | <$B0z?t(B>,<$B0z?t%j%9%H(B>
		<$B0z?t(B>::=<$B%i%Y%k(B>=<$B&79`(B>
		<$B%i%Y%k(B>::=<$BDj?t(B>
		<$B&79`(B>::=<$BDj?t(B> | <$BJQ?t(B> | <$BJQ?t(B>/<$BJ#9g&79`(B> | <$BJ#9g&79`(B> 
		<$BJ#9g&79`(B>::= <$B%k!<%H(B>(<$B0z?t%j%9%H(B>)
		<$B%k!<%H(B>::=<$B4X?t(B>
		<$B4X?t(B>::=<$BDj?t(B>
		<$B%\%G%#(B>::= < > | <$B>r7o%j%9%H(B>
		<$B>r7o%j%9%H(B>::=<$B>r7o(B> | <$B>r7o(B>,<$B>r7o%j%9%H(B>
		<$B>r7o(B>::=<$B%j%F%i%k(B> | not <$B%j%F%i%k(B>

5. $B%G%b$N5/F0(B

$B:#2s!$>/G/K!$NE,MQG/Np0z$-2<$2$K4X$9$k%G%#%Y!<%H$rBj:`$H$7$F$=$l$i$r%k(B
$B!<%k$KMn$7K\%7%9%F%`$G<B9T$7$?%G%b%G!<%?$rIUB0$7$F$"$j$^$9!%5/F0$N%A%'%C(B
$B%/$K$4MxMQ2<$5$$!%(B
$B>0!$%k!<%k$N>\$7$$FbMF$O(B debate_Rule $B$H(B debate_Rule_JP.txt $B$r8+$F2<$5$$!%(B

(1)	debate_Dic $B5Z$S(B debate_Rule $B%U%!%$%k$N$"$k%G%#%l%/%H%j$K0\F0$7$F2<(B
	$B$5$$!%(B
(2)	rbrs $B$r5/F0$7$^$9!%(B
(3) SICStus $B$,5/F0$7$?$i(B ?- rbs. $B$HF~NO$7$F2<$5$$!%(B
(4)	$B%4!<%k$H$7$F2<$N=R8l$rF~NO$7$^$9!%(B
		should_change(obj=juvenile_act,age=12)
	$B$3$N%4!<%k$O!X>/G/K!$NE,MQG/Np$r(B 12 $B:M0J2<$K0z$-2<$2$k$Y$-$G$"$k!Y(B
	$B$H$$$&0UL#$G$9!%(B
(5)	$BO@>Z$,@8@.$5$l$=$N4X78$,?^<($5$l$^$9!%(B

6. $B$=$NB>(B

$BK\%7%9%F%`$N>\:Y$K$D$$$F$O0QBw8&5f@.2LJs9p=q$r;2>H$7$F2<$5$$!%$3$NJs9p=q$O(B
ftp://ftp.icot.or.jp/ifs/contract-research/97_report/DH9-01/saishuu01.tar.gz
$B$K$"$j$^$9(B.


