../../Task/Twos-complement/Prolog