Programación lógica
La programación lógica consiste en utilizar la lógica matemática para escribir programas informáticos. Existen lenguajes de programación especializados en los que el usuario puede introducir directamente sentencias lógicas. Probablemente el más conocido de estos lenguajes se llama Prolog. Alonzo Church utilizó una forma de programación lógica en lo que hoy se conoce como cálculo lambda. La programación lógica también se ha utilizado en LISP.
Los programas consisten en un conjunto de reglas y hechos. En la mayoría de los casos, la programación lógica utiliza lo que se llama negación como fallo o negación débil: Esto significa que si no es posible derivar alguna cláusula p {desde 
los hechos y reglas, el sistema asumirá que su negación es verdadera.
Preguntas y respuestas
P: ¿Qué es la programación lógica?
R: La programación lógica es un enfoque de la programación que utiliza la lógica matemática para escribir programas informáticos.
P: ¿Cuáles son algunos lenguajes de programación que utilizan la programación lógica?
R: Algunos lenguajes de programación que utilizan la programación lógica son Prolog y LISP.
P: ¿Cuál es el papel de las reglas y los hechos en la programación lógica?
R: Los programas en programación lógica consisten en un conjunto de reglas y hechos.
P: ¿Qué es la negación como fallo en la programación lógica?
R: La negación como fallo es un concepto de la programación lógica en el que si no es posible derivar una cláusula concreta a partir de los hechos y las reglas, el sistema asumirá que su negación es verdadera.
P: ¿Qué es la negación débil en programación lógica?
R: La negación débil es otro término para la negación como fallo, que es un concepto de la programación lógica.
P: ¿Quién utilizó una forma de programación lógica en el cálculo lambda?
R: Alonzo Church utilizó una forma de programación lógica en lo que hoy se conoce como cálculo lambda.
P: ¿Cuál es el lenguaje de programación más conocido que permite a los usuarios introducir directamente sentencias lógicas?
R: Prolog es probablemente el lenguaje de programación más conocido que permite a los usuarios introducir directamente sentencias lógicas.
