Launched: 1972

Prolog is a logic programming language developed in the early 1970s, primarily used for artificial intelligence and expert systems. It is a declarative language where programmers define a set of logical rules and facts, and the system uses these to answer queries without the programmer specifying the step-by-step procedure.