Risposte:
Ricordando che l'intelligenza artificiale è stata uno sforzo accademico per il più lungo tempo, Prolog è stato tra le prime lingue utilizzate come parte dello studio e della sua attuazione. Raramente si è fatto strada in grandi applicazioni commerciali, detto questo, una famosa implementazione commerciale è a Watson, dove viene usato il prologo per la PNL .
L' Università di Edimburgo ha contribuito alla lingua e talvolta è stata denominata "Edinburgh Prolog". È ancora usato negli insegnamenti accademici lì come parte del corso di intelligenza artificiale.
Il motivo per cui Prolog è considerato potente nell'intelligenza artificiale è perché il linguaggio consente una facile gestione dei metodi ricorsivi e la corrispondenza dei modelli.
Per citare Adam Lally dell'IBM Thomas J. Watson Research Center e Paul Fodor della Stony Brook University :
il linguaggio Prolog è molto espressivo e consente alle regole ricorsive di rappresentare la raggiungibilità negli alberi di analisi e l'operazione di negazione come fallimento nel verificare l'assenza di condizioni.
Sì, come menzionato in altre risposte, Prolog è effettivamente utilizzato in IBM Watson. Prolog non riceve molto "clamore" e "ronzio" in questi giorni, ma è ancora assolutamente usato. Come sempre, ha alcune aree specifiche in cui brilla e tecniche specifiche che mappano bene il suo utilizzo. In particolare, le cose come logica induttiva di programmazione , Constraint Logic Programming , risposta Set di programmazione e alcune NLP applicazioni possono comportare un uso estensivo di Prolog.