Addition Program In Prolog