7/17/2019 Instalacion de PROLOG

http://slidepdf.com/reader/full/instalacion-de-prolog 1/5

LENGUAJES DE PROGRAMACIÓN

INSTALACIÓN DE PROLOG

Donde conseguir el compildor

Por ser opensource, se puede descargar gratis de varias páginas. Algunos ejemplos

son: http://www.visual-Prolog.com/vip6/product/default.htm

http://www.amzi.com/download/Prologdownloadsites.htm

http://win.all!estsoft.com/freedownload-"6##-visual-Prolog.html

Como ins!lr Am"i# Prolog

$nstalaci%n de Amzi& Prolog en 'indows: (a instalaci%n inicia con la ejecuci%n de amzi)-)-)win.e*e, el cual

instalará Amzi& en el directorio escogido. (uego seguir los siguientes pasos:

$igur %& Primero aparece la pantalla de +ienvenida. e selecciona el !ot%n marcado )e*t para seguir.

7/17/2019 Instalacion de PROLOG

http://slidepdf.com/reader/full/instalacion-de-prolog 2/5

$igur '& e acepta los trminos en el acuerdo de licencia 01 selecciona el !ot%n )e*t2.

$igur (& e presenta informaci%n so!re el programa 3ue se está

instalando.

7/17/2019 Instalacion de PROLOG

http://slidepdf.com/reader/full/instalacion-de-prolog 3/5

$igur )& e escoge el destino de instalaci%n.

$igur *& e confirma la informaci%n de instalaci%n para iniciar el proceso.

$igur + $igur ,

(uego de finalizar la instalaci%n, se puede iniciar la programaci%n en Prolog.

E-emplos de progrmci.n en Prolog

4 E-emplo /%: se muestra el uso de la instrucci%n l%gica if en Prolog.

55

55echos

55

7/17/2019 Instalacion de PROLOG

http://slidepdf.com/reader/full/instalacion-de-prolog 4/5

 padrede07juan7, 7maria72. 5 juan es padre de maria

 padrede07pa!lo7, 7juan72. 5 pa!lo es padre de juan

 padrede07pa!lo7, 7marcela72. 5 pa!lo es padre de marcela

 padrede07carlos7, 7de!ora72. 5 carlos es el padre de de!ora

5

58elaciones

5

hijode0A,+2 :- padrede0+,A2. 5 A es hijo de + si + es padre de A. a!uelode0A,+2 :- padrede0A,92, padrede09,+2.5 A es a!uelo de + si A es padre de 9 9 es padre +. hermanode0A,+2 :- padrede09,A2 , padrede09,+2, A ;<< +.

5 A + son hermanos si el padre de A es tam!in5 el padre de + si A + no son lo mismo.

5 A + son familiares si A es padre de + o Aes hijo de + o A es hermano de +

familiarde0A,+2 :- padrede0A,+2. familiarde0A,+2 :- hijode0A,+2.

familiarde0A,+2 :- hermanode0A,+2.

55 55 9onsultas de

 prue!a 55

=- hermanode07juan7, 7marcela72. 5 juan es hermano demarcela= es

=-hermanode07carlos7, 7juan72. 5 carlos es hermano de juan= no

=-a!uelode07pa!lo7, 7maria72. 5 pa!lo es a!uelo de maria= es

=- a!uelode07maria7, 7pa!lo72. 5 maria es a!uela de

 pa!lo= no

>?@

(a parte del ejemplo 3ue ilustra el uso del if ‟ son las relaciones: hijode02, a!uelode02, hermanode02 familiarde02. (as relaciones no se cumplen a menos de 3ue se cumpla la condici%n despus del operador de

implicaci%n l%gica 0:-2

4 E-emplo /'& e dispone de una !ase de conocimiento compuesta de reglas so!re clasificaci%n de animales

hechos so!re caracterBsticas de un animal. 8egla C: i un animal es ungulado tiene raas negras, entonces es una

ce!ra. 8egla ": i un animal rumia es mamBfero, entonces es ungulado. 8egla #: i un animal es mamBfero

tiene pezuDas, entonces es ungulado. echo C: 1l animal es mamBfero. echo ": 1l animal tiene pezuDas. echo

#: 1l animal tiene raas negras. >E@

5

58eglas5

esce!ra :- esungulado, tieneraasnegras. 5 8egla C

esungulado :- rumia, esmamBfero. 5 8egla "

esungulado :- esmamBfero, tienepezuDas. 5 8egla #

5

5echos

5

7/17/2019 Instalacion de PROLOG

http://slidepdf.com/reader/full/instalacion-de-prolog 5/5

esmamBfero. 5 echo C

tienepezuDas. 5 echo "

tieneraasnegras. 5 echo

#

5 59onsulta de

 prue!a 5

=- esce!ra

Fes