There is also work on mapping some version of English (or another natural language) automatically to and from logic, and executing the logic directly.
То је рад на мапирању неке верзије енглеског (или неки други природни  језик) аутоматски да и из логике, и извршавање логике буде директно.