https://mounirsamite.com/posts/data-structure-prolog/