Hizo falta profundizar en lo que tiene que ver con las

relaciones entre los modelos y paradigmas vistos en el

curso y cómo aparecen en el lenguaje.
PROLOG
Andrés M. Valencia R.
Escuela de ingeniería de sistemas y ciencias de la computación
Maestría en ingeniería con énfasis en ciencias de la computación
Universidad del valle

Resumen, En la actualidad son miles los lenguajes de programación que se han

creado bajo la aplicación de múltiples formas de funcionamiento y áreas de
implementación, por lo que resulta imposible llegar a conocer a profundidad cada
uno de estos, lo que ha generado que algunos lenguajes de programación con gran
potencial queden en el olvido por la incapacidad de dar a conocer su funcionalidad,
por esta razón en este documento se presenta un estudio que busca resolver las
principales dudas que presentan los programadores sobre uno de estos lenguajes que
goza de poca popularidad actualmente, a pesar de presentar un potencial enorme en
el desarrollo de diversas aplicaciones y sistemas inteligentes.
Abstrac, Currently there are thousands of programming languages that have been
created under the application of multiple forms of operation and implementation
areas, so it is impossible to get to know each of these in depth, which has generated
some programming languages with great potential are left in oblivion by the inability
to publicize its functionality, for this reason in this document is presented a study
that seeks to solve the main doubts that programmers have about one of these
languages that enjoys little popularity at the moment, Despite presenting a huge
potential in the development of diverse applications and intelligent systems.

Palabras Claves: Prolog, Paradigma de programación lógica, paradigma de programación relacional, paradigma de
programación declarativo , lenguaje de programación, modelo computacional.

específicas para implementar lo modelos

