https://mixrolikus.cc/video/NhlXqxYE1hs/prolog-1-intro-to-prolog-backchaining-is-vs