A plain-English logic interpreter

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.

原帖

社区作品墙