The only way to make it work is to have a computer model that represents human concepts (this was why we started our company actually) None of the current repr

The only way to make it work is to have a computer model that represents human concepts (this was why we started our company actually) None of the current representation schemas do the job, so unless someone comes up with a new model, the power of the programming language you use won't help much. I think with the right model, though, deploying in Lisp could be pretty powerful. It requires serious epistemology work and also logic. I think Fred Sommers has the right logic for the job, but the conceptual model is still needed.