Alcuni esempi ed esercizi sono relativi al testo "Programming in Prolog: using the ISO standard. W.F. Clocksin, C.S. Mellish. 5th ed. p.cm.", altri al corso "Logica per l'informatica" erogato presso l'Università degli studi Roma Tre dalla professoressa M.Cialdea. Le soluzioni proposte NON sono state in qualche modo revisionate/supervisionate dagli autori sopra citati, sono solamente delle proposte personali e pertanto potrebbero essere presenti diverse imprecisioni/incorrettezze.
Ogni cartella contiene grossomodo alcuni esercizi relativi ai rispettivi capitoli del libro. Alcuni file, invece, potrebbero far riferimento a qualche esempio del testo che mi è stato utile per chiarire alcuni concetti. La directory "Esercizi" fa riferimento ad esercizi proposti dalla professoressa del corso.