https://www.matchilling.com/introduction-to-logic-programming-with-prolog/

It’s great that Docker is mentioned in this article. Docker is cool to try things you don’t want on your machine permanently.