He is also credited by some with the idea, and an initial implementation, of logic programming.
وينسب إليه أيضا من قبل البعض مع الفكرة والتنفيذ الأولي من برمجة منطقية.