COMPUTATIONAL-LOGIC-notes-first-curse-1o-Artificial-Intelligence-UAB.pdf