1. Informe de instalación
de programas CLIPS
LIPS Y PROLOG
Integrantes
Guido Arauz
JennifferLlivisaca
Sandy Sánchez
Fernanda Solis
Lara Pablo
2. PROLOG
Es un lenguaje para programar artefactos electrónicos mediante el paradigma lógico con
técnicas de producción final interpretada. Es bastante conocido en el área de la Ingeniería
Informática para investigación en Inteligencia Artificial.
SWI-Prolog es una implementación en código abierto (en inglés, open source) del lenguaje
de programación Prolog. Su autor principal es JanWielemaker. En desarrollo
ininterrumpido desde1987, SWI-Prolog posee un rico conjunto de
características, bibliotecas (incluyendo su propia biblioteca para GUI, XPCE), herramientas
(incluyendo un IDE) y una documentación extensiva. SWI-Prolog funciona en las
plataformas Unix, Windows y Macintosh.
El presente informe contiene los pasos a realizar para descargar instalar y correr
SWI-PROLOG
Como primer paso buscamos un link de confianza para proceder a la descarga , nuestro
grupo opto por:
http://www.swi-prolog.org/download/stable
3. Cuando el archivo este descargado ejecutamos y listo
Archivo ejecutable
Una vez descargado e instalado nos damos cuenta que el interfaz de Prolog es bastante
simple algo parecida a un documento de txt de Windows , el lenguaje para declarar y
programar es muy parecido al lenguaje natural Ingles, si se tiene algo de conocimiento es
el lenguaje de programación de c++ la codificación en el entorno de Prolog no tendrá
mayor complejidad
Ejemplo:
%%
%% declaraciones
%%
padrede('juan','maria').% juan es padre de maria
padrede('pablo','juan').% pablo es padre de juan
padrede('pablo','marcela').
padrede('carlos','debora').
% A es hijo de B si B es padre de A
hijode(A,B):-padrede(B,A).
% A es abuelo de B si A es padre de C y C es padre B
4. abuelode(A,B):-
padrede(A,C),
padrede(C,B).
% A y B son hermanos si el padre de A es también el padre de B y si A y B no son lo mismo
hermanode(A,B):-
padrede(C,A),
padrede(C,B),
A == B.
% A y B son familiares si A es padre de B o A es hijo de B o A es hermano de B
familiarde(A,B):-
padrede(A,B).
familiarde(A,B):-
hijode(A,B).
familiarde(A,B):-
hermanode(A,B).
%%
%% consultas
%%
% juan es hermano de marcela?
?-hermanode('juan','marcela').
yes
% carlos es hermano de juan?
?-hermanode('carlos','juan').
no
% pablo es abuelo de maria?
?-abuelode('pablo','maria').
yes
% maria es abuela de pablo?
?-abuelode('maria','pablo').
No
Demostración de errores:
12. Para empezar CLIPS, basta con introducir el comando de ejecución adecuado para su
sistema. Usted debe ver CLIPS pronta aparecer como sigue:
CLIPS>
En este punto, usted puede comenzar a introducir comandos directamente en clips. La
modalidad en la que está introduciendo comandos directos que se llama el nivel superior. Si
usted tiene una versión ventana de CLIPS, usted puede seleccionar el comando utilizando el
ratón o las flechas en lugar de escribiendo pulg Por favor consulte el manual de referencia
CLIPS para una discusión de la comandos compatibles con Windows. Por simplicidad y
uniformidad en este libro, vamos a asumir los comandos se escriben pulg. El modo normal
de dejar CLIPS es con el comando exit. Sólo tienes que escribir (salida) en respuesta a los
CLIPS del sistema y presione la tecla de retorno de carro.
Elaboración de una lista
Al igual que con otros lenguajes de programación, CLIPS reconoce determinadas palabras
clave. Para ejemplo, si usted quiere poner los datos en la lista de hecho, se puede utilizar el
13. comando valer -. 3 - Como ejemplo de afirmar, entre lo siguiente después de los CLIPS del
sistema como se muestra:
CLIPS> (assert (pato))
Aquí el comando valer toma (pato) como argumento. Asegúrese de pulsar siempre el tecla
de retorno de carro para enviar la línea de CLIPS.
Verá la respuesta
<Fact-0>
Lo que indica CLIPS ha almacenado el hecho de pato en la lista de los hechos y dado que el
identificador 0. Los paréntesis angulares se usan como delimitadores en CLIPS para rodear
el nombre de un artículo. CLIPS nombrarán automáticamente hechos usando un número
secuencial creciente y listar el mayor índice de hechos cuando se afirma uno o más hechos.
Observe que el comando (assert) y su argumento (pato) están rodeados por paréntesis. Al
igual que muchos otros lenguajes de sistemas expertos, CLIPS tiene una sintaxis Lisp que
utiliza paréntesis como delimitadores. Aunque CLIPS no está escrito en LISP, el estilo de
LISP ha influido en el desarrollo de CLIPS.
14. LISP
1. Iniciando la instalación del programa para continuar la damos clip en next.
2. Se la acepta la licencia para poder seguir con la instalación
3. Aquí se ve todo lo referente a lo que se va a utilizar
15. 4. Se está finalizando la instalación
5. Se está concluyendo con la instalación del programa
Su funcionamiento es de dar a conocer lo que es cada comando y para qué sirve cono se lo
utiliza