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