Prolog 将DTD映射到数据日志程序

谁能帮我写一个数据日志程序，它相当于给定的DTD

DTD：

]>

---

在将dtd转换为相应的数据日志程序时，我们是否需要遵循任何特定规则？

FYI。Datalog是一种真正的声明性逻辑编程语言，在语法上是Prolog的一个子集。如果你能在Prolog中回答上面的问题，它和datalog一样好：）在datalog中，它要困难得多…是的，我知道，我只需要datalog程序根据我的事实是否满足规则来说真或假（是/否）。。

<!DOCTYPE abc[
<!ELEMENT abc (xyz*|def+)>
<!ELEMENT xyz (def?)>
<!ELEMENT def (#PCDATA)>
]>