Does Inductive Logic Work