Comment by khaled_ismaeel 1 month ago Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/ 3 comments khaled_ismaeel Reply jayd16 1 month ago If it's a DSL then it's "writing a new language" and you're just calling from a native API, no? naasking 1 month 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. EricRiese 1 month ago Clojure's core.logic is based on minikanren, so that fits the bill.
jayd16 1 month ago If it's a DSL then it's "writing a new language" and you're just calling from a native API, no? naasking 1 month 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.
naasking 1 month 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.
If it's a DSL then it's "writing a new language" and you're just calling from a native API, no?
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.
Clojure's core.logic is based on minikanren, so that fits the bill.