Logic was also the focus of the work at the University of Edinburgh and elsewhere in Europe which led to the development of the programming language Prolog and the science of logic programming.
Логиката, исто така, била во фокус и на работата на Универзитетот во Единбург како и на други места во Европа што довело до развој на програмскиот јазик Prolog и наука на логичко програмирање.