3.2 Sintaxis

 

De la misma manera que con la lógica proposicional y la lógica de predicados, el lenguaje de la programación lógica debe seguir una sintaxis establecida para su correcta comprensión.[4]

Para ello, se debe tener conocimiento de la notación de cláusulas de Horn, pieza clave en la comprensión de la programación lógica.