Short for Programming in Logic or Programation et Logique, prolog is a programming language that was originally developed by Alain Colmeraur and his colleagues at the University of Marseilles. Prolog is commonly used for AI, and unlike other programming languages, Prolog is based on a set of rules instead of instructions.
