VISUAL PROLOG

PROLOG

Prolog proviene del francs PROgrammation en LOGique, es un lenguaje para

programar artefactos electrnicos mediante el paradigma lgico con tcnicas de
produccin final interpretada.
Conocido en el rea de la ingeniera informtica para investigacin en Inteligencia
Artificial.

HISTORIA

Lenguaje de programacin ideado a principios de los aos 70, por los profesores
Alain Colmerauer y Philippe Roussel.
Version preliminar del lenguaje Prolog a finales de 1971 y apareciendo la versin
definitiva en 1972.

UTILIDAD DE PROLOG
Generacion de CGI`s.
Acceso a bases de datos desde paginas Web.
Paralelizacion automtica de programas.
Programacion distribuida y multiagente.
Sistemas expertos e inteligencia artificial.
Validacion automtica de programas.
Procesamiento de lenguaje natural.
Prototipado rpido de aplicaciones.
Bases de datos deductivas.
Interfacing con otros lenguajes como java y Tcl/TK.

CARACTERISTICAS

Modularidad: cada predicado (procedimiento) puede ser ejecutado, validado y

examinado independiente e individualmente. Prolog no tiene variables globales, ni
asignaciones.
Polimorfismo: se trata de un lenguaje de programacin sin tipos, lo que un alto
nivel de abstraccin e independencia de los datos (objeto).

VENTAJAS

La habilidad de PROLOG para calcular de forma procedimental es una de las

ventajas espeificas que tiene el lenguaje.
No hay que pensar demasiado en la solucin del problema, ya que Prolog infiere
sus respuestas basndose en las reglas declaradas dentro del programa.

EVALUACIN DEL LENGUAJE

PROLOG va bien para problemas de relaciones, p.e. Tratamiento del lenguaje

natural, y consulta de bases de datos.
A pesar de que es posible desarrollar programas sin especificar el algoritmo de
resolucin a veces hay que hacer uso de otro tipo de programacin para hacer los
programas mas eficientes, y a menudo se emplea el corte para limitar el espacio de
bsqueda.

PROGRAMACIN EN PROLOG
Existen dos tipos de clausulas: Hechos y Reglas.
Una regla es del tipo: Cabeza:- Cuerpo.
Un ejem de un hecho es: gato (tom)
Como un lenguaje de propsito general, prolog tambin posee varios predicados
predefinidos para interaccin con el sistema operativo, como entrada/salida, grficos
y comunicacin de datos.

EXPRESIONES
Prolog cuenta con operadores para la unificacion y comparacin, sea con
evaluacin o sea simbolica, como los siguientes:
X es Y % unificacion simbolica con evaluacin.
X=Y % unificacion simbolica.
X=:= % comparacin con evaluacin.
X==Y % comparacin simbolica.

SUBPROGRAMAS Y DE GESTIN DE
ALMACENAMIENTO
PROLOG tiene dos modos:
Modo consulta
Modo pregunta
Alcance de las variables
Funciones normales, van integradas en el lenguaje.

CONTROL DE SECUENCIA

Expresiones, operaciones aritmticas y operadores relacionales.

Enunciados.
Entrada y salida, nl y write.

REPRESENTACIN DE ALMACENAMIENTO

Las reglas y hechos son almacenadas en memoria como listas enlazadas.

La ejecucin de prolog consiste en una bsqueda en profundad de un rbol
contenido todas las posibles soluciones.

TIPOS DEFINIDOS POR EL USUARIO

Las reglas para definir relaciones pueden actuar como tipos de usuario.

TIPOS DE DATOS ESTRUCTURADOS

tomos: constantes y variables de cadena.

Listas, representadas entre [ ].

OBJETOS DE DATOS

Tipos de datos primitivos:

Variable y constantes:
Enteros, reales, caracteres.

OPERADORES

Los operadores tienen asociada una prioridad. Por ejemplo, la expresin a+b*c es
en realidad el termino +(a,*(b,)). Esto es as por que el operador producto (*) tiene
mas prioridad que el operador suma (+). Si no fuese as, se tratara del termino *(+
(a,b),c).