Introducción.
De acuerdo a lo expuesto en [1] se entiende por
programación como “la etapa entre la
especificación de un sistema y el programa
ejecutable que lo implementa ”, de acuerdo a
esta definición en dicha etapa se diseña la
arquitectura y las abstracciones necesarias
para modelar el sistema, para posteriormente
codificarlo en un lenguaje de programación.
En un principio los lenguajes de programación
se desarrollaron entorno a técnicas puntuales
de abstracción que les otorgaron cualidades
generados.
A medida que se desarrollan las técnicas de
abstracción y modelamiento de la realidad en
ciencias de la computación se generaron
tendencias a desarrollar ciertas acciones bajo
la aplicación de conceptos fundamentales, a
esto se le denomina paradigma de
programación, entre los paradigmas de
programación más comunes se tiene la
programación imperativa, programación
orientada a objetos, programación declarativa,
programación por paso de mensajes,
programación lógica entre muchas otras.
Estos paradigmas de programación generan
mecanismos que les otorgan fortalezas y
debilidades ante ciertas situaciones, por
ejemplo, el paradigma de programación
orientada a objetos que es de los más
conocidos y utilizados presenta dificultad para
atender problemas de concurrencia, problema
que se resuelve de una forma muy natural en
la programación declarativa por paso de
mensajes mediante la aplicación del concepto
de puerto.
Debido a este tipo de situaciones se desarrollan
lenguajes de programación denominados
multiparadigmas, los cuales integran varios de
los paradigmas de programación en su
funcionamiento, con el fin de aumentar y
facilitar la implementación de dichos
lenguajes en el mundo real.
En este documento se presenta un estudio
sobre Prolog, un lenguaje de programación
multiparadigmas. En este estudio se pretende
resolver las preguntas más frecuentes que se
hacen los programadores frente a este lenguaje
de programación, razón por la cual se
estructuro el documento en forma de preguntas
que le permitan al lector tener un mayor
entendimiento sobre lo que se espera tratar.
¿Qué es Prolog?
Prolog del francés PROgramation LOGique,
es un lenguaje de programación lógica e
interpretado utilizado principalmente en el
desarrollo de inteligencia artificial (IA) [2].
Este lenguaje de programación nace cuando a
mediados de los 70 se empieza a crear una
forma de programación que no obedezca
instrucciones algorítmicas o procedimentales,
es en este momento donde empiezan a
formularse las preguntas que definieron la
filosofía de este lenguaje. Entre estas una de
las que más impacto tuvo, establece que si el
hombre procesa más información por
inferencia lógica que por calculo entonces ¿es
posible que las maquinas repliquen este
funcionamiento?
Como respuesta a la anterior pregunta se
desarrolló una nueva forma de programación
la cual se define como la evolución de los
lenguajes de programación, ya que permite
resolver problemas utilizando estructuras
lógicas de procesamiento.
Con lo anterior se define Prolog como un
lenguaje de programación creado para
representar y utilizar el conocimiento sobre un
dominio especifico, entendiendo dominio
como un conjunto de objetos, y el
conocimiento representado como un conjunto
de relaciones que permiten establecer las
propiedades y relaciones internas de los
objetos.
¡Donde es útil Prolog?
Prolog resulta de gran utilidad en sistemas
donde la complejidad del problema, su
comportamiento dinámico o la explosión
combinatoria no resulta posible o rentable una
solución convencional mediante
procesamiento de datos, son en general
problemas que implican un procedimiento de
solución basado en el conocimiento [3].
Desde que se inició el desarrollo de sistemas
inteligentes se evidencio la falta de
flexibilidad de los lenguajes convencionales
para enfrentar situaciones donde se requiere
modelar conocimiento sobre un dominio
especifico, ya que esto conlleva a la
implementación de algoritmos
procedimentales de alta complejidad. Debido
a esto se desarrolló los sistemas expertos (SE)
como una sub-rama de la inteligencia
artificial, estos sistemas permiten desarrollar
programas que emulan la capacidad de tomar
decisiones como lo haría un especialista
humano sobre un dominio especifico, esto se
logra gracias a las características que presenta
la arquitectura general de los SE la cual se basa
en la generación de reglas que relacionan un
conjunto de entradas bajo unas condiciones
específicas con una salida [3].
Bajo este contexto los lenguajes de
programación que mejor se comportan son
aquellos que funcionan bajo el razonamiento
del paradigma de programación lógico, como
por ejemplo Prolog.
Otra de las aplicaciones donde se muestra un
uso extendido de Prolog son las bases de datos
relacionales y deductivas, estas bases de datos
tienen una única interfaz que permite
conmutar el conocimiento. La integración de
Prolog en este tipo de bases de datos facilita la
implementación de relaciones con formas
lógicas, lo que hace que las consultas se
almacenen como vistas dinámicas y se añadan
reglas recursivas para la creación de nuevas
relaciones aumentando así la potencia y
utilidad del sistema [4].
¿Cómo funciona Prolog?
Como se expuso anteriormente Prolog es un
lenguaje que actúa bajo la lógica de
predicados, gracias a esto se han generado dos
estándares en cuanto a su uso, el DECsystem
10 PROLOG de Edimburgo y el PROLOG
descrito en el libro “Programing in Prolog” [5]
del cual se basan la mayoría de los dialectos
Prolog aunque la mayoría mantienen el
DECsystem-10 PROLOG en su ámbito
lingüístico. En la práctica se mantiene una
separación entre la lógica y los mecanismos de
control que actúan en los programas
desarrollados con Prolog. La lógica se
representa en forma de predicados, estos
predicados se pueden expresar como hechos, y
reglas que componen la base de conocimiento
o como preguntas que se le hacen a dicha base
de conocimiento.
Estas preguntas son gestionadas por el
denominado “demostrador de teoremas”, el
cual comprueba si el predicado a demostrar
puede deducirse de la base de conocimiento,
este demostrador de teoremas hace parte del
intérprete de Prolog y se considera un
mecanismo de control del sistema.
Con esta forma de trabajo el programador solo
debe especificar la lógica del programa sin
tener en cuenta los distintos pasos de calculo
que se ejecutan internamente, a esta forma de
trabajo, que resulta contraria a la
programación procedimental se le denomina
programación relacional.
Otras aplicaciones donde se hace uso de
Prolog son la Generación de CGI's, acceso a
bases de datos desde páginas Web,
paralización automática de programas,
programación distribuida y multiagente,
validación automática de programas,
procesamiento de lenguaje natural, entre
muchas otras.
¿Cómo es la sintaxis y la
semántica de Prolog?
Para facilitar el entendimiento y motivar al
lector a que consulte los aspectos más
específicos de la sintaxis de este lenguaje, se
realizara a continuación una descripción sobre
los componentes principales de esta mediante
el desarrollo de un ejemplo tomado de [6].
En este ejemplo se desarrolla un programa que
determine la sala más apropiada en un
traslado, la sala será apropiada cuando no haya
mejores. Como las salas no pueden ser
comparadas entre ellas se puede obtener varias
salas apropiadas.
Este programa contiene cinco predicados:
Cambio,determina,print_cambio, libre y mejor
Como hechos están las salas (predicado libre)
y una comparación de salas (predicado mejor).
libre(‘BB 64’).
libre(‘AA 73’).
libre(‘15569’).
libre(‘CC 08’).
libre(‘DD 62’).
mejor( ‘BB 64’, ‘LZ 2669’, [‘es mayor’,’tiene
mejor distribución de espacio’]).
mejor( ‘AA 73’, ‘BB64’, [le da el sol]).
mejor( ‘CC 08’, ‘LZ 2669’,[‘está más cerca
del ascensor’, ‘tiene cafetería’]).
mejor( ‘15569’, ‘AA 73’, [‘está más cerca
de la cantina’]).
En el último predicado lo que se quiere decir
es que la sala ‘15569’ es mejor que la sala ‘AA
73’ porque está más cerca de la cantina. En
todos los demás predicados ambas salas tienen
el mismo valor. El predicado es transitivo, es
decir que ‘AA 73’ es mejor que ‘LZ 2669’
porque es mejor que ‘BB 64’ y esta es mejor
que ‘LZ 2669’. El motivo de la superioridad
de ‘AA 73’ es la unión de las dos cantidades
de motivos [‘es mayor’, ‘tiene mejor
distribución de espacio’, ’le da el sol’].
El predicado mas importante es cambio. Este
determina los motivos para un cambio con
ayuda del predicado determina e imprime el
resultado mediante print_cambio.
cambio(Desde, Hacia):-
determina(Desde,Hacia,Motivos),
print_cambio(Desde,Hacia,Motivos).
Determina comprueba si una sala es apropiada
para un traslado y memoriza los motivos
favorables a dicho traslado.
determina(AntiguaSala, NuevaSala,
MotivosdeNuevaSala):-
libre(UnaSalaCualquiera),
mejor(UnaSalaCualquiera, AntiguaSala,
Motivos1),
determina(UnaSalaCualquiera,
NuevaSala, Motivos2),
append(Motivos1, Motivos2,
MotivosdeNuevaSala).
Se busca una sala que este libre
(UnaSalaCualquiera), se comprueba si es mejor
que la sala antigua (AntiguaSala) y memoriza los
motivos a favor de esta sala en Motivos1. Luego se
aplica de forma recursiva el predicado determina
sobre esta sala libre y se busca para la sala libre una
sala más apropiada. Los motivos para la nueva sala
libre más apropiada son la unión de los motivos de
la sala libre y los motivos de la recursión. Para el
encadenamiento de estas dos listas se precisa el
predicado auxiliar append.
determina(Sala,Sala,[]):-
libre(Cualquiera),
not(mejor(Cualquiera,Sala,Motivo).)
este segundo caso finaliza la recursión, para
todas aquellas salas libres (Cualquiera) se
aplica que no son mejores como sala. Si es este
el caso, entonces la sala apropiada es la misma
sala (el segundo parámetro de determina).
Entonces no hay motivos adicionales que
hablen a favor de esta sala.
print_cambio es un predicado para la salida
de un resultado, el cual imprime la sala
antigua, la sala nueva y los motivos para un
nuevo traslado.
write y nl son predicados que reciben el
nombre de “built-in”, es decir se encuentran
implementados por defecto el sistema, el write
imprime el valor de una constante o variable y
nl realiza un avance de línea.
print_cambio(Desde,Hacia,Motivos):-
nl,
write(“Para un traslado de sala”),
write(Desde),
write(“ a la sala”),
write(Hacia),
write(“se dan los siguientes motivos”),
nl,
write(Motivos),
nl
Explicado el ejemplo se pasa a describir la
sintaxis de este.
Los predicados tienen una o más clausulas
(libre(..) consta de 5 clausulas). Una clausula
parte siempre del nombre del predicado (libre)
hasta el punto final, estas cláusulas pueden ser
hechos como libre (‘15569’) o una regla como
cambio(Desde, Hacia):-
determina(Desde,Hacia,Motivos),
print_cambio(Desde,Hacia,Motivos).
Una regla consta de cabecera de clausula
(cambio (Desde, Hacia)) y cuerpo de clausula
(determina (Desde, Hacia, Motivos),
print_cambio(Desde, Hacia, Motivos)), que
se separan con “:-”, los hechos solo poseen
cabecera.
La forma “:-” señaliza una aplicación lógica,
aunque en el sentido contrario, si el cuerpo de
la cláusula es verdadero, entonces la cabecera
también será verdadera, el cuerpo de la
cláusula es verdadero si y solo si todas sus
partes son verdaderas. Un hecho por lo tanto
siempre será verdadero ya que carece de
condiciones.
Un nombre de predicado, junto con la lista
entre paréntesis de sus parámetros, se define
como su estructura.
determina(Desde,Hacia,Motivos),
cada predicado posee, junto al nombre, una
cantidad fija de parámetros.
Los símbolos que comienzan con minúscula o
tienen apostrofes, son constantes.
libre, ‘AA 73’
los símbolos que comienzan con mayúscula son
variables, las variables de una clausula son locales,
es decir que en otra clausula presentan un valor
distinto.
Desde, Hacia, Alguno.
La estructura de los datos con la que trabaja Prolog
son las listas, estas constan de un corchete abierto
“[”, los elementos de la lista separados por “,” y un
corchete cerrado “]” que indica el final de la lista.
[‘es mayor’,’tiene mejor distribución de espacio’].
Los elementos de las listas pueden ser a su vez
listas.
Con este ejemplo se muestran los aspectos básicos
que componen la sintaxis y semántica de Prolog,
demostrando con una aplicación rápida el potencial
que presenta la progrmacion lógica para tratar
situaciones donde una estructura procedimental
tendría una extensa codificación, de igual forma se
incita al lector para que consulte por iniciativa
propia documentos como el presentado en [5],
donde se podrá encontrar mayor información sobre
los aspectos más detallados de la programación en
este lenguaje.
¿Cuáles son los mecanismos más
importantes de la programación
en Prolog?
Los mecanismos más importantes en la
programación con Prolog son:
Recursividad, es la estructura más importante en
el desarrollo de Prolog ya que en su sintaxis no
existen los ciclos for y los while son de difícil
implementación debido a que en la programación
declarativa las variables solo pueden ser ligadas
una sola vez.
Instanciación, es la unión de una variable a una
constante o estructura, después de la ligadura la
variable se comporta como una constante.
Verificación, con esto lo que se busca es
comprobar si la estructura de una pregunta es
verdadera o falsa desde la base de conocimiento.
Unificación, es el componente principal de la
verificación de estructuras, y se establece que una
estructura estará comprobada cuando puede ser
unificada a un hecho, o cuando puede ser unificada
a la cabecera de una regla y las estructuras del
cuerpo de dicha regla pueden ser verificadas.
¿Bajo qué paradigmas de
programación se construye Prolog?
En el ejemplo anterior se observa que no hay
ligadura de variables con constantes hasta el
final del proceso de ejecución del programa,
esto se debe a que Prolog se construye sobre el
paradigma de programación declarativo,
paradigma en el cual la ligadura de variables
solo se puede hacer una sola vez y esta
permanece igual hasta el final de la ejecución,
como si de una constante se tratara, por esta
razón como se mencionó en la pregunta
anterior la recursividad se convierte en la
 Muchas de las afirmaciones en esta página,
