I don't know if this is just coincidence, but this blog post is fantastically similar to another [1] on Prolog, down the the same quotes, and the same example, though different code.

[1] https://bernardopires.com/2013/10/try-logic-programming-a-ge...