We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime can learn optimal, recursive, and large programs supports predicate invention. experiments on three domains (classification, general game playing, program synthesis) show our increase predictive accuracies reduce learning times.

Targeting sustainability in our industrial society requires integrating specific criteria the design process of products and processes. A paradigm shift is necessary economical, social political systems to ensure natural ecosystems preservation on planet while fulfilling needs. Various research methods have therefore emerged change way services are designed, developed, used discarded considerin...