Programación lógica

Conceptos de informática
Lenguajes de programación

La programación lógica es un paradigma de programación, bases de datos y representación del conocimiento basado en la lógica formal. Los programas lógicos expresan el conocimiento sobre un dominio mediante enunciados lógicos, y el cálculo aplica el razonamiento lógico para resolver problemas del dominio. Las principales familias de lenguajes incluyen Prolog, Answer Set Programming y Datalog. Las reglas constan de una cabeza y un cuerpo, mientras que las consultas expresan objetivos. Los programas de cláusulas de Horn pueden ampliarse con condiciones negativas para aplicaciones prácticas.

La imagen de esta carta se ha creado con IA. Es una ilustración, no una foto real del sujeto.

Paradigma: Paradigma de programación, bases de datos y representación del conocimiento
Principales familias de lenguajes: Prolog, Answer Set Programming (ASP) y Datalog
Cálculo: Aplica el razonamiento lógico al conocimiento

Fuentes y créditos

Artículo: Logic programming (Wikipedia en inglés)
Wikidata: Q275603
Texto: El texto de la carta está adaptado del artículo de la Wikipedia en inglés mediante un resumen automatizado. El contenido de Wikipedia está disponible bajo CC BY-SA 4.0. Consulta el historial del artículo para ver quiénes han contribuido. CC BY-SA 4.0 · Historial del artículo y colaboradores
Ilustración: Ilustración generada por IA. No es una fotografía ni una imagen documental. (modelo: gpt-image-2.5-flare)
Popularidad: 106 visitas diarias medianas (Wikimedia Pageviews API (all-access, user agent))

Kosmora no está afiliada a la Fundación Wikimedia ni cuenta con su respaldo.