This book focuses on the applications of inductive logic programming to software engineering. An integrated framework based on inductive logic programming has been proposed for the synthesis, maintenance, reuse, testing and debugging of logic pro