https://mounirsamite.com/posts/prolog-overview/