Prolog is an inspired revelation of the equivalence of logical relationships and sequential computation. Expressiveness and meta-programming capabilities in its

Prolog is an inspired revelation of the equivalence of logical relationships and sequential computation. Expressiveness and meta-programming capabilities in its homoiconic syntax are off the charts. Caveats (of which there are many) aside, Prolog is an exemplary achievement of humankind. miniKanren is an embedded logic language. Now, practically speaking, if you need logical reasoning, you’ve got SWI-Prolog which is highly optimized, mature, actively developed, and has high-level concurrent predicates baked-in. Or (as I’ve done with less success) embed miniKanren in your language of choice and wish yourself luck while you try to get all your cores working on the same problem together.