PONTIFICIA UNIVERSIDAD CATLICA DEL

ECUADOR
SEDE ESMERALDAS PUCESE
Calculo proposicional
Ing. Cesar Godoy
2do SISTEMAS 03/02/2015

KEVIN CRUEL

TEMA: Prolog

Introduccin

El Prolog (o PROLOG), proveniente del francs PROgrammation en LOGique, es un lenguaje para

programar artefactos electrnicos mediante el paradigma lgico con tcnicas de produccin final
interpretada.

Se trata de un lenguaje de programacin ideado a principios de los aos 70 en la Universidad de Aix-

Marseille I (Marsella, Francia) por los estudiantes Alain Colmerauer y Philippe Roussel. Naci de un
proyecto que no tena como objetivo la traduccin de un lenguaje de programacin, sino la
clasificacin algortmica de lenguajes naturales. Alain Colmerauer y Robert Pasero trabajaban en la
parte del procesado del lenguaje natural y Jean Trudel y Philippe Roussel en la parte de deduccin e
inferencia del sistema.

Prolog es un lenguaje de programacin creado para representar y utilizar el conocimiento que se

tiene sobre un determinado dominio. Ms exactamente, el dominio es un conjunto de objetos y el
conocimiento se representa por un conjunto de relaciones que describen las propiedades de los
objetos y sus interrelaciones. Un conjunto de reglas que describa estas propiedades y estas relaciones
es un programa PROLOG. Una definicin ms accesible para el usuario comn sera:
Prolog es un lenguaje de programacin que es usado para resolver problemas que envuelven objetos
y las relaciones entre ellos.

Caractersticas de prolog

Tipos de datos primitivos: variables y constantes:

Enteros
Reales
Caracteres
Los identificadores con minscula representan hechos, los que van con mayscula variables.
El alcance de una variable es la regla donde aparece.

Tipos de datos estructurados:

Constantes y variables de cadena.

Listas, representadas entre [ ].
Tipos definidos por el usuario. Las reglas para definir relaciones pueden actuar como tipos de
usuario.
Practica

1. Abrir Prolog

2. Crear nuevo archivo

3. Carga la siguiente base de datos de pases con sus respectivas capitales.

4. Veamos cmo un programa Prolog es capaz de adquirir nuevas clusulas en tiempo de

ejecucin.

Esto es muy parecido a crear una tabla en una base de datos, slo que cada caso se
especifica mediante una clusula independiente.

5. Usar comando listing.

Muestra todas las clusulas que conforman el programa en memoria.

6. Usar comando listing(predicado).

Esto slo muestra aquellas clusulas asociadas al predicado indicado como parmetro.
7. Usar comando hacer assert

Permite agregar nuevas clusulas a la base de datos mediante el predicado. Sin embargo,
esto slo funciona para predicados que han sido marcados como dinmicos mediante el
predicado dynamic/1.

Observemos que assert agrega la clusula al final de la lista de predicados del mismo
nombre. Existe tambin asserta y assertz, que agregan la clusula al comienzo y al final
respectivamente. Agrega dos clusulas nuevas a la base de datos, y verifica luego que stas
fueron efectivamente incluidas. Qu ocurre si agregas una clsula con un predicado
nuevo, por ejemplo, assert (hola)? Verifica consultando por listing (hola).

8. Retract

Permite eliminar una clusula de la base de datos.

9. Tell y told.
 Crea y Abre al archivo y redirige la escritura hacia l, anlogo a see. Para cerrar al archivo,
aplicar told.

EL archivo nuevo se ha creado con xito podemos acceder a los datos que ingresamos
manualmente en entre estos datos tenemos ariel y eduardo.

10. See, seen.

Abre un archive y lo establece como fuente de los comandos de lectura, tales como read.
Para cerrarlo, aplicar seen

Tras ejecutar la consulta anterior, revisa si existe el archivo nuevo y si su contenido es el

esperado. Ahora, vuelve a leer los datos escritos mediante: read(X), read(Y).