Re:Show HN: The Whole Code Catalog
by simplify on Tuesday September 10, 2019 @04:23PM
(#20933257)
Are any of these systems based on Prolog? I feel like the next great advancement will need to use the core concept of logic programming to some extent.
[ Parent
| on HN ]
Re:Show HN: The Whole Code Catalog
by spiralganglion on Tuesday September 10, 2019 @05:14PM
(#20933824)
With projects like MiniKanren, it's more likely we'll see logic programming included in a language as a library, rather than rooted at the core of the language. Look at what Clojure did with Datomic (which uses Datalog as a query language) and core.logic (an implementation of MiniKanren).