Kees Doets

About the Author

Kees Doets is a distinguished computer scientist and educator whose work bridges the foundational principles of logic with the practical applications of logic programming. With a career spanning academia and research, he has made significant contributions to the field of computing, particularly in elucidating how logical reasoning underpins modern programming paradigms. Doets' clear and insightful approach demystifies complex concepts, making them accessible to students, researchers, and practitioners alike. His seminal book, From Logic to Logic Programming (Foundations of Computing), serves as a cornerstone text for understanding the theoretical underpinnings of declarative programming languages like Prolog. Through his writings and teachings, Doets continues to influence the evolution of computer science, emphasizing rigor and innovation in computational logic.