Post

@narphorium.com

Jev can't reason. So I built an interpreter that reasons for it. It runs a logic language where the facts and rules are plain English.

insane. where is the full article with the full-steps playback?

@narphorium.com

Thanks! The code is open source now so you can run it. What would you like to see if I were to do a blog post? github.com/narphorium/n...

github.comGitHub - narphorium/nl-logic-interpreter: A step-through logic interpreter for natural-language facts and rules, unified with JevA step-through logic interpreter for natural-language facts and rules, unified with Jev - narphorium/nl-logic-interpreter

19/9/26, 11:34 pm0 reposts1 like

Just explain how it works roughly and give a interactive playback in HTML5. I already know miniKanren, so maybe you want to reference that?