Prolog (1975)

Az 1960-as évek egyik kutatási irányaként jelent meg a matematikai logika alkalmazása a programfejlesztésben. 1970-es években francia és angol kutatók definiálták a matematikai logika eszköztárát használó Prolog programozási nyelvet. Az első interpretert 1972-ben készítette Philippe Roussel és Alain Colmerauer. A világon másodikként 1975-ben Szeredi Péter fejlesztett ki Prolog interpretert a NIM IGÜSZI Szoftver-fejlesztési osztályán. Sikeres Prolog alkalmazások készültek gyakorlati feladatokra is (pl. gyógyszertervezés). Az SZKI keretei között kifejlesztett MProlog külföldön is sikeres szoftver-export termék lett. A nemzetközileg ismertté vált magyar Prolog ill. AI iskola eredményeinek elismeréseként Magyarországon, Debrecenben rendezték meg az első International Workshop on Logic Programming c. konferenciát. Az iskola tartós jelenlétét a nemzetközi tudományos életben jelzi, hogy 1993-ban az Association on Logic Programming 10. nemzetközi világkongresszusát is Budapesten tartotta.