Este objeto de aprendizaje da una introducción al paradigma de programación lógica. Explica las características principales de ese paradigma y da un ejemplo de programa lógico usando la sintaxis de Prolog. También muestra ...