Hot take... Prolog is underrated. A lot of you been sleeping on logic programming just because it was an 80s fad and part of the first AI winter. But it was legitimately a useful technique for solving lots of problems.