Belief dynamics and explanations in AnsProlog - Simari, Guillermo I.