"Logic for Learning" is a specialized book that explores the exciting connection between computational logic and machine learning. It is aimed at advanced students, graduates, and researchers in these fields. The book does not require prior knowledge of machine learning for readers from computational logic and vice versa. It employs higher-order logic, which is widely used in various areas of computer science, such as theoretical computer science and functional programming. This logic allows functions to be used as arguments, which is significant for knowledge representation and the construction of predicates. The book is particularly relevant for researchers in the field of machine learning who deal with structured data, and it addresses applications such as web text learning and bioinformatics. It provides valuable insights into the challenges and methods associated with complex data structures.