En el Paradigma de Programación de la programación lógica, se declara una serie de reglas o proposiciones que luego son usadas por un motor para encontrar la solución a una pregunta.
La programación lógica (en lenguajes como Prolog, propone escribir reglas en lugar de pasos para resolver un problema, y delegar la resolución a un motor de búsqueda que encuentre la solución usando nuestras reglas.
Un programa es una serie de reglas que se pueden aplicar. Una solución es la serie de reglas que se aplican para llegar del estado inicial al estado final.
Sean el estado inicial y la condición de fin. Sea un problema, si la secuencia de aplicaciones satisface la condición de fin la secuencia de operadores soluciona .
Un algoritmo de control extrae las reglas aplicables (que satisfacen la precondición), selecciona una regla a aplicar, y la aplica. Este proceso no es al azar, sino que sigue uno de dos métodos:
- Primero en Profundidad: busca por a izquierda o por la derecha, haciendo backtracking. Necesita poca memoria, y puede encontrar la solución sin explorar gran parte del espacio de estados.
- Primero en Amplitud: se clona en cada bifurcación y cada clon muere en un pasillo sin salida. Usa muchísima memoria, pero siempre encuentra la solución mínima. Funciona con árboles de profundidad infinita.
Lógica Proposicional
Todo hombre es mortal
Todo investigador es hombre // Proposiciones que son o verdaderas o falsas
------
Todo investigador es mortal // Resultado
Un literal proposicional es una variable proposicional ( o ): Una cláusula proposicional es una disyunción de literales proposicionales: . Una cláusula de Horn es una cláusula proposicional con hasta un literal positivo como máximo.
Toda cláusula se puede pasar a forma disyuntiva sin perder equivalencia, y toda cláusula en forma disyuntiva se puede pasar a cláusula de Horn sin perder equivalencia.
Dado un programa y una consulta , se deduce por reducción al absurdo. La regla de Robinson es una regla de inferencia para deducir .
La resolución SLD es una estrategia que establece qué cláusula y qué literal seleccionar:
- Selection Rule.
- Linear Resolution.
- Definite Clauses (Cláusulas de Horn).
Mundo Cerrado
La suposición de mundo cerrado dice que solo es verdadero lo que se puede deducir desde las reglas iniciales. Si una condición no es deducible, entonces es falsa.
En la programación lógica, los programas solo expresan información positiva. Esto no permite demostrar que un literal es negativo por consecuencia del programa lógico. Entonces, se usa mundo cerrado y cualquier consulta no derivable será falsa.