Instalacion de PROLOG
-
Upload
luis-villagomez -
Category
Documents
-
view
307 -
download
0
description
Transcript of Instalacion de PROLOG
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