És caracteritzat pel fet d’incorporar un motor d'inferències.Desenvolupat a principi dels anys setanta per Alain Colmerauer i Philippe Roussel, de Marsella, el seu ús rebé un fort impuls davant la decisió dels japonesos d’adoptar-lo com a llenguatge per al desenvolupament dels anomenats ordinadors de cinquena generació. La idea del PROLOG és que la tasca del programador s’ha de reduir a especificar el problema a resoldre, i deixar que el sistema informàtic decideixi com resoldre'l a partir de l’especificació donada. Per a l’especificació s’usa una restricció de la forma clausular del llenguatge de predicats; per al càlcul o resolució del problema el motor del PROLOG utilitza el mecanisme de resolució. D’aquesta manera es pot veure el motor del PROLOG com un mecanisme de demostració de teoremes.
m
Electrònica i informàtica