Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
suma_segura(X,Y,Z) :- number(X), number(Y), Z is X+Y. /** <examples> ?- suma_segura(2,3,X). ?- suma_segura(7,a,X). ?- X is 7 + a. */