## -*- PARCAR/KP Parallel Abductive Reasoning System on KLIC+PVM -*- ##
## Copyright (C) 1997  $B2CF#>:J?(B $BL>8E209)6HBg3XCNG=>pJs%7%9%F%`3X2J(B   ##

% PARCAR/KP $BMQ%G!<%?$N%U%)!<%^%C%H(B
%   $BJQ49$K$O(B convert < datafile > output $B$H$9$k$3$H(B

PARCAR/KP$B$KM?$($kF~NO$O!$0l3,=R8lO@M}$GI=$5$l$?CN<1%Y!<%9(B
$B$H!$4QB,!JLd$$9g$o$;!K$G$9!%(B
$BCN<1%Y!<%9$O!$;v<B!$2>@b$H$=$N%3%9%H!$@)Ls<0$+$i$J$j$^$9!%(B

$B3FMWAG$O%?%0$G;XDj$5$l$?HO0OFb$K5-=R$7$F2<$5$$!%2~9T$@$1(B
$B$N9T$OL5;k$5$l$^$9!%M-8z$J%?%0$O!$(B"facts." "hypotheses." 
"consistency_condition." "observations." $B$N(B4$B$D$G$9!%(B

"facts."
  $B$3$N%?%0$NCf$K!$;v<B$r5-=R$7$F2<$5$$!%(B
  f(X,Y):- true. $B$N$h$&$J%\%G%#$,(Btrue $B$N@a$O(Btrue$B$r>JN,$7$F$b(B
  $B$+$^$$$^$;$s!%(B

  $BNc(B  
      facts.
      val(Node2,V) :- conn(Node1,Node2),val(Node1,V).
      and(0,0,0).
      facts.

"hypotheses."
  $B$3$N%?%0$NCf$K$O2>@b$H$=$N%3%9%H$r!V2>@b(B. $B%3%9%H(B.$B!W$N=g$K(B
  $BJB$Y$F=q$$$F2<$5$$!%2>@b$H%3%9%H$O%9%Z!<%9!$%?%V$^$?$O2~9T(B
  $B$G6h@Z$C$F2<$5$$!%(B
  $B2>@b$K$O!$4pDlC10L@a$N$_$,5v$5$l$^$9!%$^$?!$%\%G%#$N(Btrue$B$O(B
  $B>JN,$G$-$^$9!%(B

  $BNc(B 
     hypotheses.
     ok(g1x) :- true.   0.500.
     stuck_on(g1x).   0.170.
     hypotheses.


"consistency_condition."
  false :- Body. $B$N7A$N@a$r=q$$$F2<$5$$!%(B

  $BNc(B 
    consistency_condition.
    false :- ok(D),on(D).
    consistency_condition.

"observations."
  $B4QB,$r=q$$$F2<$5$$!%(B

  $BNc(B 
    observations.
    false :- val(out(g1z),1),val(out(g0c),1).
    observations.

$B%3%a%s%H(B
  "%" $B$+$i!$2~9T$^$G$O%3%a%s%H$H$7$F07$o$l$^$9!%(B
  $B@aCf$K(B"%"$B$r;H$$$?$$>l9g$K$O(B"\%"$B$H$7$F2<$5$$!%(B
