In Prolog, what is the best way to write a predicate that computes the sum of two numbers? sum(X,Y):N=X+Y, write (N). sum(X,Y)=N is X+Y, write (N). sum(X,Y,N):N=X+Y. sum(X,Y,N):N is X+Y