- PORTADA
- Introducción
- Unidad I. Lógica de Proposiciones
- Unidad II. Lógica de Predicados
- Unidad III. Programación Lógica
- Unidad IV. Álgebra de Boole y Circuitos Lógicos
- Evaluación General
- Glosario
- Referencias bibliográficas
- Créditos
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.
|