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