An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming