ING. YIM APESTEGUI F.

ING. YIM APESTEGUI F.

PROCEDURAL
El programador programa a la computadora lo que tiene que hacer, paso a paso, rutinas, funciones y procedimientos, hasta alcanzar o ejecutar una funcin. Ejemplo: Registro de un datos en un Formulario

DECLARATIVO
El programador prolog declara la situacin con la que quiere trabajar y el objetivo, a donde quiere ir. Prolog realiza el trabajo de decidir como alcanzar dicho objetivo. Ejemplo. Encontrar al To de Lukas

ING. YIM APESTEGUI F.

OBJETOS Y RELACIONES
OBJETOS Hielo Adoqun pan Gaseosa Agua jugo vapor nube humo RELACIONES Solido Gaseoso Liquido

ING. YIM APESTEGUI F.

HECHOS Los hechos son las relaciones entre los objetos. relacion (objeto, objeto, ) Entonces : Predicate relation Objects Arguments

ING. YIM APESTEGUI F.

CONSIDERACIONES: Los nombres de las relaciones deben comenzar con una letra minscula. Los objetos se escriben separados por comas y encerrados entre parntesis. Al final del hecho debe de ir un punto

ING. YIM APESTEGUI F.

LAS REGLAS Cuando la verdad de un hecho depende de la verdad de otro hecho o de un grupo de hechos se usa una regla. Una regla consta de: una cabeza y un cuerpo. El cuerpo puede estar formado por varios hechos u objetivos.
cabeza : objetivo 1, objetivo 2, ..., objetivo n. Las comas expresan conjuncin y punto al final

ING. YIM APESTEGUI F.

As tenemos:

Adulto_mayor(X) : persona(X,E), E>60. Las variables describen hechos y reglas generales. Los nombres de las variables comienzan con letra mayscula o con el carcter (Variable, V).

ING. YIM APESTEGUI F.

Declarar Constantes Solo una Vez.

expresion=1900+112. texto = "UNIVERSIDAD NACIONAL DEL SANTA". Mostrar constantes:

stdio:: write(texto), stdio:: write("----"), stdio:: write(expresion).

ING. YIM APESTEGUI F.

Ejercicio 01.

ING. YIM APESTEGUI F.

10

Ejercicio 2.

ING. YIM APESTEGUI F.

11

ING. YIM APESTEGUI F.

12

Funciones y predicados
Nombre X mod Y X div Y abs(X) cos(X) sin(X) tan(X) arctan(X) exp(X) ln(X) log(X) sqrt(X) Descripcin Resto de X dividido entre Y. Cociente de X dividido entre Y. Valor absoluto de X. Coseno de X. Seno de X. Tangente de X. Arcotangente de X. e elevado al valor almacenado en X. (Exponencial). Logaritmo neperiano de X. Logaritmo en base 10 de X. Raz cuadrada de X.

ING. YIM APESTEGUI F. random(X) random(X, Y) round(X) trunc(X) val(domain,X) Almacena en X un nmero aleatorio real entre 0 y 1. Almacena en Y un nmero aleatorio en el intervalo 0 <= Y < X. Valor redondeado de X. El resultado es un nmero real. Valor truncado de X. El resultado es un nmero real. Conversin explcita entre dominios numricos.

13

Comparaciones
Smbolo < <= = > >= <> o >< Relacin menor que menor o igual que igual que mayor que mayor o igual que Distinto

ING. YIM APESTEGUI F.

14

Ejercicio 3

ING. YIM APESTEGUI F.

15

ING. YIM APESTEGUI F.

16

Ejercicio Calificado Realice un programa en Prolog, para determinar si un nmero entero es Primo