==> logic/hofstadter.p <== In first-order logic, find a predicate P(x) which means "x is a power of 10."