Keith L. Clark is a Professor of Computer Science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 at Imperial College London

Imperial College London

Imperial College London is a public research university located in London, United Kingdom, specialising in science, engineering, business and medicine...

, England

England

England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...

. He has lectured in both mathematics

Mathematics

Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

 and computer science. Since 1979 he has had a tenured position in the Department of Computing, Imperial College London, where he has been Professor of Computational Logic since 1987. Between 1987 and 1995 he was also Visiting Professor at Uppsala University

Uppsala University

Uppsala University is a research university in Uppsala, Sweden, and is the oldest university in Scandinavia, founded in 1477. It consistently ranks among the best universities in Northern Europe in international rankings and is generally considered one of the most prestigious institutions of...

. He is currently a Visiting Professor at BTH (since 1997), and at the University of Queensland

University of Queensland

The University of Queensland, also known as UQ, is a public university located in state of Queensland, Australia. Founded in 1909, it is the oldest and largest university in Queensland and the fifth oldest in the nation...

 (since 1998). In 1980 he co-founded an Imperial College spin-off company, Logic Programming Associates

Logic Programming Associates

Logic Programming Associates is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN-PROLOG....

, to develop and market Prolog

Prolog

Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...

 systems for micro-computers (micro-Prolog) and to provide consultancy on expert systems and rule based applications.

His key contributions have been in the field of logic programming. His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic

Non-monotonic logic

A non-monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences. Intuitively, monotonicity indicates that learning a...

. His 1981 paper on a relational language for parallel programming introduced concurrent logic programming.

Recently he has been working on the April and Go!

Go! (programming language)

Go! is an agent-based programming language in the tradition of logic-based programming languages like Prolog. It was introduced in a 2003 paper by Francis McCabe and Keith Clark....

 programming languages and their application to agent programming.

Selected publications

• K. L. Clark, D. Cowell , Programs, Machines and Computation, McGraw-Hill
  McGraw-Hill
  The McGraw-Hill Companies, Inc., is a publicly traded corporation headquartered in Rockefeller Center in New York City. Its primary areas of business are financial, education, publishing, broadcasting, and business services...
  
  , London, 1976.
• K. L. Clark, S-A. Tarnlund, A first order theory of data and programs, Proc. IFIP Congress, Toronto, 939–944 pp, 1977.
• K. L. Clark, Negation as failure, Logic and Data Bases (eds. Gallaire & Minker) Plenum Press, New York, 293–322 pp, 1978. (Also in Readings in Nonmonotonic Reasoning, (ed. M. Ginsberg), Morgan Kaufmann, 311–325, 1987.)
• K. L. Clark, S. Gregory, A relational language for parallel programming, Proc. ACM Conference on Functional Languages and Computer Architecture, ACM, New York, 171–178 pp, 1981. (Also in Concurrent Prolog, (ed. E Shapiro), MIT Press, 9–26 pp, 1987.)
• K. L. Clark, S-A. Tarnlund (eds), Logic Programming, Academic Press
  Academic Press
  Academic Press is an academic book publisher. Originally independent, it was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier....
  
  , London, 1982.
• K. L. Clark, F. G. McCabe, micro-PROLOG: Programming in Logic, Prentice-Hall International, 1984.
• F.G. McCabe, K. L. Clark, April — Agent process interaction language, in Intelligent Agents, (ed N. Jennings, M. Wooldridge), LNAI, Vol 890, Springer-Verlag, 1995.
• K. L. Clark, Logic Programming Languages, Encyclopedia of Computer Science, (eds. A. Ralston, E. Reilly, D. Hemmendinger), pp 1024–1031, Nature Publishing Group
  Nature Publishing Group
  Nature Publishing Group is an international publishing company that publishes academic journals, online databases, and services across the life, physical, chemical and applied sciences and clinical medicine...
  
  , 2000.
• K. L. Clark and F. McCabe, Go! — A Multi-paradigm Programming Language for Implementing Multi-threaded Agents, Annals of Mathematics and Artificial Intelligence, 41 (2-4): 171–206, August 2004.

External links

• Keith Clark's homepage