Hacker News new | ask | show | jobs
by khaled_ismaeel 167 days ago
Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/
2 comments
jayd16 167 days ago
If it's a DSL then it's "writing a new language" and you're just calling from a native API, no?
link
naasking 166 days ago
Embedded DSLs are libraries. They are the epitome of the advice to write a library. It just so happens that the library abstractions could map to a language if you wanted to add parsing and all of the other machinery.
link
EricRiese 167 days ago
Clojure's core.logic is based on minikanren, so that fits the bill.
link