I see a problem with language here. At the end of the day, you have to make a computer understand what you want. Sure, you can increase the expressiveness of

I see a problem with language here. At the end of the day, you have to make a computer understand what you want. Sure, you can increase the expressiveness of your computer language. You can even have it pick an algorithm for you under lots of circumstances (f.ex. logic programming). But you still have to explain what you mean.