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