INTRODUCCIN

Un mtodo de software para la bsqueda rpida y muy utilizada en la Inteligencia

Artificial Es PROLOG, su termologa en francs Programmation en Logique, que

significa lenguaje de programacin declarativa

PROLOG, nace desde los 70s en Francia, su primera aparicin fue programada

en ALGOL W. inicialmente se trataba de un lenguaje totalmente interpretado.

A continuacin se detallara ms de cerca que significa PROLOG, sus

funcionalidades, elementos, y procesos.

MARCO TERICO

2.1. PROLOG

PROLOG tambin utiliza una estrategia de control retroactiva sin informacin

heurstica, es muy simple para aprender y manejar.

2.1.1. SIMBOLOGA DEL LENGUAJE PROLOG

La simbologa es muy sencilla consta de:

Caracteres

o Alfanumricos ( AZ, az, 09)

o Especiales (+ - * / = :- &)

Es un Lenguaje como SHELL, para la

programacion de sistemas expertos basados en Reglas

Representa Datos y Conocimiento

Utiliza encadenamiento

hacia atras.

Cadena del Lenguajes

o Los nombres de predicados y las constantes del dominio empiezan

con minscula y se construyen como cadenas de letras, dgitos y _

o Literales numricos, como cualquier lenguaje de programacin, y

cadenas de caracteres entre comillas simples

o Variables: Cadenas de letras, dgitos y _ empezando con

mayscula

o Comentarios como en C: /* Comentario */

2.1.2. ELEMENTOS DE PROLOG

PROLOG se caracteriza por sus elementos que son:

Hechos

Reglas (Conjugaciones y Disyunciones)

Preguntas u Objetivos

2.1.2.1. HECHOS

Los hechos una de las partes fundamentales del lenguaje PROLOG, Para

explicar los fundamentos de PROLOG , analicemos la siguiente frase, Para decir

que David es uno de los dos hijos de Daniel, podramos declarar el siguiente

hecho PROLOG:

hijos (david, daniel).

Hijo es el nombre de la relacin, David y Daniel son los argumentos de los

hechos.

Los hechos no tienen que reflejar el mundo real necesariamente, pero ser nica

y exclusivamente lo que PROLOG tomar como verdadero. Un conjunto de

hechos, junto con un conjunto de reglas, forman lo que se llama una base de

datos PROLOG.

Se debe tener en cuenta que las variables son Maysculas; que las constantes

son Minsculas; cada afirmacin debe terminar en Punto; nos e aceptan

constantes con Espacios En Blancos.

2.1.2.2. REGLAS

Las reglas son sentencias condicionales, ejemplo Si el hipoptamo come

hierba, entonces es herbvoro

Herbvoro (hipoptamo):- comehierba (Hipoptamo)

Conjugaciones

Se emplea el operador lgico AND y se utiliza la coma para su utilizacin

Ta (X, Y):- hermana (X, Y), Padre (Z, Y).

Disyuncin

Se emplea el operador lgico OR y se utiliza el punto y coma pata su

utilizacin.

Hijo (X, Y):- padre (Y, X); madre (Y, X)

2.1.2.3. PREGUNTAS Y CONSULTAS

Antes de realizar una consulta se debe registrar todo los hechos y reglas, a todo

eso se le llama base de conocimiento. En tiempo de ejecucin, aparece el

prompt?- y el intrprete de PROLOG espera que el usuario introduzca un objetivo

en forma de predicado, con o sin variables.

Supongamos que en la base del conocimiento tenemos que esHombre (David).

Se carga el fichero, previamente enlazamos la base de conocimiento a la

consulta, luego saldr lo siguiente:

Realizamos la pregunta

?- esHombre (juan). Yes ?- esHombre (perro). No

AND REGLA DE

CONDICION

OR REGLA DE

CONDICION

Las respuestas a una consulta pueden ser, Si o No (Yes, NO) dependiendo del

lenguaje codificado, para que responda correctamente se utiliza la tecla ENTER

para finalizar o para ms respuestas (;).

2.2. SWI_PROLOG

SWI es un software de libre disposicin basado en la sintaxis de Edimburgo, es

muy utilizado para realizar consultas y generar una base de conocimiento.

Se ingresa la base del

conocimiento Preguntas o Consultas Respuestas

CONCLUSIN

PROLOG es un lenguaje muy eficaz, que permite generar respuestas mediante

una base de conocimiento previamente almacenada, es de vital importancia

conocer cmo funciona este lenguaje, porque si no se tiene conocimiento previo

se hace dificultoso manejarlo.

SWI para PROLOG, es una herramienta til para generar este lenguaje.

BIBLIOGRAFA

Alfonso, C. 2013. PROLOG. (En lnea). Consultado, 02 de jul. 2015. Formato

PDF. Disponible en:

http://www.infor.uva.es/~calonso/IAI/PracticasProlog/Tema1/Tema%20

1.%20Introduccion%20PROLOG.pdf

Berzal, F y Cubrero. J. PROLOG. s.f. (En lnea). Consultado, 2 de jul. 2015.

Formato PDF. Disponible en:

http://elvex.ugr.es/decsai/intelligent/workbook/ai/PROLOG.pdf

Lpez. B. s.f.. Bsqueda Heurstica. (En lnea). Consultado, 02 de jul. 2015.

Formato PDF. Disponible en:

http://www.itnuevolaredo.edu.mx/takeyas/apuntes/Inteligencia%20Artifi

cial/Apuntes/IA/Prolog.pdf

Toledo, F. 2008. PROLOG. (En lnea). Consultado, 02 de jul. 2015. Formato

PDF. Disponible en: http://mural.uv.es/mijuanlo/PracticasPROLOG.pdf