Prolog is such a bizarre language. Part of my undergraduate studies involved learning about various programming paradigms (and new languages) and that included SWI prolog. We covered it as an example of logic programming, in the 21st century, and to this day I do not understand how it remains in current memory.
I've been told it historically was used for machine learning research, but at least lisp had a more natural structure.
I'd like to describe it as programming using a single yet very long ternary operator chain. But I don't think I'm proficient enough to say so.
https://github.com/mthom/scryer-prolog/compare/master...baka...