Programación Lógica

Introducción

Como ya hemos mencionado, para poder programar bajo este paradigma es conveniente adentrarnos en la lógica de primero orden. Pero, ¿A qué nos referimos cuando hablamos de lógica de primer orden? Un pequeña síntesis de la lógica lo puedes encontrar aquí