Prolog and Natural-Language Analysis[1] is great from both theoretical and practical standpoints.

[1] http://www.mtome.com/Publications/PNLA/prolog-digital.pdf