Prolog é uma linguagem de programação lógica que tem as suas raízes na lógica da primeira ordem. Prolog é bem adequada para programação em inteligência artificial e lingüística computacional.
Prolog tem uma sintaxe simples e elegante que torna fácil a aprendizagem. Prolog é uma linguagem declarativa, o que significa que os programas são escritos como um conjunto de factos e regras. Prolog é uma linguagem lógica, o que significa que os programas podem ser escritos como uma série de deduções.
Prolog é uma linguagem versátil que pode ser utilizada para uma grande variedade de aplicações. Prolog é bem adequado para aplicações de inteligência artificial, tais como processamento de linguagem natural, sistemas especializados, e aprendizagem de máquinas. Prolog é também bem adequado para aplicações linguísticas computacionais, tais como análise e geração de linguagem.