You are on page 1of 18

Programación Lógica en

Prolog
Programación en Prolog
• Es computación simbólico, no numérica.
• Nos ayuda a resolver problemas expresados en
forma de objetos y relaciones entre ellos.
• Constantes: Se utilizan para referirse a objetos.
• Predicados: Expresan relaciones entre los objetos.

• Entonces los hechos en Prolog están conformados


por predicados y constantes.
Iniciamos Prolog

• Buscamos la carpeta SWI-


Prolog en la lista de
programas
Tenemos la siguiente interfaz
Importante
• A diferencia de la programación funcional, donde
vamos creando objetos/variables y estos se pueden ir
manipulando/utilizando para llevar a cabo otras tareas,
la programación en Prolog requiere de “alimentar” al
sistema antes de comenzar a interactuar con la
información (hechos) almacenados.

• Un programa en Prolog consiste en un conjuntos de


hechos (afirmaciones simples) y de reglas que afirman
“El hecho A es cierto si son ciertos los hechos B1 y…. Y
Bn”. Estas reglas nos servirán para deducir hechos a
partir de otros.
Programas en Prolog
• A un programa en Prolog se le hacen preguntas.
Crear un programa e Prolog
• Vamos al menú Archivo/File
Crear un programa e Prolog
• Seleccionamos la opción “Nuevo/New”, y damos un
nombre a nuestro programa, para finalmente
presionar “Guardar”.
Crear un programa e Prolog
• En el área de trabajo comenzamos a codificar
nuestro código.
Hechos
• Un Hecho en Prolog, es la relación entre objetos.

• La sintaxis es

• relación (objeto, objeto, …)

• La parte que se nombre como “relación” es el


predicado, y los objetos son los argumentos
Consideraciones
• Los nombre de los predicatos y argumentos deben
comenzar con letra minúscula.
• Primero se escribe el predicado. Los argumentos se
escriben separados entre comas y encerrados entre
paréntesis.
• Al final de hecho se debe poner un punto,
indicando la finalización de la descripción.
Ejemplo de Hecho
• Considerar:

• La capital de Francia es París

• En Prolog sería:

capital(francia,parís).
Ejemplo en archivo .pl

• Guardamos el archivo, y posteriormente lo


cargamos mediante el menú “File/Consult”.
Ya que el hecho ha sido
programado…
• Podemos hacer una consulta.
• capital(francia,paris).
Ya que el hecho ha sido
programado…
• Podemos hacer una consulta.
• capital(francia,parís).
Respuestas
• Se hace una consulta, y se obtiene una respuesta
verdadera o falsa, con base a lo que se programó.

• Pero no es la única forma de preguntar. Podemos


preguntar empleando una variable. Como por
ejemplo…
Consultando con variable.
Reglas
• En Prolog, las reglas se usan cuando se quiere decir
que un hecho depende de un grupo de otros
hechos.
• Sintaxis

Regla:-hecho1, hecho2, …, hechoN

You might also like