Rule-Engine

toulmin -- 计算契约的规则引擎

规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。