Not exactly prolog, but logic programming implemented as a library/DSL:

khaled_ismaeel • last Wednesday at 2:27 PM • 2 replies • view on HN

Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/

jayd16 • last Wednesday at 4:07 PM

If it's a DSL then it's "writing a new language" and you're just calling from a native API, no?

➕ show 1 reply

EricRiese • last Wednesday at 5:30 PM

Clojure's core.logic is based on minikanren, so that fits the bill.

alt Hacker News