Clark's key contributions have been in the field of logic programming.

Such strategies are used, for example, in concurrent logic programming.

It can be considered what the current substitution is for regular logic programming.

He is also credited by some with the idea, and an initial implementation, of logic programming.

Expert systems and logic programming are descendants of this tradition.

He is known for founding the field of Inductive logic programming.

In logic programming, clauses are usually written as the implication of a head from a body.

There will be an exhibition of Prolog systems and books about logic programming.

It is based on the stable model (answer set) semantics of logic programming.

Functional and logic programming are examples of a more declarative approach.