============================================================================
  Copyright (C) 1997  Makoto Haraguchi, Tokuyasu Kakuta, Yoshiaki Okubo

        $B%4!<%k$K0MB8$7$?Cj>]2=$rMQ$$$?K!E*N`?d%7%9%F%`(B : GDA-LES

                         $B%f!<%6!<%:%^%K%e%"%k(B

                         $B:G=*99?7(B 1997.5.22
============================================================================

1. $B%7%9%F%`$N35MW(B

  $BK\%7%9%F%`$O!V%4!<%k$K0MB8$7$?Cj>]2=(B(GDA)$B$rMQ$$$?K!E*N`?d!W$r9T$&%7%9%F(B
  $B%`$G$"$j!"(BGDA-LES$B%7%9%F%`$H8F$V!#>\$7$/$O!"(BJIPDEC$B$NJ?@.(B8$BG/EY!JJ?@.#9G/(B
  $B#47n!K$N(BIFS$B0QBw8&5f:G=*@.2LJs9p=q$r;2>H$N$3$H!#(B

  $BK!E*?dO@$K$*$$$F!"K!E*%k!<%k(B($B>rJ8(B)$B$rE,MQ$9$k$H$-!"=jM?$N35G03,AX>e$NJq(B
  $B@]4X78$G$OE,MQ$G$-$J$$$,!"8=<B$NK!N'2H$OE,MQ2DG=$H9M$($k>l9g$,$"$k!#$3(B
  $B$N$h$&$J$H$-!"K!E*%k!<%k$NN`?dE,MQ$r9T$$!"K!E*N`?d$r9T$&$N$,K\%7%9%F%`(B
  $B$G$"$k!#$7$+$7$J$,$i!"N`?d$H$ON`;w@-$K4p$E$$$F?dO@$r9T$&$b$N$G$"$k$?$a!"(B
  $BN`;w@-$N<hF@$,I,?\$G$"$k!#K\8&5f$N<g$J2]Bj$O!"K!E*N`?d$=$N$b$N$h$j$b!"(B
  $B$`$7$m!"$=$NN`;w@-$r<+F0E*$K8!=P$9$kOHAH$_$rM?$(!"K\%7%9%F%`$H$7$FDs6!(B
  $B$9$k$3$H$G$"$k!#=>Mh$N%7%9%F%`$G$O!"K!E*N`?d$K;HMQ$5$l$kN`;w@-$O!"=jM?(B
  $B$N35G03,AX$+$iCj=P$7$F$$$?!#$7$+$7$J$,$i!"K!N'2H$NK!2r<a$G$O!"0lHL$K!"(B
    $B!V6qBNE*>u67$r9MN8$7$F!"K!N'$NL\E*$K1~$8$FK!N'$rE,MQ$9$Y$-$G$"$k!W(B
  $B$H9M$($i$l$F$$$k$?$a!"=>Mh$N%7%9%F%`$N$h$&$K=jM?$N3,AX$+$iN`;w@-$rCj=P(B
  $B$9$kJ}K!$G$O!"$3$N$h$&$JK!N'$NL\E*$r9MN8$7$?!"J8L.$K1~$8$?K!2r<a$K4p$E(B
  $B$/N`;w@-$N8!=P$O$G$-$J$+$C$?!#$=$3$G!"K\8&5f$G$OJ8L.$K1~$8$?N`;w@-8!=P(B
  $B$NOHAH$_$rM?$(!"K\%7%9%F%`$H$7$FDs6!$9$k!#(B

  $B>e5-$N$h$&$KK\%7%9%F%`$NCf?42]Bj$O!"K!N'$NL\E*$NJ8L.$K1~$8$?N`;w@-8!=P(B
  $B$G$"$j!"$3$N8!=PIt$rK!E*N`?d%7%9%F%`$H7k9g$7$F;HMQ$5$l$k$3$H$rA[Dj$7$F(B
  $B$$$k!#$7$+$7$J$,$i!"K!E*N`?d%7%9%F%`$NA4BN$N%$%a!<%8$rK\%7%9%F%`$N%(%s(B
  $B%I%f!<%6$K$bGD0.$7$d$9$/$J$k$h$&!"K\G/EYDs6!$N%7%9%F%`$K$O!"K!E*N`?d%7(B
  $B%9%F%`$b4^$a$?!#$?$@$7!"N`?dIt$O$"$/$^$G$bIUO?$G$"$j!"$3$3$K3+H/$NCf?4(B
  $B$rCV$$$F$$$J$$$?$a!"5!G=E*$K$OITK~$,;D$k$+$bCN$l$J$$$,!"8fMF<OD:$-$?$$!#(B

  $BN`;w@-8!=PIt$KMQ$$$?4pK\E*OHAH$_$O!"Bg5WJ]!&868}$K$h$k!V%4!<%k$K0MB8$7(B
  $B$?Cj>]2=!W(B(GDA:Goal-Dependent Abstraction)$B$G$"$k!#$^$?!"A0Ds$H$7$F$$$k(B
  $BCN<1I=8=$O!"=g=x%=!<%HM}O@$r3HD%$7$?$b$N$H$J$C$F$$$k!#(B


  [$BMxMQ<T$N%$%a!<%8(B]

    $BK\%7%9%F%`$OK!E*N`?d$r9T$&%f!<%6$,!"N`?d$N$?$a$KMQ$$$kN`;w@-$r8!=P(B
    $B$7$9$k$?$a$N%7%9%F%`$G$"$k!#?dO@$KMQ$$$i$l$kCN<1$O=g=x%=!<%HO@M}$G(B
    $B5-=R$5$l$F$$$k$3$H$r2>Dj$7$F$$$k!#(B

    $BK!E*?dO@!"$H$/$KK!E*N`?d$K6=L#$N$"$k%(%s%I%f!<%6$N$?$a$K!"4J0WHG$N(B
    $BK!E*N`?d%7%9%F%`$bDs6!$5$l$F$$$k!#$3$N4J0W%7%9%F%`$rMQ$$$k$H!"N`?d(B
    $B8!=P%W%m%;%9$GH/8+$5$l$?N`;w@-$rD>@\MxMQ$7$F!"N`?d$r9T$&$3$H$,$G$-(B
    $B$k!#(B

    $B$J$*!"%f!<%6$O!":GDc8B!"(BProlog$B$K4X$9$k=iJbE*$JCN<1$OI,MW$H;W$o$l$k!#(B


2. $B4D6-(B

  UNIX(SunOS Release 5.4)$B$,F0:n$7$F$$$k%^%7%s$G!"(BSICStus-Prolog 3 #3$B$,(B
  $B;HMQ2DG=$G$"$k$3$H!#$3$N4D6-$N$_!"K\%7%9%F%`$NF0:n$rJ]>Z$9$k!#(B
  $BB>$N4D6-$G$b!"(BSICStus-Prolog 3$B$,F0:n$9$l$P!"DL>o!";Y>c$J$/F0:n$9$k$,!"(B
  $B$3$l$OJ]>Z30$G$"$k!#(B


3. $B%W%m%0%i%`9=@.(B

  $BK\%7%9%F%`$N%=!<%9%W%m%0%i%`$O0J2<$NDL$j$G$"$k!#(B

   newgda.pl ... $BK\%7%9%F%`$N3K%b%8%e!<%k!#(B
   user.pl ..... $B%f!<%6%$%s%?!<%U%'!<%9!&%b%8%e!<%k!#(B


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

4.1 $B;HMQJ}K!35MW(B

  $BK\%7%9%F%`$r;HMQ$9$k$?$a$NI8=`E*$J%W%m%;%9$r<($9!#(B

    1) $BCN<1$N5-=R(B
       $B=g=x%=!<%HO@M}$GK!E*CN<1$r5-=R$9$k!#(B

    2) $B%7%9%F%`$NN)$A>e$2(B
       SICStus-Prolog$BN)$A>e$28e!"%7%9%F%`$r%m!<%I$7!"%7%'%k$r5/F0$9$k!#(B

    3) $BCN<1$NFI$_9~$_(B
       1)$B$G5-=R$7$?CN<1$r%m!<%I$9$k!#(B

    4) $BDL>o$N1ieh?dO@(B
       $B2r$-$?$$%4!<%k$r;XDj$7$F!"1ieh$N$_$K$h$k?dO@$r9T$&!#(B
       $B$3$N$H$-!"%4!<%k$,K!N'$NE,MQ$K<:GT$7$F$$$k>l9g$K!"0J2<$N2aDx$r(B
       $B;n$_$F!"N`?dE,MQ$N2DH]$rD4$Y$k!#(B

    5) $BN`;w@-8!=P(B
       4)$B$G<:GT$7$?%4!<%k$rM?$($F!"(BGDA$B$K$h$kN`;w@-8!=P$r9T$&!#(B

    6) $BN`?d(B
       5)$B$G8!=P$5$l$?N`;w@-$rMxMQ$7$F!"N`?d$r;n$_$k!#(B

  $B>e5-$N(B3)$B0J9_$O$9$Y$FK\%7%9%F%`$NDs6!$9$k%7%'%k>e$N%3%^%s%I$H$7$F<B9T$9$k!#(B


4.2 $B5/F0J}K!(B

    0) $B=`Hw(B
       SICStus-Prolog$BN)$A>e$28e!"0J2<$r<B9T$9$k!#(B

           prolog_flag(single_var_warnings,_,off).
           prolog_flag(redefine_warnings,_,off).
           prolog_flag(unknown,_,fail).

    1) $B%W%m%0%i%`$N%m!<%I(B
       $B0J2<$r<B9T$9$k!#(B

           compile('newgda.pl').
           compile('user.pl').

    2) GDA-LES$B%7%'%k$N5/F0(B
       $B0J2<$r<B9T$9$k!#(B

           gdales.

       $B$3$N%3%^%s%I$K$h$C$F!"(BGDA-LES$B%7%9%F%`$,5/F0$9$k!#%W%i%$%^%j%a%C%;(B
       $B!<%8I=<(8e!"0J2<$N$h$&$J%W%m%s%W%H$,I=<($5$l!"F~NOBT$A$H$J$k!#(B

           gda>


4.3 $B%7%'%k;HMQJ}K!(B

    GDA-LES$B%7%9%F%`$N%7%'%k$,5/F0$7$?$i!"%W%m%s%W%H$+$i0J2<$N%3%^%s%I$,(B
    $B;HMQ2DG=$G$"$k!#$J$*!"$$$:$l$N%3%^%s%I$b(B"."$B!\2~9T$GF~NO$9$k!#(B

      end         GDA-LES$B%7%9%F%`$N=*N;!#(B
      help        $B%3%^%s%I0lMw$NI=<(!#(B
      load(File)  File$B$G;XDj$5$l$?CN<1$N5-=R$5$l$?%U%!%$%k$r%m!<%I$9$k!#(B
      GOAL        $B%*%j%8%J%k$NO@>Z$N%H%C%W%4!<%k$N<B9T!#(B
                  $B%4!<%k$r$=$N$^$^F~NO$9$k!#$J$*!"%7%'%k$N%3%^%s%I$HF10l$N(B
                  $B%4!<%k$O;HMQ$G$-$J$$!#(B
      gda(GOAL)   GOAL$B$G%*%j%8%J%k$N%4!<%k$r;XDj$7$F!"(BGDA$B$r<B9T$7N`;w@-$r(B
                  $B<hF@$9$k!#$3$NN`;w@->pJs$O!"<!$N(BGDA$B$N<B9T$^$GJ];}$5$l$k!#(B
      on          $BN`?d%b!<%I$K@ZBX$($k!#;XDj$NN`;w@->pJs$+$i2>A[3,AX$r:n@.$7(B
                  $BN`?d;~$K;2>H$9$k!#$7$?$,$C$F!"%4!<%k$N<B9T7k2L$ON`?d$5$l$?(B
                  $B$b$N$G$"$k!#(B
      off         $BDL>o%b!<%I$K@ZBX$($k!#N`?d$r9T$o$J$$$G!"DL>o$N1ieh$N$_$G(B
                  $B?dO@$r9T$&!#(B
      set(N)      N$B$G;XDj$5$l$?HV9f$NN`;w@-$rA*Br$9$k!#N`?d$KMQ$$$kN`;w@-$O(B
                  $B$3$NHV9f$N$b$N$,;HMQ$5$l$k!#(B
      show(X)     X$B$N;XDj$K$h$C$F!"0J2<$N$h$&$J>pJs$rI=<($9$k!#(B

                      X    :          $BI=<(FbMF(B
                    ----------------------------------------------
                    sort   : $B8=:_@_Dj$5$l$F$$$k%=!<%H$K4X$9$kCN<1(B
                    clause : $B8=:_@_Dj$5$l$F$$$k@a0lMw(B
                    role   : $B8=:_@_Dj$5$l$F$$$k%m!<%kCM0h@)8B0lMw(B
                    sim    : $B:G?7$N(BGDA$B7W;;$K$h$kN`;w@-0lMw(B
                    sim(N) : N$B$G;XDj$5$l$kHV9f$NN`;w@-(B


5. $BCN<15-=R(B

5.1 $B%7%s%?%C%/%9(B

    $BK\@a$G$OCN<1%U%!%$%kFb$K5-=R$5$l$k%7%s%?%C%/%9$r<($9!#(B
    $B%U%!%$%k$O0J2<$N$h$&$J>pJs$r5-=R$7$J$1$l$P$J$i$J$$!#(B

    (1)$B%=!<%H3,AX(B
       $B35G0$rI=$9%=!<%H5-9f$K$h$j!"35G03,AX$r%=!<%H$NJq@]4X78$H$7$F5-=R$9$k!#(B

    (2)$BDj?t@k8@(B
       $BM}O@$K$*$$$F;HMQ$5$l$kDj?t$,$I$N%=!<%H!J35G0!K$KB0$7$F$$$k$+$r@k8@$9$k!#(B
       $B%?%$%W@k8@$H9M$($F9=$o$J$$!#(B

    (3)$BM}O@!J4X?t<+M3$N=g=x%=!<%HO@M}$N3NDj@a=89g!"K!E*%k!<%k$b4^$`!K(B
       $BGX7JCN<1!";vNc!"K!E*%k!<%k$r3NDj@a$H$7$F5-=R$9$k!#(B
       $B=g=x%=!<%HO@M}$r2>Dj$7$F$$$k$?$a!"JQ?t$NB0$9$k%?%$%W$r%=!<%H5-9f$rIU$7(B
       $B$F;XDj$9$k!#(B
       $B$^$?!"K\%7%9%F%`$G$O!"K!N'$NL\E*$K4X$7$F$O1ieh2DG=$G$"$k$3$H$r2>Dj$9$k(B
       $B$?$a!"GX7JCN<1$O$3$N2>Dj$rK~$?$9$N$K==J,$J5-=R$r9T$o$J$1$l$P$J$i$J$$!#(B
       $B$5$i$K!"K\%7%9%F%`$KM?$($i$l$kK!E*%k!<%k$O6X;_$rI=$9%k!<%k$rBP>]$H$7$F(B
       $B$$$k!#(B

    (4)$B%m!<%kCM0h@)8B(B
       $B%f!<%6$,;XDj$9$kFCDj$N35G04X78$N#29`4X78$N=R8l!J%m!<%k!K$KBP$7$F!"$=$N(B
       $B0z?t$NCM0h@)8B$r%=!<%H$K$h$k%?%$%W;XDj$K$h$C$FM?$($k$b$N$G$"$k!#(B

    (5)$B#C#F=R8l%j%9%H(B
       $B<R2qE*$JITMx1W$d?/329T0YEy$rI=$9=R8l$N%j%9%H!#(B
       $B3F=R8lL>$H$=$N0z?t$N?t!J%"%j%F%#!K$N%j%9%H$rM?$($k!#(B

    (6)$BH]Dj=R8l%Z%"(B
       $BK!E*%k!<%k$N%X%C%IIt$K;HMQ$5$l$?=R8l$NH]Dj$r0UL#$9$k=R8l$H%Z%"$K$7$F(B
       $BM?$($k!#(B

    $B$J$*!"K\%7%9%F%`$G$OK!N'$NL\E*$,1ieh2DG=$G$"$k$3$H$rA0Ds$H$7$F$*$j!"$=$N(B
    $B$?$a$K!"K!N'$NH]Dj$+$i#C#F=R8l$K$h$k<R2qE*ITMx1WEy$,F3=P$5$l$J$$>l9g$O!"(B
    $B@5>o$KF0:n$7$J$$!#K!N'$NH]Dj$r<h$k$H$-!"H]Dj=R8l%Z%"$,;2>H$5$l$k$?$a!"(B
    $B$3$N=R8l$,#C#F=R8l$N>ZL@$KMQ$$$i$l$J$1$l$P$J$i$J$$!#(B

    $B<!$K!"3F>pJs$N%7%s%?%C%/%9$r(BBNF$B5-K!$K$h$j0J2<$K<($9!#(B

      <$B%=!<%HJq@]4X78(B>:: <$B%=!<%H(B> "=<" <$B%=!<%H(B> "."
      <$BDj?t@k8@(B>:: <$BDj?t(B> "@" <$B%=!<%H(B> "."
      <$B%m!<%kCM0h@)8B(B>:: <$B%m!<%k(B> ":" <$B%=!<%H(B> "->" <$B%=!<%H(B> "."
      <$B3NDj@a(B> :: <$B%4!<%k(B> "." |
                  <$B%4!<%k(B> ":-" <$B%4!<%k%j%9%H(B> "."
      <$B%4!<%k%j%9%H(B> ::= <$B%4!<%k(B> | <$B%4!<%k(B> "," <$B%4!<%k%j%9%H(B>
      <$B%4!<%k(B> ::= <$B=R8l(B> | <$B=R8l(B> "(" <$B9`%j%9%H(B> ")"
      <$B9`%j%9%H(B> ::= <$B9`(B> | <$B9`(B> "," <$B9`%j%9%H(B>
      <$B9`(B> ::= <$BJQ?t(B> | <$BDj?t(B> | <$BJQ?t(B> ":" <$B%=!<%H(B>
      <$BK!E*%k!<%k(B> "rule" ";" <$B3NDj@a(B> "."
      <CF$B=R8l%j%9%H(B> ::= "cf(" "[" <$B=R8l%j%9%H(B> "]" ")" "."
      <$BH]Dj=R8l%Z%"(B> ::= "rev_info(" <$B=R8l(B> "," <$B=R8l(B> ")" "."
      <$B=R8l%j%9%H(B> ::= <$B=R8l(B> "/" <$B%"%j%F%#(B> | 
                       <$B=R8l(B> "/" <$B%"%j%F%#(B> "," <$B=R8l%j%9%H(B>
      <$B%m!<%k(B> ::= <$B=R8l(B>
      <$B%=!<%H(B> ::= Prolog$B%"%H%`(B
      <$BDj?t(B>   ::= Prolog$B%"%H%`(B
      <$B=R8l(B>   ::= Prolog$B%"%H%`(B
      <$BJQ?t(B>   ::= Prolog$BJQ?t(B
      <$B%"%j%F%#(B> ::= $BHsIi@0?t(B


5.2 $B@)8B;v9`(B

    (1)$B6X;_$rI=$9K!E*%k!<%k$N$_(B
    (2)$B4X?t<+M3$N3NDj@a$N$_(B
    (3)$BM-8BNN0h(B


6. $BNcBj$H<B9TNc(B

  $BNcBj$K$h$k<B9TNc$r<($9!#(B

  $BNcBj$O!"K!E*%k!<%k$H$7$F!V(Bvehicle$B$,8x1`$KF~$C$F$O$$$1$J$$!W$H$$$&$b$N$r(B
  $BM?$(!"<V$dGO$K%k!<%k$,E,MQ$5$l$k$+D4$Y$k$3$H$rA[Dj$7$F$$$k!#(B
  $B$3$N<B9TNc$G$O!"DL>o$N1ieh?dO@$G$O!"<V$O6X;_$5$l$F$b!"GO$O6X;_$5$l$J$$!#(B
  $B$7$+$7$J$,$i!"<B9TNc$N8eH>$G!"N`?d$rMQ$$$k$3$H$GGO$K$b$3$N%k!<%k$,E,MQ$5(B
  $B$l!"6X;_$H$J$kMM;R$,<($5$l$k!#(B

  $B%5%s%W%k$H$7$FE:IU$7$?(B demo.kb $B$rF~NO%U%!%$%k$H$9$k!#(B
  $B$^$:!"(BSICStus-Prolog$B5/F08e!"=`Hw$H$7$F!"(B

    ?- prolog_flag(single_var_warnings,_,off).

    ?- prolog_flag(redefine_warnings,_,off).

    ?- prolog_flag(unknown,_,fail).

  $B$rF~NO$9$k!#(B
  $B<!$K%=!<%9%W%m%0%i%`$r%m!<%I$9$k$?$a$K!"(B

    ?- compile('newgda.pl').

    ?- compile('user.pl').

  $B$rF~NO$9$k!#(BProlog$B%W%m%s%W%H$,I=<($5$l$?$i!"(B

    ?- gdales.

  $B$HF~NO$9$k$H!"K\%7%9%F%`$N%7%'%k$,5/F0$5$l!"(B

    gda: >

  $B$H$$$&%W%m%s%W%H$,JV$k!#$3$3$G!"CN<1$N5-=R$5$l$?F~NO%U%!%$%k$r%m!<%I$9$k!#(B
  $B$$$^!"(B demo.kb $B$,(BSICStus-Prolog$B$NN)$A>e$2%G%#%l%/%H%j$KCV$+$l$F$$$k$H$9$k(B
  $B$H!"(B

    gda: > load('demo.kb').

  $B$HF~NO$9$k$3$H$K$h$C$F(B demo.kb $B$,%m!<%I$5$l$k!#(B
  $B<!$KDL>o$N1ieh?dO@$K$h$j!"<V$N;vNc$G$"$k(B event1 $B$HGO$N;vNc$G$"$k(B event3 
  $B$K$D$$$FD4$Y$F$_$k!#$^$:!"<V$K4X$7$F$O!"(B

    gda: > prohibit(event1,this_park).

  $B$NF~NO$KBP$7$F!"1ieh$K$h$j!"(B

    Ans.>> prohibit(event1,this_park).

  $B$HJV$j!"<V$K4X$7$F$O%k!<%k$,E,MQ$5$l8x1`$X$N?/F~$,6X;_$5$l$k$3$H$rF3$/!#(B
  $B$3$3$G!"%7%9%F%`$O!"(B

    GDA: More (y/n) ?

  $B$HJL2r$NC5:w$rLd$$9g$o$;$F$/$k!#FC$KJL2r$rI,MW$H$7$J$1$l$P!"(B

    GDA: More (y/n) ? n

  $B$N$h$&$K(B n $B$rF~NO$9$k!#JL2r$,I,MW$J>l9g$O!"(B y $B$rF~NO$9$k!#%T%j%*%I(B"."$B$N(B
  $B%?%$%W$OITMW$G$"$k$N$G!"Cm0U$5$l$?$$!#$3$&$7$F!"(B

    GDA: Yes

  $B$H<V$KBP$7$F$O%4!<%k$,@.8y$7!"F~>l6X;_$G$"$k$3$H$,?dO@$5$l$k!#(B

  $B0lJ}!"GO$K4X$7$F$O!"(B

    gda: > prohibit(event3,this_park).

  $B$NF~NO$KBP$7$F!"(B

    gda: No

  $B$HJV$j!"%k!<%k$,E,MQ$5$l$:!"?/F~6X;_$H$O$J$i$J$$!#$=$3$G!"N`?d$K$h$C$F!"(B
  $BGO$X$NE,MQ$,2DG=$+H]$+D4$Y$F$_$k!#$=$NA0$K!"N`;w@-8!=P$,I,MW$H$J$k$?$a!"(B

    gda: > gda(prohibit(event3,this_park)).

  $B$HF~NO$7$FN`;w@-8!=P$r9T$&!#(BGDA$B$,5/F0$5$l$k$?$a!"=hM}$K;~4V$,$+$+$k!#(B
  $B7k2L$H$7$F!"0J2<$N$h$&$JN`;w@-$,I=<($5$l$k!#(B

    [vehicle,tank,car][wheel_part,tire,caterpillar_track]
    [vehicle,tank,car,zebra][wheel_part,tire,caterpillar_track,leg]
    [horse,vehicle,tank,car,zebra][wheel_part,tire,caterpillar_track,leg]
    [vehicle,tank,car][wheel_part,tire,caterpillar_track,leg]

  $BF10l$N3g8LFb$KI=<($5$l$?%=!<%HF1;N$,N`;w$G$"$k$HH=CG$5$l$F$$$k!#(B
  $B$J$*!"#1$D$NN`;w@-$ON`;w%=!<%H$N=89g$N=89g$G$"$j!"0lHL$K$ON`;w@-$OJ#?t<((B
  $B$5$l$k!#$3$3$G$b!"(B7$B8D$,8!=P$5$l$F$$$k!#$=$N$?$a!"N`?d$K$*$$$F!"$I$NN`;w@-(B
  $B$rMQ$$$k$+;XDj$9$kI,MW$,$"$k!#$3$N;XDj$O!"$^$:!"(B

    gda: > show(sim).

  $B$H$7$FHV9fIU$-$N0lMw$rI=<($5$;!"(B

    1:[vehicle,tank,car][wheel_part,tire,caterpillar_track]
    2:[vehicle,tank,car,zebra][wheel_part,tire,caterpillar_track,leg]
    3:[horse,vehicle,tank,car,zebra][wheel_part,tire,caterpillar_track,leg]
    4:[vehicle,tank,car][wheel_part,tire,caterpillar_track,leg]

  $B$N$h$&$JI=<($rF@$k!#<!$K!";HMQ$7$?$$N`;w@-$NHV9f$r!"$?$H$($P!"(B

    gda: > set(3).

  $B$N$h$&$KM?$($k!#$3$&$7$F!"N`?d$N=`Hw$,@0$C$?!#(B
  $BN`?d$r9T$o$;$k$?$a$K$O!"(B

    gda: > on.

  $B$H$9$k!#$3$l0J9_!"(Boff $B$rF~NO$9$k$^$G!"N`?d%b!<%I$H$J$j!"%4!<%k$N<B9T$K$O!"(B
  $B>e5-$G;XDj$7$?N`;w@-$K4p$E$$$?N`?d$,<B9T$5$l$k!#$^$?!"N`?d%b!<%I$G$O!"(B
  $B%W%m%s%W%H$,(B

    GDA: >

  $B$N$h$&$K$J$C$F$$$k!#$3$3$G!"DL>o$N1ieh$N$_$N?dO@$G<:GT$7$F$$$?!">e5-$N%4(B
  $B!<%k$rM?$($F$_$k!#(B

    GDA: > prohibit(event3,this_park).

  $B$9$k$H!":#EY$O!"(B

    Ans.>> prohibit(event3,this_park)
    GDA: More (y/n) ? n                 $B"+(B n$B$rF~NO$9$k!#(B
    GDA: Yes

  $B$HJV$j!"K\%7%9%F%`$,K!N'$NL\E*$K1~$8$F@Z$j=P$7$?N`;w@-$K4p$E$/N`?d$G$O!"(B
  $BGO$KBP$7$F$b@h$NK!E*%k!<%k$,N`?dE,MQ$5$l!"F~>l$,6X;_$5$l$k$b$N$H?dO@$9$k!#(B

  $B=*N;J}K!$O!"(B

    GDA: > end.

  $B$HF~NO$9$l$P!"(BProlog$B%W%m%s%W%H$KLa$k!#(B


============================================================================
                                $B3QED(B $BFFBY(B($BKLBg(B)  kaku@db.huee.hokudai.ac.jp
                                                 

