MARKUS is a system for induction of Prolog programs (ILP system) which extends Shapiro's Model Inference System in many directions. The main improvements are the optimal generation of a refinement graph and a more efficient search technique (iterative deepening search). The system is not interactive and employs the `covering' paradigm. |