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.

Publicación original

Muro comunitario