Efficient Learning and Evaluation of Complex Concepts in Inductive Logic Programming