La programación lógica es un paradigma de programación informática en el que las declaraciones del programa expresan hechos y reglas sobre problemas dentro de un sistema de lógica formal. Las reglas se escriben como cláusulas lógicas con una cabeza y un cuerpo; por ejemplo, "H es verdadero si B1, B2 y B3 son verdaderos". Los hechos se expresan de manera similar a las reglas, pero sin un cuerpo; por ejemplo, "H es verdad".

Algunos lenguajes de programación lógica, como Datalog y ASP (Answer Set Programming) son puramente declarativos: permiten declaraciones sobre lo que el programa debe lograr, sin instrucciones explícitas paso a paso sobre cómo hacerlo. Otros, como Prolog, son una combinación de declarativo e imperativo, también pueden incluir declaraciones de procedimiento como "Para resolver H, resolver B1, B2 y B3".

Lenguajes utilizados para la programación lógica.

• Absys
• ALF (lenguaje de programación funcional de lógica algebraica).
• Programa depurativo algorítmico
• Alicia
• Alma-0
• ASP (Programación de conjunto de respuestas)
• CHIP
• Ciao
• CLACL
• CycL
• Registro de datos
• Datomic
• DLV
• Eclipse
• F-logic
• Flora-2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Jano
• ΛProlog
• Logtalk
• Sistema de maude
• Mercurio
• Metal
• Sistema de programación de Mozart
• Onz
• Parlog
• Planificador
• PROGOL
• Prólogo
• Prolog ++
• Prova
• .QL
• Lenguaje de modelado de Rebeca
• ROOP
• SICStus Prolog
• SWI-Prolog
• ToonTalk
• Lógica de transacción
• Duende
• Visual Prolog
• XSB

Lenguaje, lógica, paradigma, términos de programación.