Natural Language Understanding and Logic Programming