Logic Grammar

The use of Logic Programming for natural language
processing. The approach views parsing as
Theorem Proving
in a logic in which the lexicon and the grammar are interpreted as axioms
and deduction rules. Prolog can easily be used as a
parser if the grammar rules are written as
Horn clauses.
However, it is generally acknowledged that First-order
Logic is not powerful enough for natural language applications, and
many extensions have been recently proposed to overcome these deficiencies.