Prolog: tra logica e linguaggio di programmazione
Indice 1. Premessa 2. Mani sulla tastiera 3. Esempio 4. Il fascino di Prolog 5. Giochiamo con la logica 5.1. Versione Prolog 5.2. Versione Python 6. Osservazioni sui due linguaggi 1. Premessa Nato negli anni '70 per l'elaborazione del linguaggio naturale e l'intelligenza artificiale dell'epoca, il Prolog (abbreviazione di "Programmation en Logique") è un linguaggio di programmazione un po' particolare. La "logica" di Prolog si focalizza sulla definizione di relazioni e fatti, anziché sulle istruzioni sequenziali. Il linguaggio si basa su tre pilastri fondamentali: Fatti: Verità assolute sul mondo che stiamo modellando. Regole: Relazioni condizionali che permettono di inferire nuove informazioni. Interrogazioni (Query): Domande rivolte al sistema per verificare la verità di un'affermazione o trovare soluzioni. In Prolog, non esistono cicli "for" o variabili nel senso tradizionale. 2. Mani ...