This file is indexed.

/usr/share/doc/swi-prolog-doc/Manual/index.html is in swi-prolog-doc 5.6.59-2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">

<HTML>
<HEAD>
<TITLE>SWI-Prolog 5.6.59 Reference Manual</TITLE><LINK REL=contents HREF="Contents.html">
<LINK REL=index HREF="DocIndex.html">
<LINK REL=next HREF="Contents.html">
<STYLE type="text/css">
/* Style sheet for SWI-Prolog latex2html
*/

dd.defbody
{ margin-bottom: 1em;
}

dt.pubdef
{ background-color: #c5e1ff;
}

pre.code
{ margin-left: 1.5em;
margin-right: 1.5em;
border: 1px dotted;
padding-top: 5px;
padding-left: 5px;
padding-bottom: 5px;
background-color: #f8f8f8;
}

div.navigate
{ text-align: center;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
}

div.title
{ text-align: center;
padding-bottom: 1em;
font-size: 200%;
font-weight: bold;
}

div.author
{ text-align: center;
font-style: italic;
}

div.abstract
{ margin-top: 2em;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
margin-left: 10%; margin-right:10%;
}

div.abstract-title
{ text-align: center;
padding: 5px;
font-size: 120%;
font-weight: bold;
}

div.toc-h1
{ font-size: 200%;
font-weight: bold;
}

div.toc-h2
{ font-size: 120%;
font-weight: bold;
margin-left: 2em;
}

div.toc-h3
{ font-size: 100%;
font-weight: bold;
margin-left: 4em;
}

div.toc-h4
{ font-size: 100%;
margin-left: 6em;
}

span.sec-nr
{ 
}

span.sec-title
{ 
}

span.pred-ext
{ font-weight: bold;
}

span.pred-tag
{ float: right;
font-size: 80%;
font-style: italic;
color: #202020;
}

/* Footnotes */

sup.fn { color: blue; text-decoration: underline; }
span.fn-text { display: none; }
sup.fn span {display: none;}
sup:hover span 
{ display: block !important;
position: absolute; top: auto; left: auto; width: 80%;
color: #000; background: white;
border: 2px solid;
padding: 5px; margin: 10px; z-index: 100;
font-size: smaller;
}
</STYLE>
</HEAD>
<BODY BGCOLOR="white">
<DIV class="navigate"><A class="nav" href="Contents.html"><IMG SRC="index.gif" BORDER=0 ALT="Contents"></A>
<A class="nav" href="DocIndex.html"><IMG SRC="yellow_pages.gif" BORDER=0 ALT="Index"></A>
<A class="nav" href="Contents.html"><IMG SRC="next.gif" BORDER=0 ALT="Next"></A>
</DIV>

<P>
<DIV class="title">SWI-Prolog 5.6.59 Reference Manual</DIV>
<DIV class="author"><A class="url" href="mailto:wielemak@science.uva.nl">Jan 
Wielemaker</A> Human-Computer Studies (HCS, formerly SWI) Kruislaan 419, 
1098 VA&nbsp;&nbsp;Amsterdam The Netherlands Tel. (+31) 20 5256121</DIV>
<DIV class="abstract">
<DIV class="abstract-title">Abstract</DIV> SWI-Prolog started life in 
1986 as a Prolog in the Edinburgh tradition. Its development has been 
guided from the very beginning by the desire to build large scale 
applications in Prolog. For this reason it stresses connectivity to the 
C-language, few system limits, comprehensive memory management, modules, 
multi-threading, coroutining, constraints and a fast and interactive 
development environment. Portable libraries for graphics, databases, 
networking, web-services, XML, RDF and many more complete the system.

<P>SWI-Prolog is compliant to part one of ISO standard Prolog. In 
addition it provides functionality compatible to Quintus, SICStus, LPA, 
Ciao and many more.

<P>Since version 5 the system and all bundled extensions are distributed 
under the Lesser General Public License (LGPL) and the system enjoys 
attention from a large community of academic researchers, students and 
commercial users.

<P>This document gives an overview of the features, system limits and 
built-in predicates.
</DIV>

<H3>About this document</H3>

<P>This manual is written and maintained using LaTeX . The LaTeX source 
is included in the source distribution of SWI-Prolog. The manual is 
converted into HTML using a converter distributed with the SWI-Prolog 
sources. From the same source we generate the plain-text version and 
index used by the online help system (located in the file <CODE>MANUAL</CODE> 
in the library directory) as well as the PDF version. Sources, binaries 
and documentation can be downloaded from the <A class="url" href="http://www.swi-prolog.org/download.html">SWI-Prolog 
download page</A>.

<P>The SWI-Prolog project <B>home page</B> is located
<A class="url" href="http://www.swi-prolog.org">here</A>

<P>Copyright &copy; 1990-- 2008 , University of Amsterdam

<P></BODY></HTML>