我想使用 DTD 建模一个简单的(IF Then)规则。这就是我想出的:
<!ELEMENT forward ((rule | fact)*)>
<!ELEMENT rule (if, then)>
<!ELEMENT fact (#PCDATA)>
<!ELEMENT if (#PCDATA)>
<!ELEMENT then (#PCDATA)>
这是前向规则 (p => c) 的 dtd。我还想使用结论和前提元素而不是 if 和 then 来模拟后向规则( c <= p)。我只需要更改 if 和 then 到 cons 和 prem 还是我需要做其他事情。我很欣赏你的回应。