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.

To match a goal against a fact or a rule, the interpreter asks Jev questions like: Could "Abe is the father of Y" and "Abe is Homer's father" state the same fact? Jev answers with a probability. The rest is ordinary proof search, written in code.

Jev doesn't generate text, so I used Claude Haiku to turn the question into a logic query first. After that, this query took 100 Jev calls in 8.5 seconds, for roughly a quarter of a cent.