TODO list prolog-project.