2 ms·
Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/ https://minikanren.org/
by khaled_ismaeel 9mo ago
Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/ https://minikanren.org/
- jayd16 9mo agoIf it's a DSL then it's "writing a new language" and you're just calling from a native API, no?
- naasking 9mo agoEmbedded 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.
- EricRiese 9mo agoClojure's core.logic is based on minikanren, so that fits the bill.