El principal lenguaje en este curso a usar para ejemplificar el uso de la programación lógica es Prolog.

Prolog es la realización más conocida de las ideas introducidas en el campo de la programación lógica. En esencia, es un conjunto de cláusula de Horn que se tratan como una secuencia.[4]

Las construcciones más simples son los términos, para representar los datos, y los átomos, para expresar propiedades y relaciones entre datos.