/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 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 © 1990-- 2008 , University of Amsterdam
<P></BODY></HTML>
|