14 ms·

Making a “MiniKanren” using Z3Py

• carapace 5y ago
  philzook you are rapidly becoming one of my favorite bloggers! I don't have anything to add, really, I just want to encourage you. Your content and style are awesome. :)
  • philzook 5y ago
    Wow! I really appreciate this! I'll try to think of this during my frequent existential crises wondering what the hell I'm doing with my life.
• irrational 5y ago
  If first read this as Mini Karen. I was imagining a Karen that asks for the assistant manager.
• Y_Y 5y ago
  Awesome. I also liked your implementation in Julia. What about evalo though?
  • philzook 5y ago
    A good question. For reference, here is a link to an interactive version of evalo being explained http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp Very intriguing stuff. I have not studied evalo in depth yet. I am curious about the relationship between evalo and higher order unification.
• sterlind 5y ago
  I'm very unfamiliar with this, but are Kanrens similar to Answer Set Programming? with ASP programs you generate a set of symbols, define relations between them and then filter out wrong answers with logic formulas. It's a prolog-y dialect that gets solved with something like a SAT solver.
  • deleted 5y ago
    [deleted]