3.1 Fundamentos de la programación lógica

 

En este apartado se abordarán los temas que conforman los fundamentos de la programación lógica. Estos temas incluyen el paradigma de la programación lógica, una comparación entre la programación declarativa y la algorítmica, y un vistazo a los lenguajes de programación lógica.[4]