Cos'è Prolog?
concepito nei primi anni '70, Prolog, molto probabilmente una combinazione del programma e della logica delle parole, è uno dei primi linguaggi di programmazione informatica. In parte perché è un codice molto semplice, usando la logica del primo ordine e il calcolo poco, è ancora in uso popolare. Il set di istruzioni originale è stato notevolmente ampliato e sviluppato in molte varianti perché è particolarmente adatto al processo di elaborazione. Questi due attributi principali del programma forniscono l'elaborazione per applicazioni come l'intelligenza artificiale e le telecomunicazioni automatizzate.
Prolog utilizza una logica formale di primo ordine. Le istruzioni caricate su un computer sono ferme; Non hanno una ponderazione sfocata e computazionale. Nell'espressione, la sintassi del linguaggio è un insieme finito di regole e la semantica è definita, di solito da insiemi come singoli descrittori, elenchi e stringhe multiple o da un intervallo come sequenze numeriche.
Insieme a una codifica meglio conosciuta come Hypertext Markup Language (HTML), Prolog è in una classe di software comunemente chiamati linguaggi di programmazione dichiarativa, che usano tipicamente la semplice affermazione "X è uguale a Y", definita come un "termine". A un computer viene detto cosa fare; Non è chiesto di calcolare da solo come arrivarci. Al computer viene assegnata una serie di fatti con un "predicato" e le relazioni, definite come una "clausola", da cui una query di input dovrebbe produrre una conclusione vera contro falsa output. Non esegue un algoritmo, ma deriva piuttosto una risposta semplice aggiungendo e sottraendo o annullando dal suo set di definizioni noto. Il calcolo in Prolog viene utilizzato per testare e dimostrare le teorie e le loro ipotesi sottostanti, dalla matematica avanzata alla biologia alla filosofia.
Una delle teorie cognitive dell'intelligenza è che esiste un grande ma finito il negozio lessicale di informazioni nel cervello che viene recuperato, elaborato e elaboratoSfogliato, con conseguente maggiore complessità o semplicità delle informazioni. Con l'aumento della capacità di memoria e l'accesso rapido, questo è il paradigma dominante che ha guidato il Santo Graal di Informatica: l'intelligenza artificiale. Ciò che è la chiave secondo molti sul campo è l'interfaccia e la lingua. La programmazione Prolog può essere utilizzata per creare GUI, l'interfaccia utente grafica è stata la pioniera da parte di Apple®, definendo semplicemente i simboli visivi. Può anche essere usato per leggere, tradurre e creare espressione facciale.
La linguistica computazionale è sostanzialmente più difficile e sebbene Prolog sia avanzato nel corso degli anni per incorporare, ad esempio, i principi grammaticali unici di alcune lingue straniere, molti ricercatori si chiedono se rappresenti efficacemente la lingua. Per sistemi di esperti limitati, come le linee telefoniche di supporto tecnico di riconoscimento vocale computerizzato, la programmazione Prolog viene utilizzata per un certo grado di efficacia. Può anche essere integrato in logica di ordine superioreWare-Quantificazione di linguaggi come C+ o Java-ma la compressione e la portabilità rimangono problemi che resistono a questo linguaggio di programmazione ad alta intensità di dati.