4 ms·
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.
by simplify 7y ago
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.
- spiralganglion 7y agoWith 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).