T EACHING P ROGRAMMING : SOME LESSONS FROM PROLOG
The Scottish-Spanish Circle of John Mair. Some Basic Themes