The standard for computational grammars and parsers in natural language processing is:
Prolog and Natural-Language Analysis - Fernando C. N. Pereira and Stuart M. Shieber
The PDF is available from the publisher: http://www.mtome.com/Publications/PNLA/prolog-digital.pdf
It also serves as a great introduction to Prolog and logics programming.