Inteligencia Artificial

Prolog

SWI Prolog
http://www.swi-prolog.org/Download.html

Archivos – abrir un archivo de texto.

Archivos con extensión PL –> son archivos de texto.

Se componen por reglas, tres conceptos fundamentales

Ejemplo: es_un_pais (guatemala).

1. Nombre: es_un_pais
2. El o los objetos de la regla: (guatemala)
3. Semántica: es un significado se lo da el programador el que hace la regla (el significado de
la regla es Guatemala es un país.

Comentarios.

Los comentarios van con el símbolo de %

Ejemplo: es_un_pais (guatemala). %Ejemplo IA UMG

Para introducir más objetos.

es_un_pais (honduras).

es_un_pais (el_salvador).

es_un_pais (nicaragua).

Para que sea un programa prolog hay que guardarlo (Save buffer) y compilarlo (compilar buffer)

AL compilarlo se dirige al interprete.

Pantalla de swi prolog.

Ir a la opción modo consulta

1. Si Mexico es un país

es_un_pais(mexico). –trata de buscar el objeto y no lo encuentra por eso muestra falso

Caso contrario.

es_un_pais(guatemala). -- true

Para que muestre toda la BD

Colocar una variable se coloca en mayúscula puede ser cualquier letra

Inteligencia Artificial
Prolog

es_un_pais(X).

Aparece respuesta luego ingresar;

Guatemala;

Honduras;

El Salvador;

Nicaragua.

Otra manera colocar write (X), nl para que repita hasta que haya un fallo.

Ejemplo

es_un_pais(X), write (X), nl, fail.

Definir relaciones entre objetos. Ver que todos los objetos se encuentren.

Ejemplo

es_un_pais (guatemala).

es_un_pais (honduras).

es_un_pais (el salvador).

es_un_pais (nicaragua).

es_un_pais (costa rica).

limita_con (belice,guatemala). %belice limita con guatemala

limita_con (nicaragua,costa rica).

limita_con (guatemala,el salvador).

Guardarlo y compilarlo

Modo consulta

limita_con(belice,guatemala). tiene que dar true

limita_con(belice,costa rica). tiene que dar falso porque no esta en nuestra relación.

Relación con variables

Inteligencia Artificial
Prolog

limita_con(guatemala,X). respuesta el salvador para encontrar varios se pude colocar punto y

coma

Mostrar todos los pares

limita_con(X,Y). – respuesta muestra todas la relaciones

Para que muestre fila con fila

limita_con(X,Y), write (X + Y), nl,fail.

Para que se muestre más elegante.

limita_con(X,Y), write (X), write(‘ ‘), write (Y), nl,fail.