On the Application of Inductive Logic