Added definitions of an ILP problem.
Added a definition of a predictive power.
Fixed the problem with the citations.
ILP problem definition content added.
Formalising definition completed.'
Made the definitions  consistent.
Added minor notes on Inductive inference.
Language bias added to the ILP systems.