Production system (or model). Load facts and rules from files and than prove other facts.
>= 0
Alexander Svetly