PROLOG

acronimo di PROgrammazione LOGica. In informatica, linguaggio di programmazione di alto livello utilizzato, con il LISP, lo small talk e altri nell'intelligenza artificiale. Il PROLOG, sviluppato in Europa, è basato sulle tecniche di logica matematica, è interattivo e dichiarativo, ossia non procedurale. In sostanza con una serie di enunciati si dichiarano fatti e relazioni e con l'interrogazione si accede alla base dei dati così costituita. L'interprete PROLOG possiede un motore inferenziale, ossia un metodo per trarre deduzioni e procedure e collegare l'interrogazione con la base di conoscenze per costruire una risposta. Il PROLOG è il linguaggio più usato per i sistemi esperti, sistemi interattivi uomo-macchina con competenze specializzate per risolvere problemi in aree definite (medicina, ingegneria, chimica, matematica).