Current  classification of ILP systems.
Introduction updated.
Project development removed.
Evaluation reduced.
The main contributions of the thesis added.
Introduction udpated.
Introduction updated.
Introduction added.
Types in the introduction corrected.