Post from the news feed on the course ID2213 logic programming