Prolog
Logic programming language based on first-order logic; widely used in symbolic AI and expert systems research.
2 milestones
Fifth Generation Computer Systems Project, Japan
In October 1981, Japan's Ministry of International Trade and Industry launched the Fifth Generation Computer Systems project, a ten-year state-funded programme delegated to the newly created Institute for New Generation Computer Technology (ICOT), aiming to build computers capable of logical inference, natural-language processing, and machine vision, with a budget of approximately 54 billion yen.
Prolog Logic Programming Language Created by Alain Colmerauer and Philippe Roussel
In 1972, Alain Colmerauer and Philippe Roussel at the University of Aix-Marseille created Prolog (Programmation en Logique), a declarative programming language grounded in first-order predicate logic, enabling computers to reason over symbolic knowledge without requiring procedural step-by-step instructions.