As part of our PhD studies, some of us have had to learn Prolog and to be able to understand and write rather complex programs although possessing little or no background in Logic Programming, the theoretical underpinnings of Prolog. In an attempt to remedy that, in this meeting we shall give a "guided tour" on the following fundamental concepts of logic programming:
We shall avoid too many technical details and concentrate more on the intuition and motivation of each concept. We shall also give a commented list of further reading material and existing tutorials on the web.
See also the slides of the presentation.