Il Prolog (dal francese PROgrammation en LOGique) è un linguaggio di programmazione ideato da Robert Kowalski e Alain Colmerauer negli anni ’70. A differenza di altri linguaggi di programmazione il Prolog è un linguaggio dichiarativo, cioè la logica del programma viene espressa in termini di relazioni, rappresentate come fatti e regole. Qui potete trovare diverso materiale sul Prolog: una breve introduzione, esempi di programmi ed esercizi. Come ambiente di sviluppo potete usare SWI Prolg, che è gratuito e disponibile per MS-Windows, Mac OS X e Linux.
Intelligenza artificiale: un assaggio (terzo incontro)
Intelligenza artificiale: un assaggio (secondo incontro)
Problema di criptoaritmetica: listato generalizzato
Problema di criptoaritmetica: listato base
Intelligenza artificiale: un assaggio (compito)
Intelligenza artificiale: un assaggio (primo incontro)
Un assaggio di PROgrammazione LOGica