マービン・ミンスキー
and under Marvin Minsky he did early research on visual pattern recognition in Lisp. He is also credited by some with the idea, and an initial implementation, of logic programming.