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 off a set of rules instead of instructions.