top | item 46526712 (no title) khaled_ismaeel | 1 month ago Not exactly prolog, but logic programming implemented as a library/DSL: https://minikanren.org/ discuss order hn newest 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.
jayd16|1 month ago
naasking|1 month ago
EricRiese|1 month ago