MEng thesis: classification of systems of inductive logic programming