【发布时间】:2011-05-23 16:53:57
【问题描述】:
我想使用 DTD 建模一个简单的 (IF Then) 规则。这是我想出的:
<!ELEMENT forward ((rule | fact)*)>
<!ELEMENT rule (if, then)>
<!ELEMENT fact (#PCDATA)>
<!ELEMENT if (#PCDATA)>
<!ELEMENT then (#PCDATA)>
这是转发规则的 dtd (p => c)。我还想使用结论和前提元素而不是 if 和 then 来模拟后向规则( c
【问题讨论】: