Introdução a Prolog Aula “teórico-prática”. O que é Prolog? Linguagem mais divulgada do paradigma de Programação em Lógica Baseado em cláusulas de Horn.