Programmazione Logica
per il corso di Logica I, Laurea in
Matematica - Brunella Gerla
Alcuni programmi per esercitarsi
Il prolog usato per questi esempi e' SWI prolog, scaricabile gratuitamente dal sito
www.swi-prolog.org.
Appunti sul Prolog
Durante il corso e le esercitazioni sono state usate le dispense del
Dott. Corrado Manara, dell'universita' di Milano, consultabili al
sito http://www.dsi.unimi.it/~manara/prolog
Bibliografia del corso.
-
John W. Lloyd, Fondamenti di programmazione logica, Muzzio editore.
- Furlan F. & Lanzarone G.A.,
PROLOG - Linguaggi e Metodologia di programmazione logica,
Franco Angeli 1988
Torna alla pagina principale
Documento modificato il:
Commenti e domande a
bgerla@unisa.it.
Queste pagine sono aggiornate spesso, quindi vi consiglio di
visitarle di tanto in tanto.
Naturalmente queste pagine, cosi' come gli appunti e gli esercizi in esse "linkati", potrebbero contenere degli errori: nel caso in cui ne troviate vi prego di segnalarmelo.