adolecen de una sustentación mas clara y
profunda.
estructura más importante del lenguaje de
programación, ya que le permite a este recorrer
las listas sin generar ligadura en las variables.
Ante esta situación Prolog extiende el
paradigma de programación declarativo
mediante la implementación del concepto de
escogencia no determinística, y el concepto de
espacio computacional, al paradigma de
programación relacional, con el objetivo de
hacer la relación entre las variables las
constantes y las estructuras, de acuerdo a lo
establecido por las reglas.
Hasta este punto se encuentran los paradigmas
de programación que funcionan de forma
natural con el lenguaje Prolog, ya que los
demás paradigmas de programación funcionan
en Prolog gracias al uso de Shell que permiten
extender nuevos paradigmas gracias a la
aplicación de conceptos como el de hilo que le
permite extender el paradigma de
programación declarativa concurrente.
Del mismo modo al incluir el concepto de
estado explícito y de celda se alcanza el
paradigma de programación con estados.
Con la integración del concepto puerto, al de
estado explícito y el de celda se alcanza el
paradigma de programación concurrente por
paso de mensajes.
Finalmente, el paradigma de programación
orientado a objetos, se alcanza de forma
inmediata al alcanzar el paradigma de
programación por paso de mensajes, ya que
este le ofrece todos los mecanismos necesarios
para crear una estructura procedimental que le
permita establecer abstracciones de datos en
forma de objetos y generar estados explícitos,
polimorfismo o herencia.
Aunque estos paradigmas pueden ser
alcanzados mediante la implementación de
Shell cabe tener presente que son conceptos
que no hacen parte de la naturaleza de Prolog
y por tanto no ofrecen un funcionamiento
natural, de igual forma resulta muy útil su
implementación ya que permite extender las
aplicaciones que se desarrollen entorno a este
lenguaje.
Conclusiones
De acuerdo a lo expuesto hasta este punto se
concluye:
 Prolog es un lenguaje de programación
