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.

Wait, I don’t get what Jev’s role is here. It seems like this is a datalog/prolog for reasoning, and Haiku converts question to query for the reasoning system…what does Jev have to decide?

Jev decides if two statements can be unified. So it can do fuzzy matching on natural language statements

does it still do prolog style order of matching and stuff with normal backtracking? i want jev to decide which way to go in the resolution