Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
siguiente(a,1). siguiente(1,b). sucesor_1(X,Y) :- siguiente(X,Y). sucesor_1(X,Y) :- siguiente(X,Z), sucesor_1(Z,Y). sucesor_2(X,Y) :- siguiente(X,Y). sucesor_2(X,Y) :- sucesor_2(Z,Y), siguiente(X,Z). /** <examples> ?- sucesor_1(X,Y). ?- sucesor_2(X,Y). ?- findall(X-Y,sucesor_1(X,Y),L). ?- findall(X-Y,sucesor_2(X,Y),L). */