Ejercicios "amistosos"
Paradigma Lógico
La programación lógica es un paradigma declarativo que, al igual que la programación funcional, tiene sus estructuras de control recursivas.
La ejecución de un programa es guiada por el motor de inferencia que tiene una estrategia que permite evaluar exhaustivamente todas las soluciones posibles dado un conjunto de reglas y hechos.
Una representación declarativa es aquella en la que el conocimiento está especificado, pero en la que la manera en que dicho conocimiento debe ser usado no viene dado. El más popular de los sistemas de programación lógica es el PROLOG (Programmation in LOGique).
Lenguaje PROLOG
El lenguaje PROLOG fue creado por Alain Colmenauer en la Universidad de Marsella, en 1972. Se trata de un lenguaje declarativo frente a los lenguajes de programación más comunes que son procedurales. Usa como base sentencias de la lógica de primer orden, en concreto las cláusulas de Horn (restricción del Cálculo de Predicados de Primer Orden) y su forma de ejecución es el principio de Resolución de Robinson.
Cálculo de Predicados ≈ Lenguaje natural
| Lenguaje Natural | Lógica de Predicados |
| A car is fun | fun(car) |
| a rose is red | red(rose) |
| David likes a car | likes(David,car) |
| David likes a car if the car is fun | likes(David,car) if fun(car) |
