decisiton tree learning for logic programs