Combining Top-down and Bottom-up Techniques in Inductive Logic Programming