Post

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.

Okay, I guess that's interesting as an experiment, but you just showed us a video of it not answering the prompt correctly. The prompt reads, "Who are all the grandfathers"? The "Solution" identifies one grandfather (Orville) but not the other (Abe).

Yeah, I decided just to record a quick video. Didn't realize this many people would reshare it. If you look closely, your screenshot shows "step 16 of 84". I can assure you that by step 34 it finds all the grandpa relations

But I should also just clean up the code and open source it so you can try it out for yourself