Why Can't Humans Talk to a Computer?
The technical problems are answered by non-procedural logical constraint-based languages like Prolog.

No queries for www.nyu.edu/pages/linguistics/ling.html