Nociones de PROLOG y programación lógica

 Conceptos básicos de programación lógica

La programación lógica es un paradigma de programación que se basa en el uso de hechos y reglas lógicas para resolver problemas. Este enfoque describe qué debe cumplirse, no cómo hacerlo, lo que lo convierte en un lenguaje declarativo.

• Fundamento: La programación lógica se enfoca en declarar relaciones y hechos, mientras que el sistema se encarga de deducir las soluciones mediante inferencias lógicas.

• Lenguaje declarativo: En lugar de proporcionar una secuencia de instrucciones paso a paso (como en los lenguajes imperativos), el programador en programación lógica especifica relaciones entre entidades, y el sistema resuelve el problema mediante inferencia lógica.

  Por ejemplo, en lugar de decirle al programa cómo calcular si una persona es padre, se le dice qué significa ser padre y el sistema infiere los casos que cumplen con esa definición.

• Aplicaciones:

  
  
  

• Sistemas expertos: Para tomar decisiones basadas en reglas lógicas.
• Inteligencia Artificial: Para tareas como el procesamiento de lenguaje natural, razonamiento automático y resolución de problemas.
• Procesamiento del lenguaje natural: Para entender y generar lenguajes humanos a través de reglas y hechos.
• Resolución de problemas matemáticos: Para la deducción de teoremas y la prueba automática de conjeturas.

• Ejemplo básico en programación lógica 

% Hecho

hombre(juan).

% Regla

padre(X, Y) :- hombre(X), tiene_hijo(X, Y).

En este ejemplo:

• Se declara el hecho de que Juan es un hombre.
• Se establece la regla de que alguien es padre si es hombre y tiene hijos.

---------------------------------------------------------------------------------------------------------------

¿Qué es PROLOG

PROLOG (PROgramming in LOGic) es un lenguaje de programación lógica que se utiliza principalmente en el ámbito de la inteligencia artificial (IA).

• Historia: Fue diseñado en los años 70 por Alain Colmerauer y Robert Kowalski.

• Fundamento: PROLOG se basa en la lógica de predicados de primer orden, en la que las relaciones entre entidades se declaran mediante hechos, reglas y consultas.

  Un programa en PROLOG declara qué es verdadero y luego el intérprete del lenguaje se encarga de buscar y encontrar las soluciones a las consultas hechas sobre esas declaraciones.

• Ejemplo básico en PROLOG:

     % Hechos
      madre(maria, juan).
      madre(maria, ana).

     % Regla
      es_madre(X) :- madre(X, _).

      

      En este caso:

• Se definen los hechos de que María es madre de Juan y de Ana.
• La regla es_madre(x)dice que X es madre si se puede encontrar un hecho que relacione a X con algún hijo.