Prolog

Created by Alain Colmerauer and Philippe Roussel in 1972. Programming in formal logic — programs are sets of facts and rules, and computation is logical inference. Foundation of logic programming. Used in AI, NLP, and expert systems.