Prolog é uma linguagem de programação lógica usada principalmente em inteligência artificial. Baseada na lógica de predicados, ela usa fatos e regras para representar conhecimento e resolver problemas. Em vez de descrever como fazer algo, Prolog foca em o que deve ser verdadeiro para resolver um problema, utilizando inferência para deduzir respostas a partir de fatos e regras.

Sistemas especialistas são softwares projetados para simular o raciocínio de um especialista em uma área específica. Eles analisam informações fornecidas pelo usuário para oferecer diagnósticos e aconselhamentos, como no caso de um sistema para diagnóstico de câncer de mama. Esses sistemas são compostos por regras que definem como resolver problemas dentro de um domínio específico. Desenvolvidos na década de 1970 e amplamente aplicados nos anos 1980, eles são baseados em inteligência artificial e utilizam o conhecimento de especialistas para oferecer soluções.