poderoso que permite desarrollar
aplicaciones basadas en las reglas,
propiedades y relaciones presentes en una
base de conocimiento.
 Presenta gran influencia en el desarrollo
de inteligencias artificiales,
principalmente en el desarrollo de
sistemas expertos.
 La sintaxis y semántica resultan muy
naturales y de fácil aprendizaje si se
cuenta con una lógica relacional bien
establecida.
 Es vital tener bien definidas las reglas,
relaciones y hechos antes de empezar la
programación de sistemas en Prolog, ya
que esto define la forma en la que se
codificara el programa.
 Se desarrolló bajo paradigmas de
programación que permiten una fácil
extensión a nuevos conceptos de
programación, por lo que las Shell
desarrolladas para este lenguaje de
programación presentan un muy buen
comportamiento.
Referencias

[1] S. H. Peter Van Roy, Conceptos, T´ecnicas y Modelos, London, England, 2004.

[2] P. R. Alain Colmerauer, La naissance de Prolog, Editions universitaires europeennes , 2014.

[3] D. Nebendahl, Sistemas Expertos, Ingenieria y Comunicacion, Barcelona: Marcombo S.A, 1992.

[4] A. M. R. G. Juan Luis Franco M, «bases de datos relacionnales y deductivas,» Madrid, 2004.

[5] C. S. M. Willian F Clocksin, Programing in prolog, Oxford: Springer, 2003.

[6] D. Nebendahl, «Sistemas Expertos Ingenieria y comunicacion,» de Lenguajes y sistemas de

programacion, Marcombo, 1992, pp. 92-94.