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]