原帖内容

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.