https://123dok.net/document/y4w24p0v-using-rules-to-animate-prolog-programs.html