/usr/share/doc/gprolog-doc/gprolog.html/gprolog017.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>

<META http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<META name="GENERATOR" content="hevea 1.10">
<LINK rel="stylesheet" type="text/css" href="gprolog.css">
<TITLE>General format</TITLE>
</HEAD>
<BODY TEXT=black BGCOLOR=white>
<A HREF="gprolog016.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="gprolog018.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<H3 CLASS="subsection"><A NAME="htoc30">5.1</A>&#XA0;&#XA0;General format</H3><P>
The definition of control constructs, directives and built-in predicates is
presented as follows:</P><P><B>Templates</B></P><P>Specifies the types of the arguments and which of them shall be instantiated
(mode). Types and modes are described later (section&#XA0;<A HREF="gprolog018.html#Types-and-modes">5.2</A>).</P><P><B>Description</B></P><P>Describes the behavior (in the absence of any error conditions). It is
explicitly mentioned when a built-in predicate is re-executable on
backtracking. Predefined operators involved in the definition are also
mentioned.</P><P><B>Errors</B></P><P>Details the error conditions. Possible errors are detailed later
(section&#XA0;<A HREF="gprolog019.html#Errors">5.3</A>). For directives, this part is omitted.</P><P><B>Portability</B></P><P>Specifies whether the definition conforms to the ISO standard or is a GNU Prolog
extension.</P>
<HR SIZE=2>
Copyright (C) 1999-2007 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any
medium, provided this notice is preserved. <A HREF="index.html#copyright">More about the copyright</A>
<HR>
<A HREF="gprolog016.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="gprolog018.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
gprolog-doc 1.3.0-6.1 / usr / share / doc / gprolog-doc / gprolog.html / gprolog017.html
