Programación lógica
Keywords: Programación lógica, Computación, Dominio de referencia, Informática, Lógica, Lógica bivalente, Paradigma de programación, Programación
La programación lógica es un paradigma de programación basado en la lógica.
Los programas escritos en un lenguaje lógico están construidos únicamente por expresiones lógicas, es decir, que son ciertas o falsas, en oposición a un expresión interrogativa (una pregunta) o expresiones imperativas (una orden). No obstante, a veces para obtener resultados de un programa lógico sí se usan consultas, de manera que el programa dirá cierto o falso según corresponda (en lógica bivalente).
La mayoría de estos lenguajes se basan en la lógica predicativa, de forma que los programas consisten en definir propiedades de los objetos del dominio de referencia y relaciones entre ellos a través de fórmulas, las cuales usan normalmente el la conectiva implicador.
Un ejemplo de lenguaje lógico es Prolog (Programación lógica).
Véase también
Computación | Informática | Programación | Lógica