Predicados de primer
orden PROLOG lógica
LOGICA DE PRIMER
ORDEN
Cuantificadores
Universal
Existencial
_______________________________
Operadores boléanos
Conjunción
Disyunción
Negación
Funciones Booleanas (ENUNCIADOS)
Hoy esta nublado y hoy llovió
Variables X=nublado Y=Llovió
Simplificado Hoy(X˄Y)
Variables X=nublado Y=Llovió
Simplificado Hoy(X˄Y)
EJERCICIO PROLOG FACTORIAL
Factorial
/*
El factorial de N es: 1 si N=1
de otra forma N!=(N-1)*(N-2)*...*3*2*1
*/
/*hechos
*/
factorial(0,1).
/*Reglas */
factorial(A,B):-
A>0. //Verifico es A mayor que 0
C is A-1. //Decremento el parametro de entrada y lo asigno a una variable auxiliar
factorial(C,D). //Llamo recursivamente al predicado
B is A*D. // La multiplicacion se asigna al resultado
Factorial
/*
El factorial de N es: 1 si N=1
de otra forma N!=(N-1)*(N-2)*...*3*2*1
*/
/*hechos
*/
factorial(0,1).
/*Reglas */
factorial(A,B):-
A>0. //Verifico es A mayor que 0
C is A-1. //Decremento el parametro de entrada y lo asigno a una variable auxiliar
factorial(C,D). //Llamo recursivamente al predicado
B is A*D. // La multiplicacion se asigna al resultado
