
 HANDBOOK OF LOGIC AND LANGUAGE, Elsevier Science, 1996, Introduction Chapter 12 (Site not responding. Last check: 20071107) 
  Ironically, the combinatorial apparatus of Generative Grammar with its focusing on derivations of syntactic structures on the basis of grammatical rules was methodologically closer to logical deductive systems than the descriptive approach of Montague Grammar. 
  According to this view, formal languages of mathematical logic are the only correct representations of meaning structures, hence semantic description of natural language reduces to an interpretation of linguistic expressions within some (flexible enough) standard logical formalism, as, e.g., the theory of types. 
  Grammars are represented by Prolog programs, and grammatical derivations are simulated by executions of these programs, that means, logical proofs employing resolution and unification (see Pereira and Shieber, 1987; Gazdar and Mellish, 1989). 
 www.elsevier.com /homepage/sac/hll/prefch12.htm (1501 words) 
