Copyright (C) 1997. Itoh Hidenori

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

FOIL-I(First  Order  Inductive Learner  from Incomplete  samples) is a
FOIL-like  topdown  ILP  system that  can  properly  treat  incomplete
samples.  i.e. samples do not need  to  include all  of  positive  and
negative examples in a finite domain.

For the detail  of  the system, read the paper  "Top-down Induction of
Logic   Programs  from   Incomplete   Samples",   Proceeding   of  6th
International Inductive Logic Programming Workshop(ILP96).

FOIL-I  1.0 is written  in SICStus prolog  version 2.1. The  following
list is the content of the package.
 Readme-J               --- Japanese version of this file.
 Readme-E		--- this file.
 Man-user		--- users manual.
 Man-install		--- install manual.
 Example		--- example.
 foil-i.pl              --- the main source file.
 declarations.pl        --- declarations for the system.
 pre_and_post.pl        --- preprocessing and postprocessing.
 generate_candidates.pl --- to generate candidate literals.
 evaluate.pl            --- to evaluate literals.
 determinate.pl         --- to treat determinate literals.
 redundancy.pl          --- to remove redundat clauses.
 merge.pl               --- to reduce search space, this version merges
                            partial hypotheses.
 construct_clauses.pl   --- predicates to manipulate clauses.
 utilities.pl           --- doamin independent utilities.
 misc.pl                --- domain dependent utilities.
 hojo.pl                --- to treat background predicates.
 builtin.pl             --- definition of built-in predicates.
 sample/                --- sample files.


For further information, please contact:
  Nobuhiro Inuzuka
  Department of Intelligence and Computer Science,
  Nagoya Institute of Technology
  Gokiso-cho, Showa-ku, Nagoya 466, Japan
  e-mail: inuzuka@ics.nitech.ac.jp
  WWW:    http://www-itolab.ics.nitech.ac.jp/~inuzuka
