Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
%%Variables: inician con mayuscula o subrayado ej: _Hola, _lola %%variables anonimas: subrayado solo _ <- todas son asi %%variables ligadas: a(X,3) a(4,Y) <-donde X toma el valor de 4 y Y toma el valor de 3 %% k(Z,Z) y k(4,H) <- H se liga al valor de Z %% una variable no puede ligarse a dos valores distintos. Por ejemplo: k(Z,Z) y %%k(4,3) no unifican, sin embargo k(Z,Z) y k(5,5) sà unifican %% las reglas terminan con un . edad(juan,61). edad(pepe,52). grande(dinosaurio,elefante). grande(elefante,perro). grande(perro,homiga). grande(hormiga,celula). actor(1,1). actor(X,Y) :- X>1, X1 is X-1, actor(X1,Y1), Y is (Y1*X). es_viejo(Individuo) :- edad(Individuo,Valor), Valor > 60. mas_viejo(Individuo,Individuo_b) :- edad(Individuo,Edad).