DTD を使用して単純な (IF Then) ルールをモデル化したいと考えています。これは私が思いついたものです:
<!ELEMENT forward ((rule | fact)*)>
<!ELEMENT rule (if, then)>
<!ELEMENT fact (#PCDATA)>
<!ELEMENT if (#PCDATA)>
<!ELEMENT then (#PCDATA)>
これは forward ルール ( p => c) の dtd です。if と then の代わりに結論要素と前提要素を使用して、後方規則 ( c <= p) もモデル化したいと考えています。if と then を cons と prem に変更する必要があるだけですか、それとも何か他のことをする必要がありますか。ご回答ありがとうございます。