From Wikipedia, the free encyclopedia
He concentrates on languages for logic programming and functional programming (including Prolog, Haskell, and Erlang). O'Keefe published a well known and influential book on Prolog programming: The Craft of Prolog (ISBN 0-262-15039-5).
|This article about a New Zealand scientist is a stub. You can help Wikipedia by expanding it.|
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|