Che cos'è Prolog?
Concepito nei primi anni '70, Prolog, molto probabilmente una combinazione delle parole programma e logica, è uno dei primi linguaggi di programmazione informatica. In parte perché è un codice molto semplice, che usa la logica del primo ordine e un piccolo calcolo, è ancora in uso popolare. Il set di istruzioni originale è stato notevolmente ampliato e sviluppato in molte varianti perché è particolarmente adatto per elaborare il linguaggio. Questi due attributi principali del programma forniscono l'elaborazione per applicazioni come l'intelligenza artificiale e le telecomunicazioni automatizzate.
Prolog usa una logica formale del primo ordine. Le istruzioni caricate su un computer sono ferme; non hanno una ponderazione fuzzy, computazionale. Nell'espressione, la sintassi del linguaggio è un insieme finito di regole e la semantica è definita, di solito da insiemi come descrittori singoli, liste multiple e stringhe, o da un intervallo come sequenze numeriche.
Insieme ad alcuni codici meglio noti come il linguaggio ipertestuale di markup (HTML), Prolog fa parte di una classe di software comunemente chiamata linguaggi di programmazione dichiarativa, che utilizza tipicamente la semplice frase "X equivale a Y", definita come un "termine". Un computer è detto cosa fare; non viene richiesto di calcolare da solo come arrivarci. Al computer viene fornita una serie di fatti con un "predicato" e relazioni, definite come una "clausola", da cui una query di input dovrebbe produrre una conclusione vera contro falsa. Non esegue un algoritmo, ma piuttosto ottiene una risposta semplice aggiungendo e sottraendo o negando dalla sua serie nota di definizioni. Il calcolo in Prolog viene utilizzato per testare e dimostrare teorie e le loro ipotesi sottostanti, dalla matematica avanzata alla biologia alla filosofia.
Una delle teorie cognitive dell'intelligenza è che esiste una grande, ma finita memoria lessicale di informazioni nel cervello che viene recuperata, elaborata e restituita, con conseguente maggiore complessità o semplicità delle informazioni. Con l'aumento della capacità di memoria e un rapido accesso, questo è il paradigma dominante che ha guidato il santo graal dell'informatica: l'intelligenza artificiale. Ciò che è fondamentale secondo molti nel campo è l'interfaccia e il linguaggio. La programmazione Prolog può essere utilizzata per creare GUI, l'interfaccia utente grafica introdotta da Apple®, semplicemente definendo simboli visivi. Può anche essere usato per leggere, tradurre e creare espressioni facciali.
La linguistica computazionale è sostanzialmente più difficile, e mentre Prolog ha progredito nel corso degli anni per incorporare, ad esempio, i principi grammaticali unici di alcune lingue straniere, molti ricercatori si chiedono se rappresenti effettivamente la lingua. Per i sistemi esperti limitati, come le linee telefoniche di supporto tecnico computerizzato per il riconoscimento vocale, la programmazione Prolog viene utilizzata con un certo grado di efficacia. Può anche essere integrato in software di logica di ordine superiore - quantificare linguaggi come C + o java - ma la compressione e la portabilità rimangono problemi che persistono per questo linguaggio di programmazione ad alta intensità di dati.