Updated.
Added headings for Rationale.
Rationale ILP chapter updated.
Downwards update.
Thesis achievements added.
Updated
Small typos fixed.
Small typos fixed.
Small typos fixed.
Progol multi-clausal learning fix.