Prolog è un nuovo linguaggio di programmazione potente con applicazioni sulla prima linea della ricerca scientifica . È stato sviluppato in Francia da ricercatori interessati a traduzione automatica macchina tra lingue naturali. E 'stato poi affinato in Scozia da matematici interessati a programmi per computer che dimostrano automaticamente teoremi matematici . Successivamente è stato scelto dai giapponesi per la lingua ufficiale della Quinta del Progetto Intelligenza Artificiale Generation . Natural Language Translation

Utilizzando Prolog comporta la scrittura di una serie di dichiarazioni che delinea la conoscenza in un certo dominio limitato e poi fare domande su questo dominio . Prolog ricerca automaticamente attraverso le dichiarazioni e si presenta con tutte le risposte possibili che sono coerenti con la serie di istruzioni. Se le dichiarazioni sono definizioni e regole grammaticali , Prolog potrebbe prendere una frase candidato e decidere se si tratta di una sentenza valida in termini di definizioni e le regole del linguaggio . Un programma un po 'più sofisticato restituirebbe una traduzione della frase se è valido .
Teorema automatico Proving

Se il database delle affermazioni consiste di relazioni matematiche anziché grammaticale quelli , si possono lanciare un teorema come una domanda e il sistema Prolog risponderà con un "sì" o "no" a seconda che il teorema è coerente con il database di fatti e regole . Mostrando una dichiarazione è coerente con una serie di regole e di fatti è la stessa di prova di un teorema matematico o logico proposto di vederlo valido. Prolog capisce né la matematica né di logica - . Capisce solo coerenza
Data Mining

Prolog , per sua natura , istituisce una banca dati . A causa del modo in cui le espressioni Prolog contengono variabili , una domanda circa il database può restituire valori desiderati . Ad esempio, il " Bigger_than_a_breadbox ( X)" query restituirà un "no " se non nel database è più grande di un portapane . Se qualcosa è , Prolog restituirà "sì ", così come una lista di tutte le cose presenti nel database che ha causato una " partita". Ci sarà una lista come : . X = Godzilla ; X = L'Empire State Building ; X = A Volkswagen e così via , a seconda del contenuto della banca di dati
Robotica

I robot devono sempre porsi la stessa domanda: " che cosa devo fare adesso ? " Il database che viene utilizzato per rispondere a questa domanda proviene da tre fonti: i sensori, della memoria e comandi da esseri umani . La domanda rimane la stessa , ma il database che viene utilizzato per rispondere alla domanda cambia costantemente . Uno dei vantaggi di utilizzare Prolog con un robot è che molti prologhi possono funzionare contemporaneamente sullo stesso database . Gli occhi possono eseguire un prologo , mentre le gambe corrono un altro prologo senza alcuna interferenza , in quanto né i cambiamenti del database.