That is already how you program Prolog, no proof reading or machine learning required. I also think that specifying the problem is one of the harder aspects of

That is already how you program Prolog, no proof reading or machine learning required. I also think that specifying the problem is one of the harder aspects of software development. On the contrary, I think machine learning might be more immediately useful for things like low-level optimization.