An Overview of the SWI-Prolog Programming Environment
Prolog and natural-language analysis