in chapter 3 of the prolog book, we have discussed how to implement the add predicate using the definition of numeral with the successor (complex) term. now we would like to extend the system to detect if a numeral is a power of 2.