https://codembx.blogspot.com/2024/01/prolog-code-for-block-world-problem.html