This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The …