As was stated in Chapter 2, Alain Colmerauer and Phillippe Roussel at the
University of Aix-Marseille, with some assistance from Robert Kowalski at
the University of Edinburgh, developed the fundamental design of Prolog.
Colmerauer and Roussel were interested in natural-language processing, and
Kowalski was interested in automated theorem proving. The collaboration
between the University of Aix-Marseille and the University of Edinburgh continued
until the mid-1970s. Since then, research on the development and use
of the language has progressed independently at those two locations, resulting
in, among other things, two syntactically different dialects of Prolog.
The development of Prolog and other research efforts in logic programming
received limited attention outside of Edinburgh and Marseille until the
announcement in 1981 that the Japanese government was launching a large
research project called the Fifth Generation Computing Systems (FGCS; Fuchi,
1981; Moto-oka, 1981). One of the primary objectives of the project was to
develop intelligent machines, and Prolog was chosen as the basis for this effort.
The announcement of FGCS aroused in researchers and the governments of
the United States and several European countries a sudden strong interest in
artificial intelligence and logic programming.
After a decade of effort, the FGCS project was quietly dropped. Despite
the great assumed potential of logic programming and Prolog, little of great
significance had been discovered. This led to the decline in the interest in and
use of Prolog, although it still has its applications and proponents.