Gramáticas lógicas: resolución de problemas en lenguaje natural