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