Added halfAdder and fullAdder in Prolog