1% BEGIN LICENSE BLOCK
2% Version: CMPL 1.1
3%
4% The contents of this file are subject to the Cisco-style Mozilla Public
5% License Version 1.1 (the "License"); you may not use this file except
6% in compliance with the License.  You may obtain a copy of the License
7% at www.eclipse-clp.org/license.
8% 
9% Software distributed under the License is distributed on an "AS IS"
10% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
11% the License for the specific language governing rights and limitations
12% under the License. 
13% 
14% The Original Code is  The ECLiPSe Constraint Logic Programming System. 
15% The Initial Developer of the Original Code is  Cisco Systems, Inc. 
16% Portions created by the Initial Developer are
17% Copyright (C) 2006 Cisco Systems, Inc.  All Rights Reserved.
18% 
19% Contributor(s): 
20% 
21% END LICENSE BLOCK
22
23
24% File		: manual.tex
25% Date		: March 1992
26% Author	: Michael Dahmen
27% Modified by	: Luis Hermosilla, August 1992
28% Project	: MegaLog-Sepia User Manual
29% Content	: Root file
30
31%
32%		Preamble
33%
34
35\documentstyle[11pt,html,a4wide,epsf]{book}
36\include{sepiachip}
37
38%
39% Document
40%
41
42\begin{document}
43
44\bibliographystyle{plain}
45
46\title{
47    {\Large \eclipse}\\
48    \vspace{1cm}
49    {\Huge Knowledge Base User Manual}\\
50    \vspace{1cm}
51    Release 3.4}
52\date{July 1994}
53\author{ }
54
55\maketitle
56
57% Needed to adjust left/right pages properly
58\setcounter{page}{2}
59% Suppress printing of the page number on this page
60\pagestyle{empty}
61
62
63Copyright \copyright\ 1992 -- 2006 Cisco Systems, Inc.
64
65\cleardoublepage
66\pagestyle{plain}
67\pagenumbering{roman}
68
69\begin{latexonly}
70\tableofcontents
71\end{latexonly}
72
73\cleardoublepage
74\pagenumbering{arabic}
75
76\include {intro-sec}
77% What is MegaLog-Sepia
78
79\include {database-sec}
80% Database connection 
81
82\include {knowbase-sec}
83% Deductive Database connection
84
85\include {multiuser-sec}
86% Features to support multi-user MegaLog
87
88\include {backwards-sec}
89% compatibility with previous MegaLog
90
91% \include {profile-sec}
92% Profiler manual
93
94\chapter{The Built-In Predicates}
95\label{bip-summary}
96
97This chapter provides a summary of each of the built-in 
98predicates available in the database and knowledge base of \eclipse. The
99built-ins are listed 
100in alphabetical order within each type of built-in. The information
101provided here is only a one-line description for each built-in.
102A more complete specification can be found by
103referring to the Knowledge Base Built-In Specification Manual (or Knowledge
104Base BIP Book), 
105\cite{BIP92}. The Knowledge Base BIP Book is on-line available by the
106predicate {\bf help/1}.
107
108{\bf help(Functor/Arity)} prints the page from the Knowledge Base BIP Book
109describing the  
110built-in {\bf Functor/Arity} to the current output. If only {\bf Functor}
111is specified, the system looks for all predicates that have this atom in 
112their name. If there are more than one predicate
113matching, a short description for each one is printed, rather than the
114whole page. There is also a glossary, where each page does not describe
115a single built-in but a concept that is used in other descriptions.
116Examples :
117
118\begin{verbatim}
119% display page from Knowledge Base BIP Book
120?- help(createdb/1).
121
122% list a short description of all built-ins matching "relation"
123?- help(relation).    
124
125% list a short description of all glossary entries
126?- help(glossary).
127
128% display glossary on Attribute Specification
129?- help(attribute_specification).
130\end{verbatim}
131
132The built-ins are classified into the following types,
133which correspond to the defining module.
134
135\paragraph{List of built-in types:}
136
137\begin{enumerate}
138
139\item{\eclipse Database Kernel}
140\item{\eclipse DB}
141\item{\eclipse KB}
142
143\end{enumerate}
144
145\include {kernel-lst}
146% database predicates
147
148\include {database-lst}
149% relational algebra predicates
150
151\include {knowbase-lst}
152% knowledge base predicates
153
154\newpage
155\include {indexfile}
156\newpage
157
158\bibliography{sepiachip}
159
160\end{document}
161