Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
suma(0,Y,Y). % R1 suma(s(X),Y,s(Z)) :- suma(X,Y,Z). % R2 /** <examples> ?- suma(s(0),s(s(0)),X). ?- suma(X,s(s(0)),s(s(s(0)))). ?- suma(X,Y,s(s(0))). ?- suma(s(0),X,Y), suma(X,Y,s(0)). */