Paradigma logico

Este paradigma se basa en los conceptos de lógica matemática, se basa predicados que caracterizan o relacionan a los individuos involucrados y la deducción de las posibles respuestas a una determinada consulta.

Es un paradigma declarativo. No hay asignaciones destructivas, se trabaja con el concepto de unificación.

Las bases del paradigma

• Introducción
• Nomenclatura lógica
• Conjunción y Disyunción
• Negación
• Existe vs Para Todo

Modelando la información

• Aritmética en Prolog
• Individuos simples
• Individuos compuestos
• Trabajo con valores

Algunas Características Relevantes

• Inversibilidad
• Principio de Universo Cerrado
• Generación
• Múltiples Respuestas
• Unificación y Pattern-Matching
• Polimorfismo en el Paradigma Lógico
• Recursividad en Logico

Predicados de Orden Superior

• Orden Superior
• not
• forall
• findall
• distinct
• Cómo hacer predicados de orden superior

Errores y preguntas frecuentes

• Errores frecuentes al programar en lógico
• Preguntas Frecuentes del Paradigma Lógico
• Cómo encaro un problema en Lógico?

Más características

• Paradigma Lógico - detalles del SWI Prolog
• Aquí pueden ver otros Lenguajes del Paradigma lógico, además del Prolog.