<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII"> <meta name="generator" content="hevea 2.05"> <meta name="Author" content="Daniel Diaz"> <meta name="Keywords" content="GNU Prolog, manual, Prolog, compiler, constraints, finite domains"> <link rel="icon" type="image/x-icon" href="/gprolog.ico"><link rel="stylesheet" type="text/css" href="gprolog.css"> <title>General format</title> </head> <body TEXT=black BGCOLOR=white> <a href="gprolog017.html"><img src="contents_motif.gif" alt="Up"></a> <a href="gprolog019.html"><img src="next_motif.gif" alt="Next"></a> <hr> <h3 class="subsection" id="sec33">6.1  General format</h3> <p> The definition of control constructs, directives and built-in predicates is presented as follows:</p><p><span class="c009">Templates</span></p><p>Specifies the types of the arguments and which of them shall be instantiated (mode). Types and modes are described later (section <a href="gprolog019.html#Types-and-modes">6.2</a>).</p><p><span class="c009">Description</span></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><span class="c009">Errors</span></p><p>Details the error conditions. Possible errors are detailed later (section <a href="gprolog020.html#Errors">6.3</a>). For directives, this part is omitted.</p><p><span class="c009">Portability</span></p><p>Specifies whether the definition conforms to the ISO standard or is a GNU Prolog extension.</p> <hr class="c011"> Copyright (C) 1999-2013 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="gprolog017.html"><img src="contents_motif.gif" alt="Up"></a> <a href="gprolog019.html"><img src="next_motif.gif" alt="Next"></a> </body> </html>