Logic Programming for knowledge intensive applications thesis

Jan Wielemaker, SWI-Prolog contributor has published his PhD thesis: Logic programming for knowledge-intensive interactive applications.

I’ve been getting back to knowledge based applications again and again and Jan’s thesys looks good enough to invest some time reading the 257 pdf file. 

Additionally, the swi-prolog site has an interesting page with some additional publications.