Prolog

Abreviatura de Programming in Logic. Linguagem criada para a programação lógica. O Prolog evoluiu durante a década de 1970, na Europa (principalmente na França e na Escócia), e o primeiro compilador de Prolog foi desenvolvido em 1972 por Phillipe Roussel, na Universidade de Marselha. A linguagem posteriormente veio a ser muito utilizada no campo da inteligência artificial. O Prolog é uma linguagem compilada que trabalha com as relações lógicas entre segmentos de dados, em vez de relações matemáticas. Ver também artificial intelligence (inteligência artificial).