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.
كان المنطق أيضا محط تركيز العمل في جامعة ادنبرة وأماكن أخرى في أوروبا والتي أدت إلى تطوير لغة البرمجة المسماة بالبرولوج وعلوم البرمجة المنطقية.