Richard A. O'Keefe is a

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

best known for writing the influential 1990 book on

Prolog Prolog is a logic programming language that has its origins in artificial intelligence, automated theorem proving, and computational linguistics. Prolog has its roots in first-order logic, a formal logic. Unlike many other programming language ...

programming, ''The Craft of Prolog''. He was a lecturer and researcher at the department of

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

at the

University of Otago The University of Otago () is a public university, public research university, research collegiate university based in Dunedin, Otago, New Zealand. Founded in 1869, Otago is New Zealand's oldest university and one of the oldest universities in ...

Dunedin Dunedin ( ; ) is the second-most populous city in the South Island of New Zealand (after Christchurch), and the principal city of the Otago region. Its name comes from ("fort of Edin"), the Scottish Gaelic name for Edinburgh, the capital of S ...

New Zealand New Zealand () is an island country in the southwestern Pacific Ocean. It consists of two main landmasses—the North Island () and the South Island ()—and List of islands of New Zealand, over 600 smaller islands. It is the List of isla ...

and concentrates on

programming language A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...

s for

logic programming Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applyin ...

and

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by Function application, applying and Function composition (computer science), composing Function (computer science), functions. It is a declarat ...

, including

Haskell Haskell () is a general-purpose, statically typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research, and industrial applications, Haskell pioneered several programming language ...

, and Erlang.

References

External links

* , University of Otago Programming language researchers New Zealand computer scientists Living people Year of birth missing (living people) Academic staff of the University of Otago University of Otago alumni {{Compu-scientist-stub