Sommario:
Definizione - Cosa significa Prolog?
Programmation en Logique (Programming in Logic) o Prolog è un linguaggio di programmazione di alto livello che affonda le sue radici nella logica del primo ordine o nel calcolo del predicato del primo ordine. La lingua fu concepita a Marsiglia, in Francia nei primi anni '70 da un gruppo guidato da Alain Colmerauer. È uno dei primi linguaggi di programmazione logica e rimane popolare oggi. È un linguaggio di programmazione comunemente associato alla linguistica computazionale e all'intelligenza artificiale e viene utilizzato in sistemi esperti, dimostrazione di teoremi e adattamento di schemi su alberi di analisi del linguaggio naturale e elaborazione del linguaggio naturale.
Techopedia spiega Prolog
Il primo sistema Prolog fu sviluppato nel 1972 da Colmerauer insieme a Philippe Roussel e si basava sull'interpretazione procedurale di Robert Kowalski delle clausole di Horn. È stato anche in parte motivato dal desiderio di conciliare l'uso della logica come linguaggio di rappresentazione della conoscenza dichiarativa con la rappresentazione procedurale della conoscenza. Prolog è stato appositamente sviluppato per l'elaborazione del linguaggio naturale, preoccupandosi delle interazioni tra computer e linguaggio umano (naturale).
Prolog differisce dagli altri linguaggi di programmazione in quanto è dichiarativo piuttosto che sequenze di comandi. A volte viene chiamato un linguaggio basato sulle regole o dichiarativo poiché è espresso in termini di relazioni tra le proprietà degli oggetti, presentate come fatti e regole. Un calcolo viene avviato eseguendo una query su queste relazioni.
Le applicazioni includono:
- Apprendimento automatico
- Pianificazione del robot
- Ragionamento automatico
- Risoluzione dei problemi
- Recupero del database intelligente
- Comprensione del linguaggio naturale
- Lingua specifica
