Artificial intelligence · 1972

Prolog

A language where programs are logical facts and the computer searches for proofs.

Alain Colmerauer and Philippe Roussel created Prolog in Marseille, building on Robert Kowalski's logic programming. It became the main AI language in Europe and Japan and the foundation of Japan's Fifth Generation project.

See it in the living tree Wikipedia

Arcs above join it to what it stood on, arcs below to what it led to. The bar places this stretch on the tree's whole timeline.

What it built on 3

LISP 1958
Predicate logic 1879
Boolean logic 1854

Related measurements

The dashed line marks when it first worked.

Training compute of notable AI models Source: Epoch AI, Notable AI Models (CC BY 4.0)

Computation per constant dollar, 1850-2006 Latest: 7.3B million units of computer power per 2006 $ (2003) Source: Nordhaus 2007, Two Centuries of Productivity Growth in Computing, J. Econ. Hist. 67(1), Table 6