Nel 1972 venne introdotto il PROLOG, un linguaggio di programmazione di alto livello la cui denominazione significa ‘PROgramming in LOGic’.