The directories here contain example files illustrating the use
of Aleph for some tasks.

Directory                  Purpose
---------                  -------

abduce                    Abductive learning
constraints               Learning constraints
features                  Boolean feature construction from good clauses
gcws                      Generalised closed-world specialisation
good                      Storing good clauses
incremental               Incremental learning
modes                     Learning modes
numbers                   Simple forms of numerical models
portray                   Pretty printing
posonly                   Positive-only learning
recursion                 Learning recursive theories
refine                    User-defined refinement operator
trains                    Michalski's trains
tree                      Tree learning