يناير | 2010 | مدونة صناعة المستقبل | الصفحة 2
فركّز على البرمجة المنطقية Logic Programming وعلى الأخص دراسة إمكان استخدام لغة Prolog أو صيغ أخرى مثل Guarded Horn Clauses (GHC) والتي تصلح للبرمجة المتوازية. ... مؤسس علم تصنيف الفقاريات والحفريات الفقارية ...