Prolog el lenguaje de programación lógico

por:

Prolog el lenguaje de programación lógico

Hoy en día cuando queremos estudiar o realizar un proyecto tenemos una gran cantidad de lenguajes a nuestra disposición. Pero hay muchos de ellos cuyas características principales son similares. Sin embargo dentro de ese grupo de lenguajes distintos y poco conocidos está Prolog.

¿Qué es Prolog?

Prolog es un lenguaje lógico, utilizado para programar en el campo de la inteligencia artificial. Sus características son bastante peculiares ya que no sigue la filosofía estructurada ni la orientada a objetos. Algunas de las cosas llamativas que podemos encontrar en el mismo es que no hay bucles.

El lenguaje se basa principalmente en:

  • hechos algo que siempre es verdadero.
  • reglas algo que para que sea verdadero se tienen que cumplir aquellas condiciones del cuerpo de la regla.

El proceso de resolución

La solución que suele ofrecer es verdadero o falso y para ello intenta buscar el objetivo que le indicamos analizando las cláusulas (hechos y reglas) de arriba a abajo. Además utiliza el algoritmo de backtracking para intentar al alcanzar la solución aunque sea utilizando múltiples reglas.

Ejemplo en Prolog

Un ejemplo sencillo que podemos hacer en Prolog es buscar si hay un camino entre dos ciudades, sabiendo que hay carreteras en un único sentido que conectan una ciudad con otra.

domains
  list=symbol*
  
predicates
  conectado(symbol,symbol)
  resuelve(list,symbol)
  escribe(list)
  
clauses
         /*Escritura de la lista */
        escribe([]).
        escribe([H|T]):- /* Escritura recursiva */
            escribe(T),
            write(H,'\n').

    conectado(salamanca,avila).
    conectado(avila,madrid).
    conectado(salamanca,valladolid).
    conectado(valladolid,zamora).
    conectado(valladolid,madrid).
    conectado(madrid,bilbao).
    conectado(madrid,sevilla).
    conectado(madrid,valencia).
    resuelve(Pila,B):-
        Pila=[Cabeza|Cola],
        Cabeza=B,
        escribe(Pila).
        
    resuelve(Pila,B):-
        Pila=[Cabeza|Cola],
        conectado(Cabeza,C), /* C sera una ciudad conectada con el 1º elemento de la pila  */
        NuevaPila=[C|Pila], /* Añadimos a la pila */
        resuelve(NuevaPila,B). /* Llamada recursiva */
        
goal
  resuelve([salamanca],sevilla).

En este ejemplo podéis ver que escribe([]) es un hecho, pero escribe([H|T]) es una regla puesto que para que sea verdadera se tiene que cumplir el cuerpo que se define debajo.

Los predicados que hemos incluidos son:

  • escribe, para escribir la solución.
  • conectado, para indicarle cómo están conectadas nuestras ciudades.
  • resuelve, para que busque caminos que no sean directos, esto es, encuentre caminos entre dos ciudades pasando por otra (u otras).

El objetivo como podéis ver es buscar un camino entre Salamanca y Sevilla.

La solución que nos propone el sistema es la siguiente:

Solución que ofrece prolog como sistema de búsqueda

Si nosotros comprobamos nuestro código veremos que Salamanca y Ávila están conectadas, Ávila y Madrid también y lo mismo ocurre con Madrid y Sevilla. El yes que muestra, es que hay cláusulas que hacen cierto nuestro objetivo.

 

 

3 comentarios en “Prolog el lenguaje de programación lógico”

  1. Raistm

    Buen aporte, una recomendación por si hacéis alguna otra publicación sobre Prolog es que habléis sobre los diccionarios. Creo que puede ser una buena forma de continuar con Prolog ya que son muy útiles, al menos a mi parecer. Una pregunta, aparte de SWI-Prolog que es el entorno que yo uso, ¿conocéis alguno mejor o con mejores funcionalidades?
    Graciasy un saludo!

    Responder

Deja una Respuesta