Another great example of how one can seek opportunities where others don't look -- because people misapply fundamental laws and principles. In years past, many people would have told you such a program is a fruitless endeavor, because of the Halting Problem. (One would have been a CS professor of mine!) The Halting Problem only shows that such programs can't be perfect, not that imperfect but tremendously useful examples can't exist.
A priori knowledge and fundamental principles are valuable, but they are often widely misapplied. This is a great "rock to look under," as such principles are often very powerful, yet a great many are mistakenly scared away and don't bother to look closely.