The Incorporation of Logic Formalisms to Natural Language Through Logic Programming