Programación lógica en la comprensión del lenguaje natural