Cos'è Prolog
- Prolog sta per programmazione in logica. Nel paradigma della programmazione logica, il linguaggio prolog è quello più ampiamente disponibile. Prolog è un linguaggio dichiarativo, il che significa che un programma è costituito da dati basati su fatti e regole (relazione logica) piuttosto che su come trovare una soluzione. Una relazione logica descrive le relazioni che valgono per una determinata applicazione.
- Per ottenere la soluzione, l'utente pone una domanda anziché eseguire un programma. Quando un utente pone una domanda, per determinare la risposta, il sistema runtime effettua una ricerca nel database di fatti e regole.
- Il primo Prolog fu 'Marseille Prolog', basato sul lavoro di Colmerauer. Il principale esempio di linguaggio di programmazione di quarta generazione è stato prolog. Supporta il paradigma di programmazione dichiarativa.
- Nel 1981, un progetto informatico giapponese di 5thè stata annunciata la generazione Successivamente è stato adottato Prolog come linguaggio di sviluppo. In questo tutorial, il programma è stato scritto nel Prologo di Edimburgo 'Standard'. I Prolog della famiglia PrologII sono l'altro tipo di prolog che discendono dal Prolog di Marsiglia.
- Le funzionalità di Prolog sono 'Variabili logiche', il che significa che si comportano come una struttura dati uniforme, una strategia di backtracking per cercare prove, una struttura di corrispondenza dei modelli, una variabile matematica e input e output sono intercambiabili.
- Per dedurre la risposta, ci sarà più di un modo. In tal caso, al sistema runtime verrà chiesto di trovare un'altra soluzione. Per generare un'altra soluzione, utilizzare la strategia di backtracking. Prolog è un linguaggio debolmente tipizzato con regole di ambito statico e controllo dinamico del tipo.
- Prolog è un linguaggio dichiarativo che significa che possiamo specificare quale problema vogliamo risolvere piuttosto che come risolverlo.
- Prolog è utilizzato in alcune aree come database, elaborazione del linguaggio naturale, intelligenza artificiale, ma è piuttosto inutile in alcune aree come un algoritmo numerico o un'istanza grafica.
- Nelle applicazioni di intelligenza artificiale viene utilizzato il prolog. Le applicazioni dell'intelligenza artificiale possono essere sistemi di ragionamento automatizzato, interfacce di linguaggio naturale e sistemi esperti. Il sistema esperto è costituito da un motore di interfaccia e da un database di fatti. Il sistema runtime del prolog fornisce il servizio di un motore di interfaccia.
- Un ambiente di programmazione logica di base non ha valori letterali. Un identificatore con lettere maiuscole e altri identificatori denotano variabili. Gli identificatori che iniziano con lettere minuscole indicano valori di dati. Gli elementi base di Prolog sono atipici. La maggior parte delle implementazioni di prolog sono state migliorate per includere valori interi, caratteri e operazioni. Il meccanismo del prologo descrive le tuple e le liste.
- Il linguaggio di programmazione funzionale e il prologo hanno alcune somiglianze come Hugs. Un programma logico viene utilizzato per consistere nella definizione di una relazione. Un linguaggio di programmazione funzionale viene utilizzato per consistere in una sequenza di definizioni di funzioni. Sia la programmazione logica che quella funzionale fanno molto affidamento su definizioni ricorsive.
Applicazioni del Prolog
Le applicazioni di Prolog sono le seguenti:
- Linguaggio delle specifiche
- Pianificazione robotica
- Comprensione del linguaggio naturale
- Apprendimento automatico
- Risoluzione dei problemi
- Recupero intelligente del database
- Sistema esperto
- Ragionamento automatizzato
Prerequisito
Prima di imparare il Prolog,
Pubblico
Il nostro tutorial Prolog è progettato per aiutare principianti e professionisti.
quadro di raccolta Java
I problemi
Ti assicuriamo che non troverai alcun problema in questo tutorial Prolog. Ma se c'è qualche errore, segnala il problema in un modulo di contatto.