Prolog is a programming language based on formal logic, in which a program consists of facts and rules and the computer answers queries by searching for solutions through logical inference. It was created in Marseille, France, by Alain Colmerauer and Philippe Roussel, building on ideas about logic programming developed by Robert Kowalski. It was originally intended for natural-language processing. Prolog became a major language in artificial intelligence research, used for expert systems, theorem proving and language analysis. In the 1980s it was chosen as the basis of Japan's Fifth Generation Computer Systems project. It is still used for problems that involve symbolic reasoning and knowledge representation.
Before and after
- 25 December 1971Birth of Justin Trudeau
- 26 December 1971Birth of Jared Leto
- 1972Saturn Awards
- 1972Creation of C
- 1972Creation of Prolog
- from 1972 to 2000Construction of Chernobyl Nuclear Power Plant
- 1972Creation of Smalltalk
- 1972Establishment of Taï National Park
- 1972Discovery of Lloyds Bank coprolite
More in Science & technology
- 1949Discovery of berkelium
- 1955Discovery of mendelevium
- 14 February 1961Discovery of lawrencium
- 8 December 1994Discovery of roentgenium
- 1996Discovery of copernicium
- 2006Discovery of nihonium
The era
This moment belongs to the Contemporary world (1945 CE to today), the world since 1945. You can also browse everything in the 20th century.