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

a bit of the way toward joe armstrong’s entropy reverser