https://oplachko.com/2020-09/logic-programming-with-prolog/