prolog-exercise2024-3.zip