Hola alguien me podria definir bien que es algo inversible (no tengo bien definido el concepto) y como usar algo unificado y cuando no EN LOGICA?
Vi la pagina que dieron de catedra pero no me convence, alguien recomienda algun libro para la materia? me seria de gran ayuda ya que se acerca el parcial.
Que un predicado sea inversible es que si vos le mandas variables, éste te devuelve toda la combinatoria posible de resultados que hace verdadero a éste. (DEFINICION MUY CABEZA).
(08-05-2015 21:19)Martin. escribió: [ -> ]Que un predicado sea inversible es que si vos le mandas variables, éste te devuelve toda la combinatoria posible de resultados que hace verdadero a éste. (DEFINICION MUY CABEZA).
Osea esto seria inversible:
numeros(Entre):-between(1,10,Entre).
esMayor(Num,OtroNum):-numeros(Num),numeros(OtroNum),Num>OtroNum.
________________________________________________________
Y esto que tiene que ver con inversible o como se llama? si consulto agua sale true.
hombre(daniel).
hombre(esteban).
hombre(diego).
mujer(X):-not(hombre(X)).
_________________________________________________________
aca si consulto agua me sale false, algo coherente al agregarle persona.
hombre(daniel).
hombre(esteban).
hombre(diego).
persona(liliana).
persona(Y):-hombre(Y).
mujer(X):-persona(X),not(hombre(X)).