Add hw5 (Prolog)