En la máquina dabas órdenes. Con funciones, transformabas datos. En la programación lógica no dices cómo resolver nada: describes qué es verdad, y luego preguntas. El lenguaje busca la respuesta solo.
El lenguaje se llama Prolog (de «programación en lógica»), y nació en Francia en 1972.
gato(michi).es un hecho: «Michi es un gato». Los nombres van en minúscula y se termina con punto.?- gato(michi).es una pregunta: «¿Michi es un gato?». La respuesta es sí o no.?- gato(Quien).pregunta con una variable (empieza con mayúscula): «¿quién es un gato?». Prolog busca todas las respuestas.
Para pensar
- ¿Qué fue fácil?
- ¿Qué fue difícil?
- ¿Otro paradigma lo habría resuelto mejor? ¿Cuál y por qué?