Assignments in the AI-course "TDT4136 Logic and Reasoning Systems" at NTNU