1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
<!-- SWI-Prolog documentation DTD
-->
<!ENTITY lt CDATA "<">
<!ENTITY gt CDATA ">">
<!ENTITY amp CDATA "&">
<!ENTITY apos CDATA "'">
<!ENTITY quot CDATA """>
<!ENTITY % Title "#PCDATA">
<!ENTITY % Font "b|em">
<!ENTITY % Extra "jargon|fn">
<!ENTITY % HtmlList "dl|ul">
<!ENTITY % Ref "aref|pref|ref|cite">
<!ENTITY % Obj "c|var|term|elem|xmp|sh">
<!ENTITY % Layout "quote">
<!ENTITY % Text "#PCDATA|%Font;|%Ref;|%Obj;|%Extra;|verb">
<!ENTITY % SectionBody "(p|definitions|valdef|code|%HtmlList;|%Layout;)*">
<!ENTITY % DescBody "(p|code|argdef|%HtmlList;|%Layout;|%Text;)*">
<!ENTITY % Section "s1|s2|s3|s4|appendix">
<!ENTITY % Language "pl|html|sgml|xml|c|cxx|sh">
<!-- DOCUMENT STRUCTURE -->
<!ELEMENT pldoc - - (head?,titlepage?,s1*,appendix*)>
<!-- DOCUMENT HEAD -->
<!ELEMENT head - - ( runningtitle?
& version?
& release-date
& package
)>
<!ELEMENT runningtitle - o (#PCDATA)>
<!ELEMENT version - o (#PCDATA)>
<!ELEMENT release-date - o (#PCDATA)>
<!ELEMENT package - o (#PCDATA)>
<!-- TITLEPAGE STRUCTURE -->
<!ELEMENT titlepage - - (title&author&abstract?)>
<!ELEMENT title o o (%Title)>
<!ELEMENT author - - (name,address,email?)>
<!ELEMENT address - o (%Title|br)*>
<!ELEMENT email - o (%Title)>
<!ELEMENT abstract - - (p|%Text)*>
<!-- SECTION STRUCTURE -->
<!ATTLIST (%Section;)
name nmtoken #IMPLIED
>
<!ELEMENT s1 - o (title,body1?)>
<!ELEMENT s2 - o (title,body2?)>
<!ELEMENT s3 - o (title,body3?)>
<!ELEMENT s4 - o (title,body4?)>
<!ELEMENT appendix - o (title,body1)>
<!ELEMENT body1 o o (%SectionBody|s2)+>
<!ELEMENT body2 o o (%SectionBody|s3)+>
<!ELEMENT body3 o o (%SectionBody|s4)+>
<!ELEMENT body4 o o (%SectionBody)>
<!-- LAYOUT -->
<!ELEMENT br - o EMPTY>
<!ELEMENT quote - - (p|%Text)*>
<!ELEMENT fn - - (%Text;) -(fn)>
<!-- PARAGRAPH STRUCTURE -->
<!ELEMENT P o o (%Text;)*>
<!--
<!ENTITY beg-p STARTTAG "p">
<!SHORTREF in.p
'&#RS;B&#RE' beg-p>
<!USEMAP in.p p>
-->
<!-- RUNNING TEXT -->
<!ELEMENT (%Font) - - (%Text;)*>
<!-- LISTINGS -->
<!ELEMENT code - - CDATA>
<!ATTLIST code
language (%Language;) pl
placement (inline|block) block>
<!ELEMENT xmp - - (%Text;)*>
<!ELEMENT sh - - (#PCDATA|var)*>
<!ATTLIST xmp
language (%Language;) pl
placement (inline|block) inline>
<!ELEMENT verb - - CDATA>
<!ATTLIST verb
type (pl) pl>
<!-- VOCABULARY -->
<!ELEMENT jargon - - (%Title)>
<!ELEMENT c - - (%Title)>
<!ELEMENT var - - (%Title)>
<!ELEMENT elem - - (%Title)>
<!-- REFERENCES -->
<!ELEMENT ref - - CDATA>
<!ELEMENT cite - - CDATA>
<!ELEMENT aref - - (%Title)>
<!ELEMENT pref - - (name,arity)>
<!ELEMENT arity - o (#PCDATA)>
<!ATTLIST ref
type (pkg|lib|env|exe|file|sec) #REQUIRED
lang (c|pl) #IMPLIED>
<!ENTITY beg-arity STARTTAG "arity">
<!SHORTREF in.pref
'/' beg-arity>
<!USEMAP in.pref pref>
<!ATTLIST pref
type (local|builtin) local>
<!-- DEFINITIONS -->
<!ELEMENT definitions - - (definition+)>
<!ELEMENT definition o o (pred,summary?,desc)>
<!ELEMENT desc o o (%DescBody)>
<!ELEMENT summary - - (#PCDATA|%Font;)*>
<!ENTITY end-summary ENDTAG "summary">
<!SHORTREF in.summary '&#RE;' end-summary>
<!USEMAP in.summary summary>
<!ELEMENT (argdef,valdef) - - (argval+)>
<!ELEMENT argval o o (termitem,desc)>
<!-- PREDICATES -->
<!ELEMENT pred - o (name,arglist?)>
<!ELEMENT termitem - o ((name|var|c),arglist?)>
<!ELEMENT term - o (#PCDATA|aref|arg|c)*>
<!ELEMENT arglist - o (arg)*>
<!ELEMENT arg o o (#PCDATA|term)*>
<!ELEMENT name o o (#PCDATA)>
<!ENTITY beg-arglist "<arglist><!USEMAP in.arglist>">
<!ENTITY end-arglist ENDTAG "arglist">
<!ENTITY end-arg ENDTAG "arg">
<!ENTITY end-term "</>">
<!SHORTREF in.termitem
'&#RE;' end-term
'(' beg-arglist>
<!SHORTREF in.arglist
',' end-arg
')' end-arglist>
<!USEMAP in.termitem (pred|termitem)>
<!-- HTML LISTS -->
<!ELEMENT dl - - (dt|dd)+>
<!ELEMENT dt - o (%Text)*>
<!ELEMENT dd - o (%Text)*>
<!ELEMENT ul - - (item)*>
<!ELEMENT item o o (tag,desc)>
<!ELEMENT tag - o (%Text;)>
<!ENTITY end-tag ENDTAG "tag">
<!SHORTREF in.tag '&#RE;' end-tag>
<!USEMAP in.tag tag>
|
