?- start. X= |: 1. Y= |: 2. Sum is 3 true. start:- write('X= '),read(X), write('Y= '),read(Y), S is X + Y, write('Sum is '),write(S),nl.