miniKanren by Friedman is another http://minikanren.org/

The fundamental idea is declarative programming. You say what you want and the system figures out how to give you what you want.

This idea is so powerful that Japan announced "The Fifth Generation Project". https://en.wikipedia.org/wiki/Fifth_generation_computer

Prolog never seemed to generate much interest once the Fifth Generation died. But that's likely to change. Logic programming, especially in the area of program verification and proof systems https://en.wikipedia.org/wiki/Lean_(proof_assistant) are a growing area of interest. Computers are vital to all parts of life these days and logic is becoming more mainstream.

But as a programming language Prolog completely changes the "Why" and "What" mindset. If you "say what you want" rather than "how to compute what you want" then the machine can "answer questions" in unexpected ways. Trivially, if you wanted to know C given A and B you could say:

C = A + B

but from a Prolog mindset, this is also a computation of A given C and B or B given A and C. You said you wanted a relation, not how to compute it so Prolog can be used to figure out the relation in any way you want, given what you already know.

Declarative programming in Prolog (or miniKanren https://www.youtube.com/watch?v=fHK-uS-Iedc) deeply changes the way you think and write programs. Computers that do what THEY understand can be used in both forward and backward ways of thinking.

Prolog is a "must know" language.