Afgezien van programmeren in logica of programmering en logica (Frans), is proloog een programmeertaal die is ontwikkeld door Alain Colmeraur en zijn collega's aan de Universiteit van Marseille in 1972. Prolog wordt vaak gebruikt voor AI, en in tegenstelling tot andere programmeertalen is Prolog gebaseerd op een set regels in plaats van instructies.

AI, termen voor kunstmatige intelligentie, computerafkortingen, programmalogica, programmeervoorwaarden