https://weddingunveiled.blogspot.com/2022/06/lisp-and-prolog-in-artificial.html