Copyright (C) 1997. $B0KF#1QB'(B

======================================================================
        FOIL-I version 1.0 October 1996. by Nobuhiro Inuzuka
                                             ICS, NIT, Japan
======================================================================

FOIL-I(First Order Inductive Learner from Incomplete samples) $B$O(BFOIL$B$N(B
$B%"%k%4%j%:%`$r4pAC$H$7$?%H%C%W%@%&%sJ}<0$N(B ILP  $B%7%9%F%`$G!$IT40A4$J%5(B
$B%s%W%k$r07$&$3$H$,$G$-$^$9!%$D$^$j!$M-8B$JNN0h$K$*$$$F!$$=$3$K4^$^$l$k(B
$B@5;vNc$*$h$SIi;vNc$N$9$Y$F$r4^$`%5%s%W%k$r40A4$J%5%s%W%k$H$$$$!$(BFOIL-I
$B$OB?$/$N>l9gI,$:$7$b40A4$J%5%s%W%k$G$J$/$H$b@5$7$/F0:n$7$^$9!%(B

$B%7%9%F%`$N>\:Y$K$D$$$F$O(B "Top-down Induction   of Logic Programs  from
Incomplete   Samples"  (6th International Inductive  Logic Programming
Workshop(ILP96) $BM=9F=8(B)$B$r;2>H$7$F2<$5$$!%(B

FOIL-I 1.0  is SICStus prolog version 2.1 $B$G=q$+$l$F$*$j!$%Q%C%1!<%8$K(B
$B$O0J2<$N%U%!%$%k$r4^$`!%(B
 Readme-J               --- $BK\%U%!%$%k!%(B
 Readme-E		--- $BK\%U%!%$%k$N1Q8lHG(B
 Man-user		--- $B%f!<%6%^%K%e%"%k(B
 Man-install		--- $B%$%s%9%H!<%k%^%K%e%"%k(B
 Example		--- $BNcBj(B
 foil-i.pl              --- $B%a%$%s%W%m%0%i%`(B
 declarations.pl        --- $B%W%m%0%i%`$KI,MW$J@k8@$J$I(B
 pre_and_post.pl        --- $BA0=hM}$*$h$S8e=hM}$N%W%m%0%i%`(B
 generate_candidates.pl --- $B8uJd@a$r@8@.$9$k$?$a$N%W%m%0%i%`(B
 evaluate.pl            --- $B8uJd@a$r>C2=$9$k$?$a$N%W%m%0%i%`(B
 determinate.pl         --- determinate $B%j%F%i%k$r@8@.!?IU2C$9$k$?$a$N(B
                            $B%W%m%0%i%`(B
 redundancy.pl          --- $B>iD9$J@a$r<h$j=|$/$?$a$N%W%m%0%i%`(B
 merge.pl               --- $B@a$rJ;9g$9$k$?$a$N%W%m%0%i%`!JO@J8$G$O?($l(B
                            $B$F$$$J$$$,$3$N%P!<%8%g%s$G$O2>@b6u4V$r8zN((B
                            $BNI$/C5:w$9$k$?$a$KItJ,E*$J@a$rJ;9g$9$k5!G=(B
                            $B$r;}$D!%!K(B
 construct_clauses.pl   --- $B@a$NFbIt7A<0$+$iI=<(7A<0$XJQ49$9$k%W%m%0%i(B
                            $B%`(B
 utilities.pl           --- $B0lHLE*$J%f!<%F%j%F%#(B
 misc.pl                --- FOIL-I$BFCM-$N%f!<%F%j%F%#(B
 hojo.pl                --- $BGX7JCN<1$r07$&$?$a$N%W%m%0%i%`(B
 builtin.pl             --- FOIL-I$B$NAH$_9~$`=R8l$N$?$a$N%W%m%0%i%`(B
 sample/                --- $BNcBj(B

$B$3$N%W%m%0%i%`$r;HMQ$5$l$k$H$-$O2<$N=;=j$KO"Mm$r$$$?$@$1$l$P9,$$$G$9!%(B
$B$^$?!$$=$NB>$NLd$$9g$o$;$b$3$A$i$K$*4j$$$7$^$9!%(B

  $BL>8E209)6HBg3X(B $BCNG=>pJs%7%9%F%`3X2J(B
  $B8$DM?.Gn(B
  $B")#4#6#6(B $BL>8E20;T(B $B><OB6h(B $B8f4o=jD.(B
  e-mail: inuzuka@ics.nitech.ac.jp
  WWW:    http://www-itolab.ics.nitech.ac.jp/~inuzuka

