0

Can anyone help me write a Datalog program which is an equivalent of a given DTD.

DTD :

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

Also are there any specific rules that we need to follow while converting a dtd to a corresponding datalog program ?

Community
  • 1
  • 1
user2946704
  • 314
  • 2
  • 4
  • 14
  • 1
    FYI. Datalog is a truly declarative logic programming language that syntactically is a subset of Prolog. If you can answer the above question in Prolog, it is as good as datalog :) – user2946704 Oct 11 '14 at 22:06
  • in Datalog it's far more difficult... – CapelliC Oct 11 '14 at 23:29
  • Yes I know, I just need the datalog program to say true or false (yes/no) based on whether my facts satisfy the rules or not .. – user2946704 Oct 12 '14 at 00:13

0 Answers0