I'd like to share a great blog that my colleague and friend has started to write about Artificial Intelligence and Reasoning and expert systems: The blog CodeCereal by Daker Fernandes, an undergraduate student from Informatics Center (CIN) / UFPE .
I've read some posts and it's quite interesting the recently posts about abudctive reasoning, knowledge representation and the building of expert systems using Prolog. Anyone interested about this area and logic programming must take a look at this blog!!
Congratulations Daker and keep going with this great work!