Paradigmas Según Edgar Morín
La programación lógica, la otra variedad de la programación declarativa, usa como base sentencias de lógica de primer orden, en concreto las cláusulas de Horn (restricción delCálculo de Predicados de Primer Orden) y su forma de ejecución es el principio de resolución de Robinsón.
Trata de representar conocimiento mediante relaciones (predicados) entre objetos (datos).
Unprograma lógico consiste en un conjunto de relaciones, y su ejecución vendrá a demostrar que una nueva relación se sigue se las que constituía el programa. Las relaciones serán especificadas con reglasy hechos.
La ejecución de programas lógicos consiste en la demostración de hechos sobre las relaciones por medio de preguntas.
MÉTODO: en un ejemplo muy simple se puede explicar de maneraentendible cuál es el método del paradigma lógico:
Hombre (Sócrates).
Mortal (X):-hombre(X).
¿Qué quiere decir esto?
Hombre (socrates) afirma que Sócrates es un hombre, o dicho de otra maneraque socrates tiene la característica hombre. Es una afirmación que afecta únicamente a Sócrates y la llamamos un hecho, ya que es una declaración que no depende de nada para ser verdadera.
mortal(X):-hombre(X) eslo que llamamos una regla y se puede leer como: X es hombre ⇒ X es mortal. La regla es una implicación, el antecedente es hombre(X) y el consecuente esmortal(X). Esto quiere decir que para todo X quetenga la característica hombre se da que ese X también tiene la característica mortal (o más corto: todos los hombres son mortales).
Sócrates está en minúscula, mientras que la X aparece enmayúscula, ¿por qué? Los términos en minúscula se refieren a cosas particulares y las palabras en mayúscula son incógnitas (o variables).
Eso se relaciona también con que la primera línea sea un hecho (porquehabla de un individuo particular) y la segunda sea una regla (porque habla de todos los hombres).
Pero la principal diferencia entre el hecho y la regla es que la regla tiene un antecedente...
Regístrate para leer el documento completo.