Hacker News new | ask | show | jobs
by civilized 1775 days ago
Knowing nothing about miniKanren, I'm curious if you feel its essence much better expressed in a LISP than an Algol-like language like Python? And will relational reasoning increasingly require people to return to LISP as an AI language?

Another question - would it be possible to visualize the exact chain of reasoning used by mediKanren to link ketamine to this disease? It would be wonderful to see exactly what the tool brought to the table that human researchers missed.
2 comments
rscho 1775 days ago
https://youtu.be/d-Klzumjulo
link
mattmight 1774 days ago
miniKanren definitely exploits a lot of the syntactic dexterity of Scheme/Racket/Lisp to do some really cool things -- or at least to express them more succinctly.

Yes, it is always possible, in fact, since logical arguments can always be rendered as proof trees.

link