Manuel Hermenegildo on How to Best Teach Prolog

Описание: The Prolog School Bus comprises a series of seminars as part of the Logic Programming Initiative. These sessions are designed to enhance comprehension of Computational Logic and provide support for educators and students across various related subjects. Our aim is to foster a deeper understanding of Logic Programming and its applications, ultimately contributing to the academic success of both teachers and students alike.

Manuel Hermenegildo
is a Distinguished Professor at the IMDEA Software Institute, with a Dual Appointment
as Full Professor at Technical University of Madrid (UPM), Spain. Previously to joining the IMDEA Software Institute he held the P. of Asturias Endowed Chair in Information Science and Technology at the U. of New Mexico, USA. He was also project leader at the MCC research center and Adjunct Assoc. Prof. at the CS Department of the U. of Texas, both in Austin, Texas, USA. He has published more than 200 refereed scientific papers and monographs and has given numerous keynotes and invited talks in major conferences in these areas. He is also a devoted teacher of Logic Programming, leader of many efforts to improve our educational capabilities, such as https://ciao-lang.org/

[Slides of the talk](https://cliplab.org/papers/TeachingPr...)
Related papers:
[Some Thoughts on How to Teach Prolog](https://cliplab.org/papers/TeachingPr...)
[Teaching Prolog with Active Logic Documents](https://cliplab.org/papers/ActiveLogi...)
[Related teaching materials](https://cliplab.org/logalg/)