Offset 1, 10 lines modified | Offset 1, 10 lines modified |
1 | <!DOCTYPE·html·PUBLIC·"-//W3C//DTD·HTML·4.01·Transitional//EN"·"http://www.w3.org/TR/html4/loose.dtd"> | 1 | <!DOCTYPE·html·PUBLIC·"-//W3C//DTD·HTML·4.01·Transitional//EN"·"http://www.w3.org/TR/html4/loose.dtd"> |
2 | <html> | 2 | <html> |
3 | <!--·Created·on·June·10,·2016·by·texi2html·5.0 | 3 | <!--·Created·on·June·12,·2016·by·texi2html·5.0 |
4 | texi2html·was·written·by:· | 4 | texi2html·was·written·by:· |
5 | ············Lionel·Cons·<Lionel.Cons@cern.ch>·(original·author) | 5 | ············Lionel·Cons·<Lionel.Cons@cern.ch>·(original·author) |
6 | ············Karl·Berry··<karl@freefriends.org> | 6 | ············Karl·Berry··<karl@freefriends.org> |
7 | ············Olaf·Bachmann·<obachman@mathematik.uni-kl.de> | 7 | ············Olaf·Bachmann·<obachman@mathematik.uni-kl.de> |
8 | ············and·many·others. | 8 | ············and·many·others. |
9 | Maintained·by:·Many·creative·people. | 9 | Maintained·by:·Many·creative·people. |
10 | Send·bugs·and·suggestions·to·<texi2html-bug@nongnu.org> | 10 | Send·bugs·and·suggestions·to·<texi2html-bug@nongnu.org> |
Offset 74, 15 lines modified | Offset 74, 15 lines modified |
74 | <hr> | 74 | <hr> |
75 | <a·name="SEC_Contents"></a> | 75 | <a·name="SEC_Contents"></a> |
76 | <h1>Table·of·Contents</h1> | 76 | <h1>Table·of·Contents</h1> |
| |
77 | <div·class="contents"> | 77 | <div·class="contents"> |
| |
78 | <ul·class="no-bullet"> | 78 | <ul·class="no-bullet"> |
79 | ··<li><a·name="toc-Introduction"·href="#Intro">Introduction</a></li> | 79 | ··<li><a·name="toc-Introduction-1"·href="#Intro">Introduction</a></li> |
80 | ··<li><a·name="toc-Installing-YAP"·href="#Install">1·Installing·YAP</a> | 80 | ··<li><a·name="toc-Installing-YAP"·href="#Install">1·Installing·YAP</a> |
81 | ··<ul·class="no-bullet"> | 81 | ··<ul·class="no-bullet"> |
82 | ····<li><a·name="toc-Tuning-the-Functionality-of-YAP"·href="#Configuration-Options">1.1·Tuning·the·Functionality·of·YAP</a></li> | 82 | ····<li><a·name="toc-Tuning-the-Functionality-of-YAP"·href="#Configuration-Options">1.1·Tuning·the·Functionality·of·YAP</a></li> |
83 | ····<li><a·name="toc-Tuning-YAP-for-a-Particular-Machine-and-Compiler"·href="#Machine-Options">1.2·Tuning·YAP·for·a·Particular·Machine·and·Compiler</a></li> | 83 | ····<li><a·name="toc-Tuning-YAP-for-a-Particular-Machine-and-Compiler"·href="#Machine-Options">1.2·Tuning·YAP·for·a·Particular·Machine·and·Compiler</a></li> |
84 | ····<li><a·name="toc-Tuning-YAP-for-GCC_002e"·href="#Tuning-for-GCC">1.3·Tuning·YAP·for·<code>GCC</code>.</a> | 84 | ····<li><a·name="toc-Tuning-YAP-for-GCC_002e"·href="#Tuning-for-GCC">1.3·Tuning·YAP·for·<code>GCC</code>.</a> |
85 | ····<ul·class="no-bullet"> | 85 | ····<ul·class="no-bullet"> |
86 | ······<li><a·name="toc-Compiling-Under-Visual-C_002b_002b-1"·href="#Compiling-Under-Visual-C_002b_002b">1.3.1·Compiling·Under·Visual·C++</a></li> | 86 | ······<li><a·name="toc-Compiling-Under-Visual-C_002b_002b-1"·href="#Compiling-Under-Visual-C_002b_002b">1.3.1·Compiling·Under·Visual·C++</a></li> |
Offset 91, 15 lines modified | Offset 91, 15 lines modified |
91 | </li> | 91 | </li> |
92 | ··</ul></li> | 92 | ··</ul></li> |
93 | ··<li><a·name="toc-Running-YAP"·href="#Run">2·Running·YAP</a> | 93 | ··<li><a·name="toc-Running-YAP"·href="#Run">2·Running·YAP</a> |
94 | ··<ul·class="no-bullet"> | 94 | ··<ul·class="no-bullet"> |
95 | ····<li><a·name="toc-Running-YAP-Interactively-1"·href="#Running-YAP-Interactively">2.1·Running·YAP·Interactively</a></li> | 95 | ····<li><a·name="toc-Running-YAP-Interactively-1"·href="#Running-YAP-Interactively">2.1·Running·YAP·Interactively</a></li> |
96 | ····<li><a·name="toc-Running-Prolog-Files-1"·href="#Running-Prolog-Files">2.2·Running·Prolog·Files</a></li> | 96 | ····<li><a·name="toc-Running-Prolog-Files-1"·href="#Running-Prolog-Files">2.2·Running·Prolog·Files</a></li> |
97 | ··</ul></li> | 97 | ··</ul></li> |
98 | ··<li><a·name="toc-Syntax-2"·href="#Syntax">3·Syntax</a> | 98 | ··<li><a·name="toc-Syntax-1"·href="#Syntax">3·Syntax</a> |
99 | ··<ul·class="no-bullet"> | 99 | ··<ul·class="no-bullet"> |
100 | ····<li><a·name="toc-Syntax-of-Terms"·href="#Formal-Syntax">3.1·Syntax·of·Terms</a></li> | 100 | ····<li><a·name="toc-Syntax-of-Terms"·href="#Formal-Syntax">3.1·Syntax·of·Terms</a></li> |
101 | ····<li><a·name="toc-Prolog-Tokens"·href="#Tokens">3.2·Prolog·Tokens</a> | 101 | ····<li><a·name="toc-Prolog-Tokens"·href="#Tokens">3.2·Prolog·Tokens</a> |
102 | ····<ul·class="no-bullet"> | 102 | ····<ul·class="no-bullet"> |
103 | ······<li><a·name="toc-Numbers-1"·href="#Numbers">3.2.1·Numbers</a> | 103 | ······<li><a·name="toc-Numbers-1"·href="#Numbers">3.2.1·Numbers</a> |
104 | ······<ul·class="no-bullet"> | 104 | ······<ul·class="no-bullet"> |
105 | ········<li><a·name="toc-Integers-1"·href="#Integers">3.2.1.1·Integers</a></li> | 105 | ········<li><a·name="toc-Integers-1"·href="#Integers">3.2.1.1·Integers</a></li> |
Offset 141, 16 lines modified | Offset 141, 16 lines modified |
141 | ····<li><a·name="toc-Predicates-on-terms"·href="#Testing-Terms">6.4·Predicates·on·terms</a></li> | 141 | ····<li><a·name="toc-Predicates-on-terms"·href="#Testing-Terms">6.4·Predicates·on·terms</a></li> |
142 | ····<li><a·name="toc-Predicates-on-Atoms-1"·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></li> | 142 | ····<li><a·name="toc-Predicates-on-Atoms-1"·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></li> |
143 | ····<li><a·name="toc-Predicates-on-Characters-1"·href="#Predicates-on-Characters">6.6·Predicates·on·Characters</a></li> | 143 | ····<li><a·name="toc-Predicates-on-Characters-1"·href="#Predicates-on-Characters">6.6·Predicates·on·Characters</a></li> |
144 | ····<li><a·name="toc-Comparing-Terms-1"·href="#Comparing-Terms">6.7·Comparing·Terms</a></li> | 144 | ····<li><a·name="toc-Comparing-Terms-1"·href="#Comparing-Terms">6.7·Comparing·Terms</a></li> |
145 | ····<li><a·name="toc-Arithmetic-1"·href="#Arithmetic">6.8·Arithmetic</a></li> | 145 | ····<li><a·name="toc-Arithmetic-1"·href="#Arithmetic">6.8·Arithmetic</a></li> |
146 | ····<li><a·name="toc-I_002fO-Predicates"·href="#I_002fO">6.9·I/O·Predicates</a> | 146 | ····<li><a·name="toc-I_002fO-Predicates"·href="#I_002fO">6.9·I/O·Predicates</a> |
147 | ····<ul·class="no-bullet"> | 147 | ····<ul·class="no-bullet"> |
148 | ······<li><a·name="toc-Handling-Streams-and-Files"·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></li> | 148 | ······<li><a·name="toc-Handling-Streams-and-Files-1"·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></li> |
149 | ······<li><a·name="toc-Handling-Streams-and-Files-1"·href="#C_002dProlog-File-Handling">6.9.2·Handling·Streams·and·Files</a></li> | 149 | ······<li><a·name="toc-Handling-Streams-and-Files"·href="#C_002dProlog-File-Handling">6.9.2·Handling·Streams·and·Files</a></li> |
150 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Terms"·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></li> | 150 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Terms"·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></li> |
151 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Characters"·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></li> | 151 | ······<li><a·name="toc-Handling-Input_002fOutput-of-Characters"·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></li> |
152 | ······<li><a·name="toc-Input_002fOutput-Predicates-applied-to-Streams"·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></li> | 152 | ······<li><a·name="toc-Input_002fOutput-Predicates-applied-to-Streams"·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></li> |
153 | ······<li><a·name="toc-Compatible-C_002dProlog-predicates-for-Terminal-I_002fO"·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></li> | 153 | ······<li><a·name="toc-Compatible-C_002dProlog-predicates-for-Terminal-I_002fO"·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></li> |
154 | ······<li><a·name="toc-Controlling-Input_002fOutput"·href="#I_002fO-Control">6.9.7·Controlling·Input/Output</a></li> | 154 | ······<li><a·name="toc-Controlling-Input_002fOutput"·href="#I_002fO-Control">6.9.7·Controlling·Input/Output</a></li> |
155 | ······<li><a·name="toc-Using-Sockets-From-YAP"·href="#Sockets">6.9.8·Using·Sockets·From·YAP</a></li> | 155 | ······<li><a·name="toc-Using-Sockets-From-YAP"·href="#Sockets">6.9.8·Using·Sockets·From·YAP</a></li> |
156 | ····</ul></li> | 156 | ····</ul></li> |
Offset 247, 18 lines modified | Offset 247, 18 lines modified |
247 | ····<li><a·name="toc-Solver-Predicates"·href="#CLPR-Solver-Predicates">12.1·Solver·Predicates</a></li> | 247 | ····<li><a·name="toc-Solver-Predicates"·href="#CLPR-Solver-Predicates">12.1·Solver·Predicates</a></li> |
248 | ····<li><a·name="toc-Syntax-of-the-predicate-arguments"·href="#CLPR-Syntax">12.2·Syntax·of·the·predicate·arguments</a></li> | 248 | ····<li><a·name="toc-Syntax-of-the-predicate-arguments"·href="#CLPR-Syntax">12.2·Syntax·of·the·predicate·arguments</a></li> |
249 | ····<li><a·name="toc-Use-of-unification"·href="#CLPR-Unification">12.3·Use·of·unification</a></li> | 249 | ····<li><a·name="toc-Use-of-unification"·href="#CLPR-Unification">12.3·Use·of·unification</a></li> |
250 | ····<li><a·name="toc-Non_002dLinear-Constraints"·href="#CLPR-Non_002dlinear-Constraints">12.4·Non-Linear·Constraints</a></li> | 250 | ····<li><a·name="toc-Non_002dLinear-Constraints"·href="#CLPR-Non_002dlinear-Constraints">12.4·Non-Linear·Constraints</a></li> |
251 | ··</ul></li> | 251 | ··</ul></li> |
252 | ··<li><a·name="toc-CHR_003a-Constraint-Handling-Rules"·href="#CHR">13·CHR:·Constraint·Handling·Rules</a> | 252 | ··<li><a·name="toc-CHR_003a-Constraint-Handling-Rules"·href="#CHR">13·CHR:·Constraint·Handling·Rules</a> |
253 | ··<ul·class="no-bullet"> | 253 | ··<ul·class="no-bullet"> |
254 | ····<li><a·name="toc-Introduction-1"·href="#CHR-Introduction">13.1·Introduction</a></li> | 254 | ····<li><a·name="toc-Introduction"·href="#CHR-Introduction">13.1·Introduction</a></li> |
255 | ····<li><a·name="toc-Syntax-and-Semantics"·href="#CHR-Syntax-and-Semantics">13.2·Syntax·and·Semantics</a> | 255 | ····<li><a·name="toc-Syntax-and-Semantics"·href="#CHR-Syntax-and-Semantics">13.2·Syntax·and·Semantics</a> |
256 | ····<ul·class="no-bullet"> | 256 | ····<ul·class="no-bullet"> |
257 | ······<li><a·name="toc-Syntax-1"·href="#Syntax-1">13.2.1·Syntax</a></li> | 257 | ······<li><a·name="toc-Syntax-2"·href="#Syntax-2">13.2.1·Syntax</a></li> |
258 | ······<li><a·name="toc-Semantics"·href="#Semantics">13.2.2·Semantics</a> | 258 | ······<li><a·name="toc-Semantics"·href="#Semantics">13.2.2·Semantics</a> |
259 | ······<ul·class="no-bullet"> | 259 | ······<ul·class="no-bullet"> |
260 | ········<li><a·name="toc-Rule-Types"·href="#Rule-Types">Rule·Types</a></li> | 260 | ········<li><a·name="toc-Rule-Types"·href="#Rule-Types">Rule·Types</a></li> |
261 | ········<li><a·name="toc-Rule-Names"·href="#Rule-Names">Rule·Names</a></li> | 261 | ········<li><a·name="toc-Rule-Names"·href="#Rule-Names">Rule·Names</a></li> |
262 | ········<li><a·name="toc-Pragmas"·href="#Pragmas">Pragmas</a></li> | 262 | ········<li><a·name="toc-Pragmas"·href="#Pragmas">Pragmas</a></li> |
263 | ········<li><a·name="toc-Options"·href="#Options">Options</a></li> | 263 | ········<li><a·name="toc-Options"·href="#Options">Options</a></li> |
264 | ······</ul> | 264 | ······</ul> |
Offset 347, 16 lines modified | Offset 347, 16 lines modified |
347 | ··<li><a·name="toc-Compatibility-with-Other-Prolog-systems"·href="#Compatibility">25·Compatibility·with·Other·Prolog·systems</a> | 347 | ··<li><a·name="toc-Compatibility-with-Other-Prolog-systems"·href="#Compatibility">25·Compatibility·with·Other·Prolog·systems</a> |
348 | ··<ul·class="no-bullet"> | 348 | ··<ul·class="no-bullet"> |
349 | ····<li><a·name="toc-Compatibility-with-the-C_002dProlog-interpreter"·href="#C_002dProlog">25.1·Compatibility·with·the·C-Prolog·interpreter</a> | 349 | ····<li><a·name="toc-Compatibility-with-the-C_002dProlog-interpreter"·href="#C_002dProlog">25.1·Compatibility·with·the·C-Prolog·interpreter</a> |
350 | ····<ul·class="no-bullet"> | 350 | ····<ul·class="no-bullet"> |
351 | ······<li><a·name="toc-Major-Differences-between-YAP-and-C_002dProlog_002e"·href="#Major-Differences-with-C_002dProlog">25.1.1·Major·Differences·between·YAP·and·C-Prolog.</a></li> | 351 | ······<li><a·name="toc-Major-Differences-between-YAP-and-C_002dProlog_002e"·href="#Major-Differences-with-C_002dProlog">25.1.1·Major·Differences·between·YAP·and·C-Prolog.</a></li> |
352 | ······<li><a·name="toc-YAP-predicates-fully-compatible-with-C_002dProlog"·href="#Fully-C_002dProlog-Compatible">25.1.2·YAP·predicates·fully·compatible·with·C-Prolog</a></li> | 352 | ······<li><a·name="toc-YAP-predicates-fully-compatible-with-C_002dProlog"·href="#Fully-C_002dProlog-Compatible">25.1.2·YAP·predicates·fully·compatible·with·C-Prolog</a></li> |
353 | ······<li><a·name="toc-YAP-predicates-not-strictly-compatible-with-C_002dProlog"·href="#Not-Strictly-C_002dProlog-Compatible">25.1.3·YAP·predicates·not·strictly·compatible·with·C-Prolog</a></li> | 353 | ······<li><a·name="toc-YAP-predicates-not-strictly-compatible-with-C_002dProlog"·href="#Not-Strictly-C_002dProlog-Compatible">25.1.3·YAP·predicates·not·strictly·compatible·with·C-Prolog</a></li> |
354 | ······<li><a·name="toc-YAP-predicates-not-available-in-C_002dProlog"·href="#Not-in-C_002dProlog">25.1.4·YAP·predicates·not·available·in·C-Prolog</a></li> | 354 | ······<li><a·name="toc-YAP-predicates-not-available-in-C_002dProlog-1"·href="#Not-in-C_002dProlog">25.1.4·YAP·predicates·not·available·in·C-Prolog</a></li> |
355 | ······<li><a·name="toc-YAP-predicates-not-available-in-C_002dProlog-1"·href="#Not-in-YAP">25.1.5·YAP·predicates·not·available·in·C-Prolog</a></li> | 355 | ······<li><a·name="toc-YAP-predicates-not-available-in-C_002dProlog"·href="#Not-in-YAP">25.1.5·YAP·predicates·not·available·in·C-Prolog</a></li> |
356 | ····</ul></li> | 356 | ····</ul></li> |
357 | ····<li><a·name="toc-Compatibility-with-the-Quintus-and-SICStus-Prolog-systems"·href="#SICStus-Prolog">25.2·Compatibility·with·the·Quintus·and·SICStus·Prolog·systems</a> | 357 | ····<li><a·name="toc-Compatibility-with-the-Quintus-and-SICStus-Prolog-systems"·href="#SICStus-Prolog">25.2·Compatibility·with·the·Quintus·and·SICStus·Prolog·systems</a> |
358 | ····<ul·class="no-bullet"> | 358 | ····<ul·class="no-bullet"> |
359 | ······<li><a·name="toc-Major-Differences-between-YAP-and-SICStus-Prolog_002e"·href="#Major-Differences-with-SICStus">25.2.1·Major·Differences·between·YAP·and·SICStus·Prolog.</a></li> | 359 | ······<li><a·name="toc-Major-Differences-between-YAP-and-SICStus-Prolog_002e"·href="#Major-Differences-with-SICStus">25.2.1·Major·Differences·between·YAP·and·SICStus·Prolog.</a></li> |
360 | ······<li><a·name="toc-YAP-predicates-fully-compatible-with-SICStus-Prolog"·href="#Fully-SICStus-Compatible">25.2.2·YAP·predicates·fully·compatible·with·SICStus·Prolog</a></li> | 360 | ······<li><a·name="toc-YAP-predicates-fully-compatible-with-SICStus-Prolog"·href="#Fully-SICStus-Compatible">25.2.2·YAP·predicates·fully·compatible·with·SICStus·Prolog</a></li> |
361 | ······<li><a·name="toc-YAP-predicates-not-strictly-compatible-with-SICStus-Prolog"·href="#Not-Strictly-SICStus-Compatible">25.2.3·YAP·predicates·not·strictly·compatible·with·SICStus·Prolog</a></li> | 361 | ······<li><a·name="toc-YAP-predicates-not-strictly-compatible-with-SICStus-Prolog"·href="#Not-Strictly-SICStus-Compatible">25.2.3·YAP·predicates·not·strictly·compatible·with·SICStus·Prolog</a></li> |
362 | ······<li><a·name="toc-YAP-predicates-not-available-in-SICStus-Prolog"·href="#Not-in-SICStus-Prolog">25.2.4·YAP·predicates·not·available·in·SICStus·Prolog</a></li> | 362 | ······<li><a·name="toc-YAP-predicates-not-available-in-SICStus-Prolog"·href="#Not-in-SICStus-Prolog">25.2.4·YAP·predicates·not·available·in·SICStus·Prolog</a></li> |
Offset 770, 15 lines modified | Offset 770, 15 lines modified |
770 | <td·valign="middle"·align="left">· ·</td> | 770 | <td·valign="middle"·align="left">· ·</td> |
771 | <td·valign="middle"·align="left">· ·</td> | 771 | <td·valign="middle"·align="left">· ·</td> |
772 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 772 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
773 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 773 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
774 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 774 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
775 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 775 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
776 | </tr></table> | 776 | </tr></table> |
777 | <a·name="Introduction"></a> | 777 | <a·name="Introduction-1"></a> |
778 | <h1·class="unnumbered">Introduction</h1> | 778 | <h1·class="unnumbered">Introduction</h1> |
| |
779 | <p>This·document·provides·User·information·on·version·6.3.3·of | 779 | <p>This·document·provides·User·information·on·version·6.3.3·of |
780 | YAP·(<em>Yet·Another·Prolog</em>).·The·YAP·Prolog·System·is·a | 780 | YAP·(<em>Yet·Another·Prolog</em>).·The·YAP·Prolog·System·is·a |
781 | high-performance·Prolog·compiler·developed·at·LIACC,·Universidade·do | 781 | high-performance·Prolog·compiler·developed·at·LIACC,·Universidade·do |
782 | Porto.·YAP·provides·several·important·features: | 782 | Porto.·YAP·provides·several·important·features: |
783 | </p> | 783 | </p> |
Offset 1690, 15 lines modified | Offset 1690, 15 lines modified |
1690 | <td·valign="middle"·align="left">· ·</td> | 1690 | <td·valign="middle"·align="left">· ·</td> |
1691 | <td·valign="middle"·align="left">· ·</td> | 1691 | <td·valign="middle"·align="left">· ·</td> |
1692 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 1692 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
1693 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 1693 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
1694 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 1694 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
1695 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 1695 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
1696 | </tr></table> | 1696 | </tr></table> |
1697 | <a·name="Syntax-2"></a> | 1697 | <a·name="Syntax-1"></a> |
1698 | <h1·class="chapter">3·Syntax</h1> | 1698 | <h1·class="chapter">3·Syntax</h1> |
| |
1699 | <p>We·will·describe·the·syntax·of·YAP·at·two·levels.·We·first·will | 1699 | <p>We·will·describe·the·syntax·of·YAP·at·two·levels.·We·first·will |
1700 | describe·the·syntax·for·Prolog·terms.·In·a·second·level·we·describe | 1700 | describe·the·syntax·for·Prolog·terms.·In·a·second·level·we·describe |
1701 | the·<i>tokens</i>·from·which·Prolog·<i>terms</i>·are | 1701 | the·<i>tokens</i>·from·which·Prolog·<i>terms</i>·are |
1702 | built. | 1702 | built. |
1703 | </p> | 1703 | </p> |
Offset 5974, 15 lines modified | Offset 5974, 15 lines modified |
5974 | <td·valign="middle"·align="left">· ·</td> | 5974 | <td·valign="middle"·align="left">· ·</td> |
5975 | <td·valign="middle"·align="left">· ·</td> | 5975 | <td·valign="middle"·align="left">· ·</td> |
5976 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 5976 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
5977 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 5977 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
5978 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 5978 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
5979 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 5979 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
5980 | </tr></table> | 5980 | </tr></table> |
5981 | <a·name="Handling-Streams-and-Files"></a> | 5981 | <a·name="Handling-Streams-and-Files-1"></a> |
5982 | <h3·class="subsection">6.9.1·Handling·Streams·and·Files</h3> | 5982 | <h3·class="subsection">6.9.1·Handling·Streams·and·Files</h3> |
| |
5983 | <dl·compact="compact"> | 5983 | <dl·compact="compact"> |
5984 | <dt><code>open(+<var>F</var>,+<var>M</var>,-<var>S</var>)·[ISO]</code></dt> | 5984 | <dt><code>open(+<var>F</var>,+<var>M</var>,-<var>S</var>)·[ISO]</code></dt> |
5985 | <dd><a·name="index-open_002f3"></a> | 5985 | <dd><a·name="index-open_002f3"></a> |
5986 | <a·name="index-open_002f3-1"></a> | 5986 | <a·name="index-open_002f3-1"></a> |
5987 | <a·name="index-open_002f3-2"></a> | 5987 | <a·name="index-open_002f3-2"></a> |
Offset 6464, 15 lines modified | Offset 6464, 15 lines modified |
6464 | <td·valign="middle"·align="left">· ·</td> | 6464 | <td·valign="middle"·align="left">· ·</td> |
6465 | <td·valign="middle"·align="left">· ·</td> | 6465 | <td·valign="middle"·align="left">· ·</td> |
6466 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 6466 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
6467 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 6467 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
6468 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 6468 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
6469 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 6469 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
6470 | </tr></table> | 6470 | </tr></table> |
6471 | <a·name="Handling-Streams-and-Files-1"></a> | 6471 | <a·name="Handling-Streams-and-Files"></a> |
6472 | <h3·class="subsection">6.9.2·Handling·Streams·and·Files</h3> | 6472 | <h3·class="subsection">6.9.2·Handling·Streams·and·Files</h3> |
| |
6473 | <dl·compact="compact"> | 6473 | <dl·compact="compact"> |
6474 | <dt><code>tell(+<var>S</var>)</code></dt> | 6474 | <dt><code>tell(+<var>S</var>)</code></dt> |
6475 | <dd><a·name="index-tell_002f1"></a> | 6475 | <dd><a·name="index-tell_002f1"></a> |
6476 | <a·name="index-tell_002f1-1"></a> | 6476 | <a·name="index-tell_002f1-1"></a> |
6477 | <a·name="index-tell_002f1-2"></a> | 6477 | <a·name="index-tell_002f1-2"></a> |
Offset 18445, 15 lines modified | Offset 18445, 15 lines modified |
18445 | <td·valign="middle"·align="left">· ·</td> | 18445 | <td·valign="middle"·align="left">· ·</td> |
18446 | <td·valign="middle"·align="left">· ·</td> | 18446 | <td·valign="middle"·align="left">· ·</td> |
18447 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 18447 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
18448 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 18448 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
18449 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 18449 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
18450 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 18450 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
18451 | </tr></table> | 18451 | </tr></table> |
18452 | <a·name="Introduction-1"></a> | 18452 | <a·name="Introduction"></a> |
18453 | <h2·class="section">13.1·Introduction</h2> | 18453 | <h2·class="section">13.1·Introduction</h2> |
| |
18454 | <p>Constraint·Handling·Rules·(CHR)·is·a·committed-choice·bottom-up·language | 18454 | <p>Constraint·Handling·Rules·(CHR)·is·a·committed-choice·bottom-up·language |
18455 | embedded·in·Prolog.·It·is·designed·for·writing·constraint·solvers·and·is | 18455 | embedded·in·Prolog.·It·is·designed·for·writing·constraint·solvers·and·is |
18456 | particularily·useful·for·providing·application-specific·constraints. | 18456 | particularily·useful·for·providing·application-specific·constraints. |
18457 | It·has·been·used·in·many·kinds·of·applications,·like·scheduling, | 18457 | It·has·been·used·in·many·kinds·of·applications,·like·scheduling, |
18458 | model·checking,·abduction,·type·checking·among·many·others. | 18458 | model·checking,·abduction,·type·checking·among·many·others. |
Offset 18471, 30 lines modified | Offset 18471, 30 lines modified |
| |
18471 | <hr> | 18471 | <hr> |
18472 | <a·name="CHR-Syntax-and-Semantics"></a> | 18472 | <a·name="CHR-Syntax-and-Semantics"></a> |
18473 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> | 18473 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> |
18474 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> | 18474 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> |
18475 | <td·valign="middle"·align="left">[<a·href="#CHR-Introduction"·title="Previous·section·in·reading·order">·<·</a>]</td> | 18475 | <td·valign="middle"·align="left">[<a·href="#CHR-Introduction"·title="Previous·section·in·reading·order">·<·</a>]</td> |
18476 | <td·valign="middle"·align="left">[<a·href="#CHR"·title="Up·section">·Up·</a>]</td> | 18476 | <td·valign="middle"·align="left">[<a·href="#CHR"·title="Up·section">·Up·</a>]</td> |
18477 | <td·valign="middle"·align="left">[<a·href="#Syntax-1"·title="Next·section·in·reading·order">·>·</a>]</td> | 18477 | <td·valign="middle"·align="left">[<a·href="#Syntax-2"·title="Next·section·in·reading·order">·>·</a>]</td> |
18478 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> | 18478 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> |
18479 | <td·valign="middle"·align="left">· ·</td> | 18479 | <td·valign="middle"·align="left">· ·</td> |
18480 | <td·valign="middle"·align="left">· ·</td> | 18480 | <td·valign="middle"·align="left">· ·</td> |
18481 | <td·valign="middle"·align="left">· ·</td> | 18481 | <td·valign="middle"·align="left">· ·</td> |
18482 | <td·valign="middle"·align="left">· ·</td> | 18482 | <td·valign="middle"·align="left">· ·</td> |
18483 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 18483 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
18484 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 18484 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
18485 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 18485 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
18486 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 18486 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
18487 | </tr></table> | 18487 | </tr></table> |
18488 | <a·name="Syntax-and-Semantics"></a> | 18488 | <a·name="Syntax-and-Semantics"></a> |
18489 | <h2·class="section">13.2·Syntax·and·Semantics</h2> | 18489 | <h2·class="section">13.2·Syntax·and·Semantics</h2> |
| |
18490 | <hr> | 18490 | <hr> |
18491 | <a·name="Syntax-1"></a> | 18491 | <a·name="Syntax-2"></a> |
18492 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> | 18492 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> |
18493 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> | 18493 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> |
18494 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Previous·section·in·reading·order">·<·</a>]</td> | 18494 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Previous·section·in·reading·order">·<·</a>]</td> |
18495 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Up·section">·Up·</a>]</td> | 18495 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Up·section">·Up·</a>]</td> |
18496 | <td·valign="middle"·align="left">[<a·href="#Semantics"·title="Next·section·in·reading·order">·>·</a>]</td> | 18496 | <td·valign="middle"·align="left">[<a·href="#Semantics"·title="Next·section·in·reading·order">·>·</a>]</td> |
18497 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> | 18497 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> |
18498 | <td·valign="middle"·align="left">· ·</td> | 18498 | <td·valign="middle"·align="left">· ·</td> |
Offset 18558, 15 lines modified | Offset 18558, 15 lines modified |
18558 | ·····················the·arrow·(either·<code><=></code>·or·<code>==></code>) | 18558 | ·····················the·arrow·(either·<code><=></code>·or·<code>==></code>) |
18559 | </li></ul> | 18559 | </li></ul> |
| |
18560 | <hr> | 18560 | <hr> |
18561 | <a·name="Semantics"></a> | 18561 | <a·name="Semantics"></a> |
18562 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> | 18562 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> |
18563 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> | 18563 | <tr><td·valign="middle"·align="left">[<a·href="#CHR"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> |
18564 | <td·valign="middle"·align="left">[<a·href="#Syntax-1"·title="Previous·section·in·reading·order">·<·</a>]</td> | 18564 | <td·valign="middle"·align="left">[<a·href="#Syntax-2"·title="Previous·section·in·reading·order">·<·</a>]</td> |
18565 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Up·section">·Up·</a>]</td> | 18565 | <td·valign="middle"·align="left">[<a·href="#CHR-Syntax-and-Semantics"·title="Up·section">·Up·</a>]</td> |
18566 | <td·valign="middle"·align="left">[<a·href="#Rule-Types"·title="Next·section·in·reading·order">·>·</a>]</td> | 18566 | <td·valign="middle"·align="left">[<a·href="#Rule-Types"·title="Next·section·in·reading·order">·>·</a>]</td> |
18567 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> | 18567 | <td·valign="middle"·align="left">[<a·href="#Logtalk"·title="Next·chapter">·>>·</a>]</td> |
18568 | <td·valign="middle"·align="left">· ·</td> | 18568 | <td·valign="middle"·align="left">· ·</td> |
18569 | <td·valign="middle"·align="left">· ·</td> | 18569 | <td·valign="middle"·align="left">· ·</td> |
18570 | <td·valign="middle"·align="left">· ·</td> | 18570 | <td·valign="middle"·align="left">· ·</td> |
18571 | <td·valign="middle"·align="left">· ·</td> | 18571 | <td·valign="middle"·align="left">· ·</td> |
Offset 24583, 91 lines modified | Offset 24583, 91 lines modified |
24583 | <td·valign="middle"·align="left">· ·</td> | 24583 | <td·valign="middle"·align="left">· ·</td> |
24584 | <td·valign="middle"·align="left">· ·</td> | 24584 | <td·valign="middle"·align="left">· ·</td> |
24585 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 24585 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
24586 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 24586 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
24587 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 24587 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
24588 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 24588 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
24589 | </tr></table> | 24589 | </tr></table> |
24590 | <a·name="YAP-predicates-not-available-in-C_002dProlog"></a> | 24590 | <a·name="YAP-predicates-not-available-in-C_002dProlog-1"></a> |
24591 | <h3·class="subsection">25.1.4·YAP·predicates·not·available·in·C-Prolog</h3> | 24591 | <h3·class="subsection">25.1.4·YAP·predicates·not·available·in·C-Prolog</h3> |
| |
24592 | <p>These·are·YAP·built-ins·not·available·in·C-Prolog. | 24592 | <p>These·are·YAP·built-ins·not·available·in·C-Prolog. |
24593 | </p> | 24593 | </p> |
24594 | <table><tr><th·valign="top">Jump·to:· ·</th><td><a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-1"><b>-</b></a> | 24594 | <table><tr><th·valign="top">Jump·to:· ·</th><td><a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-1"><b>-</b></a> |
24595 | · · | 24595 | · · |
24596 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-2"><b>=</b></a> | 24596 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-2"><b>=</b></a> |
24597 | · · | 24597 | · · |
24598 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-3"><b>\</b></a> | 24598 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-3"><b>\</b></a> |
24599 | · · | 24599 | · · |
24600 | <br> | 24600 | <br> |
24601 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-A"><b>A</b></a> | 24601 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-A"><b>A</b></a> |
24602 | · · | 24602 | · · |
24603 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-B"><b>B</b></a> | 24603 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-B"><b>B</b></a> |
24604 | · · | 24604 | · · |
24605 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-C"><b>C</b></a> | 24605 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-C"><b>C</b></a> |
24606 | · · | 24606 | · · |
24607 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-D"><b>D</b></a> | 24607 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-D"><b>D</b></a> |
24608 | · · | 24608 | · · |
24609 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-E"><b>E</b></a> | 24609 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-E"><b>E</b></a> |
24610 | · · | 24610 | · · |
24611 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-F"><b>F</b></a> | 24611 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-F"><b>F</b></a> |
24612 | · · | 24612 | · · |
24613 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-G"><b>G</b></a> | 24613 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-G"><b>G</b></a> |
24614 | · · | 24614 | · · |
24615 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-H"><b>H</b></a> | 24615 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-H"><b>H</b></a> |
24616 | · · | 24616 | · · |
24617 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-I"><b>I</b></a> | 24617 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-I"><b>I</b></a> |
24618 | · · | 24618 | · · |
24619 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-J"><b>J</b></a> | 24619 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-J"><b>J</b></a> |
24620 | · · | 24620 | · · |
24621 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-K"><b>K</b></a> | 24621 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-K"><b>K</b></a> |
24622 | · · | 24622 | · · |
24623 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-L"><b>L</b></a> | 24623 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-L"><b>L</b></a> |
24624 | · · | 24624 | · · |
24625 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-M"><b>M</b></a> | 24625 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-M"><b>M</b></a> |
24626 | · · | 24626 | · · |
24627 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-N"><b>N</b></a> | 24627 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-N"><b>N</b></a> |
24628 | · · | 24628 | · · |
24629 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-O"><b>O</b></a> | 24629 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-O"><b>O</b></a> |
24630 | · · | 24630 | · · |
24631 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-P"><b>P</b></a> | 24631 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-P"><b>P</b></a> |
24632 | · · | 24632 | · · |
24633 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-Q"><b>Q</b></a> | 24633 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Q"><b>Q</b></a> |
24634 | · · | 24634 | · · |
24635 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-R"><b>R</b></a> | 24635 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-R"><b>R</b></a> |
24636 | · · | 24636 | · · |
24637 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-S"><b>S</b></a> | 24637 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-S"><b>S</b></a> |
24638 | · · | 24638 | · · |
24639 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-T"><b>T</b></a> | 24639 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-T"><b>T</b></a> |
24640 | · · | 24640 | · · |
24641 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-U"><b>U</b></a> | 24641 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-U"><b>U</b></a> |
24642 | · · | 24642 | · · |
24643 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-V"><b>V</b></a> | 24643 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-V"><b>V</b></a> |
24644 | · · | 24644 | · · |
24645 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-W"><b>W</b></a> | 24645 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-W"><b>W</b></a> |
24646 | · · | 24646 | · · |
24647 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-Y"><b>Y</b></a> | 24647 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Y"><b>Y</b></a> |
24648 | · · | 24648 | · · |
24649 | </td></tr></table> | 24649 | </td></tr></table> |
24650 | <table·class="index-cn"·border="0"> | 24650 | <table·class="index-cn"·border="0"> |
24651 | <tr><td></td><th·align="left">Index·Entry</th><td> </td><th·align="left">·Section</th></tr> | 24651 | <tr><td></td><th·align="left">Index·Entry</th><td> </td><th·align="left">·Section</th></tr> |
24652 | <tr><td·colspan="4">·<hr></td></tr> | 24652 | <tr><td·colspan="4">·<hr></td></tr> |
24653 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_symbol-1">-</a></th><td></td><td></td></tr> | 24653 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-1">-</a></th><td></td><td></td></tr> |
24654 | <tr><td></td><td·valign="top"><a·href="#index-_002d_003e_002a_002f2-2">->*/2</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24654 | <tr><td></td><td·valign="top"><a·href="#index-_002d_003e_002a_002f2-2">->*/2</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24655 | <tr><td></td><td·valign="top"><a·href="#index-_002d_003e_002f2-2">->/2</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24655 | <tr><td></td><td·valign="top"><a·href="#index-_002d_003e_002f2-2">->/2</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24656 | <tr><td·colspan="4">·<hr></td></tr> | 24656 | <tr><td·colspan="4">·<hr></td></tr> |
24657 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_symbol-2">=</a></th><td></td><td></td></tr> | 24657 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-2">=</a></th><td></td><td></td></tr> |
24658 | <tr><td></td><td·valign="top"><a·href="#index-_003d_002f2-2">=/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24658 | <tr><td></td><td·valign="top"><a·href="#index-_003d_002f2-2">=/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24659 | <tr><td></td><td·valign="top"><a·href="#index-_003d_002f2-5">=/=2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24659 | <tr><td></td><td·valign="top"><a·href="#index-_003d_002f2-5">=/=2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24660 | <tr><td></td><td·valign="top"><a·href="#index-_003d_0040_003d_002f2-2">=@=/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog">8·SWI-Prolog·Emulation</a></td></tr> | 24660 | <tr><td></td><td·valign="top"><a·href="#index-_003d_0040_003d_002f2-2">=@=/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog">8·SWI-Prolog·Emulation</a></td></tr> |
24661 | <tr><td·colspan="4">·<hr></td></tr> | 24661 | <tr><td·colspan="4">·<hr></td></tr> |
24662 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_symbol-3">\</a></th><td></td><td></td></tr> | 24662 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-3">\</a></th><td></td><td></td></tr> |
24663 | <tr><td></td><td·valign="top"><a·href="#index-_005c_003d_002f2-2">\=/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24663 | <tr><td></td><td·valign="top"><a·href="#index-_005c_003d_002f2-2">\=/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24664 | <tr><td·colspan="4">·<hr></td></tr> | 24664 | <tr><td·colspan="4">·<hr></td></tr> |
24665 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-A">A</a></th><td></td><td></td></tr> | 24665 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-A">A</a></th><td></td><td></td></tr> |
24666 | <tr><td></td><td·valign="top"><a·href="#index-abolish_005fall_005ftables_002f0-2">abolish_all_tables/0</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 24666 | <tr><td></td><td·valign="top"><a·href="#index-abolish_005fall_005ftables_002f0-2">abolish_all_tables/0</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
24667 | <tr><td></td><td·valign="top"><a·href="#index-abolish_005ftable_002f1-2">abolish_table/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 24667 | <tr><td></td><td·valign="top"><a·href="#index-abolish_005ftable_002f1-2">abolish_table/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
24668 | <tr><td></td><td·valign="top"><a·href="#index-absolute_005ffile_005fname_002f2-2">absolute_file_name/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24668 | <tr><td></td><td·valign="top"><a·href="#index-absolute_005ffile_005fname_002f2-2">absolute_file_name/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24669 | <tr><td></td><td·valign="top"><a·href="#index-absolute_005ffile_005fname_002f3-2">absolute_file_name/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24669 | <tr><td></td><td·valign="top"><a·href="#index-absolute_005ffile_005fname_002f3-2">absolute_file_name/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24670 | <tr><td></td><td·valign="top"><a·href="#index-acyclic_005fterm_002f1-2">acyclic_term/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24670 | <tr><td></td><td·valign="top"><a·href="#index-acyclic_005fterm_002f1-2">acyclic_term/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24671 | <tr><td></td><td·valign="top"><a·href="#index-add_005fedges_002f3-2">add_edges/3</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> | 24671 | <tr><td></td><td·valign="top"><a·href="#index-add_005fedges_002f3-2">add_edges/3</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> |
24672 | <tr><td></td><td·valign="top"><a·href="#index-add_005fto_005farray_005felement_002f4-2">add_to_array_element/4</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> | 24672 | <tr><td></td><td·valign="top"><a·href="#index-add_005fto_005farray_005felement_002f4-2">add_to_array_element/4</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> |
Offset 24710, 27 lines modified | Offset 24710, 27 lines modified |
24710 | <tr><td></td><td·valign="top"><a·href="#index-attvar_002f1-5">attvar/1</a></td><td> </td><td·valign="top"><a·href="#Attributed-Unification">11.2.3·Attributed·Unification</a></td></tr> | 24710 | <tr><td></td><td·valign="top"><a·href="#index-attvar_002f1-5">attvar/1</a></td><td> </td><td·valign="top"><a·href="#Attributed-Unification">11.2.3·Attributed·Unification</a></td></tr> |
24711 | <tr><td></td><td·valign="top"><a·href="#index-at_005fend_005fof_005fstream_002f0-2">at_end_of_stream/0</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24711 | <tr><td></td><td·valign="top"><a·href="#index-at_005fend_005fof_005fstream_002f0-2">at_end_of_stream/0</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24712 | <tr><td></td><td·valign="top"><a·href="#index-at_005fend_005fof_005fstream_002f1-2">at_end_of_stream/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24712 | <tr><td></td><td·valign="top"><a·href="#index-at_005fend_005fof_005fstream_002f1-2">at_end_of_stream/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24713 | <tr><td></td><td·valign="top"><a·href="#index-avl_005finsert_002f4-2">avl_insert/4</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> | 24713 | <tr><td></td><td·valign="top"><a·href="#index-avl_005finsert_002f4-2">avl_insert/4</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> |
24714 | <tr><td></td><td·valign="top"><a·href="#index-avl_005flookup_002f3-2">avl_lookup/3</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> | 24714 | <tr><td></td><td·valign="top"><a·href="#index-avl_005flookup_002f3-2">avl_lookup/3</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> |
24715 | <tr><td></td><td·valign="top"><a·href="#index-avl_005fnew_002f1-2">avl_new/1</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> | 24715 | <tr><td></td><td·valign="top"><a·href="#index-avl_005fnew_002f1-2">avl_new/1</a></td><td> </td><td·valign="top"><a·href="#AVL-Trees">7.4·AVL·Trees</a></td></tr> |
24716 | <tr><td·colspan="4">·<hr></td></tr> | 24716 | <tr><td·colspan="4">·<hr></td></tr> |
24717 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-B">B</a></th><td></td><td></td></tr> | 24717 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-B">B</a></th><td></td><td></td></tr> |
24718 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fdelete_002f2-2">bb_delete/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> | 24718 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fdelete_002f2-2">bb_delete/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> |
24719 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fget_002f2-2">bb_get/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> | 24719 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fget_002f2-2">bb_get/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> |
24720 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fput_002f2-2">bb_put/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> | 24720 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fput_002f2-2">bb_put/2</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> |
24721 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fupdate_002f3-2">bb_update/3</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> | 24721 | <tr><td></td><td·valign="top"><a·href="#index-bb_005fupdate_002f3-2">bb_update/3</a></td><td> </td><td·valign="top"><a·href="#BlackBoard">6.12·The·Blackboard</a></td></tr> |
24722 | <tr><td></td><td·valign="top"><a·href="#index-between_002f3-2">between/3</a></td><td> </td><td·valign="top"><a·href="#Arithmetic">6.8·Arithmetic</a></td></tr> | 24722 | <tr><td></td><td·valign="top"><a·href="#index-between_002f3-2">between/3</a></td><td> </td><td·valign="top"><a·href="#Arithmetic">6.8·Arithmetic</a></td></tr> |
24723 | <tr><td></td><td·valign="top"><a·href="#index-between_002f3-5">between/3</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog">8·SWI-Prolog·Emulation</a></td></tr> | 24723 | <tr><td></td><td·valign="top"><a·href="#index-between_002f3-5">between/3</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog">8·SWI-Prolog·Emulation</a></td></tr> |
24724 | <tr><td></td><td·valign="top"><a·href="#index-b_005fgetval_002f2-2">b_getval/2</a></td><td> </td><td·valign="top"><a·href="#Global-Variables">6.17·Global·Variables</a></td></tr> | 24724 | <tr><td></td><td·valign="top"><a·href="#index-b_005fgetval_002f2-2">b_getval/2</a></td><td> </td><td·valign="top"><a·href="#Global-Variables">6.17·Global·Variables</a></td></tr> |
24725 | <tr><td></td><td·valign="top"><a·href="#index-b_005fgetval_002f2-5">b_getval/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog-Global-Variables">9·SWI·Global·variables</a></td></tr> | 24725 | <tr><td></td><td·valign="top"><a·href="#index-b_005fgetval_002f2-5">b_getval/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog-Global-Variables">9·SWI·Global·variables</a></td></tr> |
24726 | <tr><td></td><td·valign="top"><a·href="#index-b_005fsetval_002f2-2">b_setval/2</a></td><td> </td><td·valign="top"><a·href="#Global-Variables">6.17·Global·Variables</a></td></tr> | 24726 | <tr><td></td><td·valign="top"><a·href="#index-b_005fsetval_002f2-2">b_setval/2</a></td><td> </td><td·valign="top"><a·href="#Global-Variables">6.17·Global·Variables</a></td></tr> |
24727 | <tr><td></td><td·valign="top"><a·href="#index-b_005fsetval_002f2-5">b_setval/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog-Global-Variables">9·SWI·Global·variables</a></td></tr> | 24727 | <tr><td></td><td·valign="top"><a·href="#index-b_005fsetval_002f2-5">b_setval/2</a></td><td> </td><td·valign="top"><a·href="#SWI_002dProlog-Global-Variables">9·SWI·Global·variables</a></td></tr> |
24728 | <tr><td·colspan="4">·<hr></td></tr> | 24728 | <tr><td·colspan="4">·<hr></td></tr> |
24729 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-C">C</a></th><td></td><td></td></tr> | 24729 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-C">C</a></th><td></td><td></td></tr> |
24730 | <tr><td></td><td·valign="top"><a·href="#index-C_002f3-2">C/3</a></td><td> </td><td·valign="top"><a·href="#Grammars">6.14·Grammar·Rules</a></td></tr> | 24730 | <tr><td></td><td·valign="top"><a·href="#index-C_002f3-2">C/3</a></td><td> </td><td·valign="top"><a·href="#Grammars">6.14·Grammar·Rules</a></td></tr> |
24731 | <tr><td></td><td·valign="top"><a·href="#index-call_002fn-2">call/n</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24731 | <tr><td></td><td·valign="top"><a·href="#index-call_002fn-2">call/n</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24732 | <tr><td></td><td·valign="top"><a·href="#index-callable_002f1-2">callable/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24732 | <tr><td></td><td·valign="top"><a·href="#index-callable_002f1-2">callable/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24733 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcleanup_002f1-2">call_cleanup/1</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> | 24733 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcleanup_002f1-2">call_cleanup/1</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> |
24734 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcleanup_002f2-2">call_cleanup/2</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> | 24734 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcleanup_002f2-2">call_cleanup/2</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> |
24735 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcount_005fdata_002f0-2">call_count_data/0</a></td><td> </td><td·valign="top"><a·href="#Call-Counting">6.19·Counting·Calls</a></td></tr> | 24735 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcount_005fdata_002f0-2">call_count_data/0</a></td><td> </td><td·valign="top"><a·href="#Call-Counting">6.19·Counting·Calls</a></td></tr> |
24736 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcount_005fdata_002f3-2">call_count_data/3</a></td><td> </td><td·valign="top"><a·href="#Call-Counting">6.19·Counting·Calls</a></td></tr> | 24736 | <tr><td></td><td·valign="top"><a·href="#index-call_005fcount_005fdata_002f3-2">call_count_data/3</a></td><td> </td><td·valign="top"><a·href="#Call-Counting">6.19·Counting·Calls</a></td></tr> |
Offset 24786, 15 lines modified | Offset 24786, 15 lines modified |
24786 | <tr><td></td><td·valign="top"><a·href="#index-current_005foutput_002f1-2">current_output/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24786 | <tr><td></td><td·valign="top"><a·href="#index-current_005foutput_002f1-2">current_output/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24787 | <tr><td></td><td·valign="top"><a·href="#index-current_005fpredicate_002f2-2">current_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Looking-at-the-Database">6.10.2·Looking·at·the·Data·Base</a></td></tr> | 24787 | <tr><td></td><td·valign="top"><a·href="#index-current_005fpredicate_002f2-2">current_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Looking-at-the-Database">6.10.2·Looking·at·the·Data·Base</a></td></tr> |
24788 | <tr><td></td><td·valign="top"><a·href="#index-current_005fprolog_005fflag_002f2-2">current_prolog_flag/2</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> | 24788 | <tr><td></td><td·valign="top"><a·href="#index-current_005fprolog_005fflag_002f2-2">current_prolog_flag/2</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> |
24789 | <tr><td></td><td·valign="top"><a·href="#index-current_005fstream_002f3-2">current_stream/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24789 | <tr><td></td><td·valign="top"><a·href="#index-current_005fstream_002f3-2">current_stream/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24790 | <tr><td></td><td·valign="top"><a·href="#index-current_005fthread_002f2-2">current_thread/2</a></td><td> </td><td·valign="top"><a·href="#Monitoring-Threads">16.2·Monitoring·Threads</a></td></tr> | 24790 | <tr><td></td><td·valign="top"><a·href="#index-current_005fthread_002f2-2">current_thread/2</a></td><td> </td><td·valign="top"><a·href="#Monitoring-Threads">16.2·Monitoring·Threads</a></td></tr> |
24791 | <tr><td></td><td·valign="top"><a·href="#index-cyclic_005fterm_002f1-2">cyclic_term/1</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> | 24791 | <tr><td></td><td·valign="top"><a·href="#index-cyclic_005fterm_002f1-2">cyclic_term/1</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> |
24792 | <tr><td·colspan="4">·<hr></td></tr> | 24792 | <tr><td·colspan="4">·<hr></td></tr> |
24793 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-D">D</a></th><td></td><td></td></tr> | 24793 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-D">D</a></th><td></td><td></td></tr> |
24794 | <tr><td></td><td·valign="top"><a·href="#index-datime_002f1-2">datime/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24794 | <tr><td></td><td·valign="top"><a·href="#index-datime_002f1-2">datime/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24795 | <tr><td></td><td·valign="top"><a·href="#index-db_005fassert_002f1-2">db_assert/1</a></td><td> </td><td·valign="top"><a·href="#Insertion-of-Rows">15.8·Insertion·of·Rows</a></td></tr> | 24795 | <tr><td></td><td·valign="top"><a·href="#index-db_005fassert_002f1-2">db_assert/1</a></td><td> </td><td·valign="top"><a·href="#Insertion-of-Rows">15.8·Insertion·of·Rows</a></td></tr> |
24796 | <tr><td></td><td·valign="top"><a·href="#index-db_005fassert_002f2-2">db_assert/2</a></td><td> </td><td·valign="top"><a·href="#Insertion-of-Rows">15.8·Insertion·of·Rows</a></td></tr> | 24796 | <tr><td></td><td·valign="top"><a·href="#index-db_005fassert_002f2-2">db_assert/2</a></td><td> </td><td·valign="top"><a·href="#Insertion-of-Rows">15.8·Insertion·of·Rows</a></td></tr> |
24797 | <tr><td></td><td·valign="top"><a·href="#index-db_005fclose_002f1-2">db_close/1</a></td><td> </td><td·valign="top"><a·href="#Connecting-to-and-disconnecting-from-a-Database-Server">15.4·Connecting·to·and·disconnecting·from·a·Database·Server</a></td></tr> | 24797 | <tr><td></td><td·valign="top"><a·href="#index-db_005fclose_002f1-2">db_close/1</a></td><td> </td><td·valign="top"><a·href="#Connecting-to-and-disconnecting-from-a-Database-Server">15.4·Connecting·to·and·disconnecting·from·a·Database·Server</a></td></tr> |
24798 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdatalog_005fdescribe_002f1-2">db_datalog_describe/1</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> | 24798 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdatalog_005fdescribe_002f1-2">db_datalog_describe/1</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> |
24799 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdatalog_005fdescribe_002f2-2">db_datalog_describe/2</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> | 24799 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdatalog_005fdescribe_002f2-2">db_datalog_describe/2</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> |
24800 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdescribe_002f1-2">db_describe/1</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> | 24800 | <tr><td></td><td·valign="top"><a·href="#index-db_005fdescribe_002f1-2">db_describe/1</a></td><td> </td><td·valign="top"><a·href="#Describing-a-Relation">15.11·Describing·a·Relation</a></td></tr> |
Offset 24872, 15 lines modified | Offset 24872, 15 lines modified |
24872 | <tr><td></td><td·valign="top"><a·href="#index-display_002f1-5">display/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> | 24872 | <tr><td></td><td·valign="top"><a·href="#index-display_002f1-5">display/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> |
24873 | <tr><td></td><td·valign="top"><a·href="#index-display_002f2-2">display/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 24873 | <tr><td></td><td·valign="top"><a·href="#index-display_002f2-2">display/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
24874 | <tr><td></td><td·valign="top"><a·href="#index-do_005fnot_005fcompile_005fexpressions_002f0-2">do_not_compile_expressions/0</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 24874 | <tr><td></td><td·valign="top"><a·href="#index-do_005fnot_005fcompile_005fexpressions_002f0-2">do_not_compile_expressions/0</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
24875 | <tr><td></td><td·valign="top"><a·href="#index-duplicate_005fterm_002f2-2">duplicate_term/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24875 | <tr><td></td><td·valign="top"><a·href="#index-duplicate_005fterm_002f2-2">duplicate_term/2</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24876 | <tr><td></td><td·valign="top"><a·href="#index-dynamic_002f1-2">dynamic/1</a></td><td> </td><td·valign="top"><a·href="#Database">6.10·Using·the·Clausal·Data·Base</a></td></tr> | 24876 | <tr><td></td><td·valign="top"><a·href="#index-dynamic_002f1-2">dynamic/1</a></td><td> </td><td·valign="top"><a·href="#Database">6.10·Using·the·Clausal·Data·Base</a></td></tr> |
24877 | <tr><td></td><td·valign="top"><a·href="#index-dynamic_005fpredicate_002f2-2">dynamic_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Database">6.10·Using·the·Clausal·Data·Base</a></td></tr> | 24877 | <tr><td></td><td·valign="top"><a·href="#index-dynamic_005fpredicate_002f2-2">dynamic_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Database">6.10·Using·the·Clausal·Data·Base</a></td></tr> |
24878 | <tr><td·colspan="4">·<hr></td></tr> | 24878 | <tr><td·colspan="4">·<hr></td></tr> |
24879 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-E">E</a></th><td></td><td></td></tr> | 24879 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-E">E</a></th><td></td><td></td></tr> |
24880 | <tr><td></td><td·valign="top"><a·href="#index-edges_002f2-2">edges/2</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> | 24880 | <tr><td></td><td·valign="top"><a·href="#index-edges_002f2-2">edges/2</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> |
24881 | <tr><td></td><td·valign="top"><a·href="#index-elif_002f1-1">elif/1</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> | 24881 | <tr><td></td><td·valign="top"><a·href="#index-elif_002f1-1">elif/1</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> |
24882 | <tr><td></td><td·valign="top"><a·href="#index-else_002f0-1">else/0</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> | 24882 | <tr><td></td><td·valign="top"><a·href="#index-else_002f0-1">else/0</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> |
24883 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fassoc_002f1-2">empty_assoc/1</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> | 24883 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fassoc_002f1-2">empty_assoc/1</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> |
24884 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fheap_002f1-2">empty_heap/1</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> | 24884 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fheap_002f1-2">empty_heap/1</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> |
24885 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fqueue_002f1-2">empty_queue/1</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 24885 | <tr><td></td><td·valign="top"><a·href="#index-empty_005fqueue_002f1-2">empty_queue/1</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
24886 | <tr><td></td><td·valign="top"><a·href="#index-endif_002f0-1">endif/0</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> | 24886 | <tr><td></td><td·valign="top"><a·href="#index-endif_002f0-1">endif/0</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> |
Offset 24891, 15 lines modified | Offset 24891, 15 lines modified |
24891 | <tr><td></td><td·valign="top"><a·href="#index-exclude_002f3-2">exclude/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 24891 | <tr><td></td><td·valign="top"><a·href="#index-exclude_002f3-2">exclude/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
24892 | <tr><td></td><td·valign="top"><a·href="#index-exec_002f3-2">exec/3</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24892 | <tr><td></td><td·valign="top"><a·href="#index-exec_002f3-2">exec/3</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24893 | <tr><td></td><td·valign="top"><a·href="#index-exo_005ffiles_002f1-2">exo_files/1</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> | 24893 | <tr><td></td><td·valign="top"><a·href="#index-exo_005ffiles_002f1-2">exo_files/1</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> |
24894 | <tr><td></td><td·valign="top"><a·href="#index-expand_005ffile_005fname_002f2-2">expand_file_name/2</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 24894 | <tr><td></td><td·valign="top"><a·href="#index-expand_005ffile_005fname_002f2-2">expand_file_name/2</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
24895 | <tr><td></td><td·valign="top"><a·href="#index-export_002f1-2">export/1</a></td><td> </td><td·valign="top"><a·href="#Defining-Modules">5.2·Defining·a·New·Module</a></td></tr> | 24895 | <tr><td></td><td·valign="top"><a·href="#index-export_002f1-2">export/1</a></td><td> </td><td·valign="top"><a·href="#Defining-Modules">5.2·Defining·a·New·Module</a></td></tr> |
24896 | <tr><td></td><td·valign="top"><a·href="#index-export_005flist_002f2-2">export_list/2</a></td><td> </td><td·valign="top"><a·href="#Defining-Modules">5.2·Defining·a·New·Module</a></td></tr> | 24896 | <tr><td></td><td·valign="top"><a·href="#index-export_005flist_002f2-2">export_list/2</a></td><td> </td><td·valign="top"><a·href="#Defining-Modules">5.2·Defining·a·New·Module</a></td></tr> |
24897 | <tr><td·colspan="4">·<hr></td></tr> | 24897 | <tr><td·colspan="4">·<hr></td></tr> |
24898 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-F">F</a></th><td></td><td></td></tr> | 24898 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-F">F</a></th><td></td><td></td></tr> |
24899 | <tr><td></td><td·valign="top"><a·href="#index-false_002f0-2">false/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24899 | <tr><td></td><td·valign="top"><a·href="#index-false_002f0-2">false/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24900 | <tr><td></td><td·valign="top"><a·href="#index-fields_002f2-2">fields/2</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> | 24900 | <tr><td></td><td·valign="top"><a·href="#index-fields_002f2-2">fields/2</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> |
24901 | <tr><td></td><td·valign="top"><a·href="#index-fields_002f3-2">fields/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> | 24901 | <tr><td></td><td·valign="top"><a·href="#index-fields_002f3-2">fields/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> |
24902 | <tr><td></td><td·valign="top"><a·href="#index-file_005fbase_005fname_002f2-2">file_base_name/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24902 | <tr><td></td><td·valign="top"><a·href="#index-file_005fbase_005fname_002f2-2">file_base_name/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24903 | <tr><td></td><td·valign="top"><a·href="#index-file_005fexists_002f1-2">file_exists/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24903 | <tr><td></td><td·valign="top"><a·href="#index-file_005fexists_002f1-2">file_exists/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24904 | <tr><td></td><td·valign="top"><a·href="#index-file_005fexists_002f2-2">file_exists/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24904 | <tr><td></td><td·valign="top"><a·href="#index-file_005fexists_002f2-2">file_exists/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24905 | <tr><td></td><td·valign="top"><a·href="#index-file_005ffilter_002f3-2">file_filter/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> | 24905 | <tr><td></td><td·valign="top"><a·href="#index-file_005ffilter_002f3-2">file_filter/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> |
Offset 24930, 15 lines modified | Offset 24930, 15 lines modified |
24930 | <tr><td></td><td·valign="top"><a·href="#index-format_005fto_005fchars_002f3-2">format_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 24930 | <tr><td></td><td·valign="top"><a·href="#index-format_005fto_005fchars_002f3-2">format_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
24931 | <tr><td></td><td·valign="top"><a·href="#index-format_005fto_005fchars_002f4-2">format_to_chars/4</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 24931 | <tr><td></td><td·valign="top"><a·href="#index-format_005fto_005fchars_002f4-2">format_to_chars/4</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
24932 | <tr><td></td><td·valign="top"><a·href="#index-fragile-2">fragile</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> | 24932 | <tr><td></td><td·valign="top"><a·href="#index-fragile-2">fragile</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> |
24933 | <tr><td></td><td·valign="top"><a·href="#index-freeze_002f2-2">freeze/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> | 24933 | <tr><td></td><td·valign="top"><a·href="#index-freeze_002f2-2">freeze/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> |
24934 | <tr><td></td><td·valign="top"><a·href="#index-free_005fvariables_002f4-2">free_variables/4</a></td><td> </td><td·valign="top"><a·href="#Aggregate">7.1·Aggregate</a></td></tr> | 24934 | <tr><td></td><td·valign="top"><a·href="#index-free_005fvariables_002f4-2">free_variables/4</a></td><td> </td><td·valign="top"><a·href="#Aggregate">7.1·Aggregate</a></td></tr> |
24935 | <tr><td></td><td·valign="top"><a·href="#index-frozen_002f2-2">frozen/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> | 24935 | <tr><td></td><td·valign="top"><a·href="#index-frozen_002f2-2">frozen/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> |
24936 | <tr><td·colspan="4">·<hr></td></tr> | 24936 | <tr><td·colspan="4">·<hr></td></tr> |
24937 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-G">G</a></th><td></td><td></td></tr> | 24937 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-G">G</a></th><td></td><td></td></tr> |
24938 | <tr><td></td><td·valign="top"><a·href="#index-garbage_005fcollect_002f0-2">garbage_collect/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24938 | <tr><td></td><td·valign="top"><a·href="#index-garbage_005fcollect_002f0-2">garbage_collect/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24939 | <tr><td></td><td·valign="top"><a·href="#index-garbage_005fcollect_005fatoms_002f0-2">garbage_collect_atoms/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24939 | <tr><td></td><td·valign="top"><a·href="#index-garbage_005fcollect_005fatoms_002f0-2">garbage_collect_atoms/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24940 | <tr><td></td><td·valign="top"><a·href="#index-gc_002f0-2">gc/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24940 | <tr><td></td><td·valign="top"><a·href="#index-gc_002f0-2">gc/0</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24941 | <tr><td></td><td·valign="top"><a·href="#index-gen_005fassoc_002f3-2">gen_assoc/3</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> | 24941 | <tr><td></td><td·valign="top"><a·href="#index-gen_005fassoc_002f3-2">gen_assoc/3</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> |
24942 | <tr><td></td><td·valign="top"><a·href="#index-get_002f2-2">get/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 24942 | <tr><td></td><td·valign="top"><a·href="#index-get_002f2-2">get/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
24943 | <tr><td></td><td·valign="top"><a·href="#index-get0_002f2-2">get0/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 24943 | <tr><td></td><td·valign="top"><a·href="#index-get0_002f2-2">get0/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
24944 | <tr><td></td><td·valign="top"><a·href="#index-getcwd_002f1-2">getcwd/1</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> | 24944 | <tr><td></td><td·valign="top"><a·href="#index-getcwd_002f1-2">getcwd/1</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> |
Offset 24963, 25 lines modified | Offset 24963, 25 lines modified |
24963 | <tr><td></td><td·valign="top"><a·href="#index-get_005fvalue_002f2-2">get_value/2</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> | 24963 | <tr><td></td><td·valign="top"><a·href="#index-get_005fvalue_002f2-2">get_value/2</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> |
24964 | <tr><td></td><td·valign="top"><a·href="#index-glue_002f3-2">glue/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> | 24964 | <tr><td></td><td·valign="top"><a·href="#index-glue_002f3-2">glue/3</a></td><td> </td><td·valign="top"><a·href="#LineUtilities">7.7·Line·Manipulation·Utilities</a></td></tr> |
24965 | <tr><td></td><td·valign="top"><a·href="#index-goal_005fexpansion_002f3-2">goal_expansion/3</a></td><td> </td><td·valign="top"><a·href="#Grammars">6.14·Grammar·Rules</a></td></tr> | 24965 | <tr><td></td><td·valign="top"><a·href="#index-goal_005fexpansion_002f3-2">goal_expansion/3</a></td><td> </td><td·valign="top"><a·href="#Grammars">6.14·Grammar·Rules</a></td></tr> |
24966 | <tr><td></td><td·valign="top"><a·href="#index-ground_002f1-2">ground/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24966 | <tr><td></td><td·valign="top"><a·href="#index-ground_002f1-2">ground/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24967 | <tr><td></td><td·valign="top"><a·href="#index-grow_005fheap_002f1-1">grow_heap/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24967 | <tr><td></td><td·valign="top"><a·href="#index-grow_005fheap_002f1-1">grow_heap/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24968 | <tr><td></td><td·valign="top"><a·href="#index-grow_005fstack_002f1-2">grow_stack/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24968 | <tr><td></td><td·valign="top"><a·href="#index-grow_005fstack_002f1-2">grow_stack/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24969 | <tr><td·colspan="4">·<hr></td></tr> | 24969 | <tr><td·colspan="4">·<hr></td></tr> |
24970 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-H">H</a></th><td></td><td></td></tr> | 24970 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-H">H</a></th><td></td><td></td></tr> |
24971 | <tr><td></td><td·valign="top"><a·href="#index-halt_002f1-2">halt/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24971 | <tr><td></td><td·valign="top"><a·href="#index-halt_002f1-2">halt/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24972 | <tr><td></td><td·valign="top"><a·href="#index-head_005fqueue_002f2-2">head_queue/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 24972 | <tr><td></td><td·valign="top"><a·href="#index-head_005fqueue_002f2-2">head_queue/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
24973 | <tr><td></td><td·valign="top"><a·href="#index-heap_005fsize_002f2-2">heap_size/2</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> | 24973 | <tr><td></td><td·valign="top"><a·href="#index-heap_005fsize_002f2-2">heap_size/2</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> |
24974 | <tr><td></td><td·valign="top"><a·href="#index-heap_005fto_005flist_002f2-2">heap_to_list/2</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> | 24974 | <tr><td></td><td·valign="top"><a·href="#index-heap_005fto_005flist_002f2-2">heap_to_list/2</a></td><td> </td><td·valign="top"><a·href="#Heaps">7.5·Heaps</a></td></tr> |
24975 | <tr><td></td><td·valign="top"><a·href="#index-hide_002f1-2">hide/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 24975 | <tr><td></td><td·valign="top"><a·href="#index-hide_002f1-2">hide/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
24976 | <tr><td></td><td·valign="top"><a·href="#index-hide_005fpredicate_002f1-2">hide_predicate/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 24976 | <tr><td></td><td·valign="top"><a·href="#index-hide_005fpredicate_002f1-2">hide_predicate/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
24977 | <tr><td></td><td·valign="top"><a·href="#index-host_005fid_002f1-2">host_id/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24977 | <tr><td></td><td·valign="top"><a·href="#index-host_005fid_002f1-2">host_id/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24978 | <tr><td></td><td·valign="top"><a·href="#index-host_005fname_002f1-2">host_name/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 24978 | <tr><td></td><td·valign="top"><a·href="#index-host_005fname_002f1-2">host_name/1</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
24979 | <tr><td·colspan="4">·<hr></td></tr> | 24979 | <tr><td·colspan="4">·<hr></td></tr> |
24980 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-I">I</a></th><td></td><td></td></tr> | 24980 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-I">I</a></th><td></td><td></td></tr> |
24981 | <tr><td></td><td·valign="top"><a·href="#index-if_002f1-1">if/1</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> | 24981 | <tr><td></td><td·valign="top"><a·href="#index-if_002f1-1">if/1</a></td><td> </td><td·valign="top"><a·href="#Conditional-Compilation">4.3·Conditional·Compilation</a></td></tr> |
24982 | <tr><td></td><td·valign="top"><a·href="#index-if_002f3-2">if/3</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24982 | <tr><td></td><td·valign="top"><a·href="#index-if_002f3-2">if/3</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24983 | <tr><td></td><td·valign="top"><a·href="#index-ignore_002f1-2">ignore/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24983 | <tr><td></td><td·valign="top"><a·href="#index-ignore_002f1-2">ignore/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24984 | <tr><td></td><td·valign="top"><a·href="#index-include_002f3-2">include/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 24984 | <tr><td></td><td·valign="top"><a·href="#index-include_002f3-2">include/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
24985 | <tr><td></td><td·valign="top"><a·href="#index-incore_002f1-2">incore/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 24985 | <tr><td></td><td·valign="top"><a·href="#index-incore_002f1-2">incore/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
24986 | <tr><td></td><td·valign="top"><a·href="#index-initialization_002f0-2">initialization/0</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> | 24986 | <tr><td></td><td·valign="top"><a·href="#index-initialization_002f0-2">initialization/0</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> |
24987 | <tr><td></td><td·valign="top"><a·href="#index-initialization_002f1-_0028directive_0029-2">initialization/1·(directive)</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 24987 | <tr><td></td><td·valign="top"><a·href="#index-initialization_002f1-_0028directive_0029-2">initialization/1·(directive)</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
Offset 24990, 24 lines modified | Offset 24990, 24 lines modified |
24990 | <tr><td></td><td·valign="top"><a·href="#index-is_005fassoc_002f1-2">is_assoc/1</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> | 24990 | <tr><td></td><td·valign="top"><a·href="#index-is_005fassoc_002f1-2">is_assoc/1</a></td><td> </td><td·valign="top"><a·href="#Association-Lists">7.3·Association·Lists</a></td></tr> |
24991 | <tr><td></td><td·valign="top"><a·href="#index-is_005flist_002f1-2">is_list/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> | 24991 | <tr><td></td><td·valign="top"><a·href="#index-is_005flist_002f1-2">is_list/1</a></td><td> </td><td·valign="top"><a·href="#Testing-Terms">6.4·Predicates·on·terms</a></td></tr> |
24992 | <tr><td></td><td·valign="top"><a·href="#index-is_005fmutable_002f1-2">is_mutable/1</a></td><td> </td><td·valign="top"><a·href="#Term-Modification">6.16·Term·Modification</a></td></tr> | 24992 | <tr><td></td><td·valign="top"><a·href="#index-is_005fmutable_002f1-2">is_mutable/1</a></td><td> </td><td·valign="top"><a·href="#Term-Modification">6.16·Term·Modification</a></td></tr> |
24993 | <tr><td></td><td·valign="top"><a·href="#index-is_005frbtree_002f1-2">is_rbtree/1</a></td><td> </td><td·valign="top"><a·href="#Red_002dBlack-Trees">7.17·Red-Black·Trees</a></td></tr> | 24993 | <tr><td></td><td·valign="top"><a·href="#index-is_005frbtree_002f1-2">is_rbtree/1</a></td><td> </td><td·valign="top"><a·href="#Red_002dBlack-Trees">7.17·Red-Black·Trees</a></td></tr> |
24994 | <tr><td></td><td·valign="top"><a·href="#index-is_005fstream_002f1-2">is_stream/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 24994 | <tr><td></td><td·valign="top"><a·href="#index-is_005fstream_002f1-2">is_stream/1</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
24995 | <tr><td></td><td·valign="top"><a·href="#index-is_005ftabled_002f1-2">is_tabled/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 24995 | <tr><td></td><td·valign="top"><a·href="#index-is_005ftabled_002f1-2">is_tabled/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
24996 | <tr><td·colspan="4">·<hr></td></tr> | 24996 | <tr><td·colspan="4">·<hr></td></tr> |
24997 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-J">J</a></th><td></td><td></td></tr> | 24997 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-J">J</a></th><td></td><td></td></tr> |
24998 | <tr><td></td><td·valign="top"><a·href="#index-join_005fqueue_002f3-2">join_queue/3</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 24998 | <tr><td></td><td·valign="top"><a·href="#index-join_005fqueue_002f3-2">join_queue/3</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
24999 | <tr><td></td><td·valign="top"><a·href="#index-jump_005fqueue_002f3-2">jump_queue/3</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 24999 | <tr><td></td><td·valign="top"><a·href="#index-jump_005fqueue_002f3-2">jump_queue/3</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
25000 | <tr><td·colspan="4">·<hr></td></tr> | 25000 | <tr><td·colspan="4">·<hr></td></tr> |
25001 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-K">K</a></th><td></td><td></td></tr> | 25001 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-K">K</a></th><td></td><td></td></tr> |
25002 | <tr><td></td><td·valign="top"><a·href="#index-key_005fstatistics_002f3-2">key_statistics/3</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> | 25002 | <tr><td></td><td·valign="top"><a·href="#index-key_005fstatistics_002f3-2">key_statistics/3</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> |
25003 | <tr><td></td><td·valign="top"><a·href="#index-key_005fstatistics_002f4-2">key_statistics/4</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> | 25003 | <tr><td></td><td·valign="top"><a·href="#index-key_005fstatistics_002f4-2">key_statistics/4</a></td><td> </td><td·valign="top"><a·href="#Internal-Database">6.11·Internal·Data·Base</a></td></tr> |
25004 | <tr><td></td><td·valign="top"><a·href="#index-kill_002f2-2">kill/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 25004 | <tr><td></td><td·valign="top"><a·href="#index-kill_002f2-2">kill/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
25005 | <tr><td·colspan="4">·<hr></td></tr> | 25005 | <tr><td·colspan="4">·<hr></td></tr> |
25006 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-L">L</a></th><td></td><td></td></tr> | 25006 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-L">L</a></th><td></td><td></td></tr> |
25007 | <tr><td></td><td·valign="top"><a·href="#index-last_002f2-2">last/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25007 | <tr><td></td><td·valign="top"><a·href="#index-last_002f2-2">last/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25008 | <tr><td></td><td·valign="top"><a·href="#index-length_005fqueue_002f2-2">length_queue/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 25008 | <tr><td></td><td·valign="top"><a·href="#index-length_005fqueue_002f2-2">length_queue/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
25009 | <tr><td></td><td·valign="top"><a·href="#index-library_005fdirectory_002f1-2">library_directory/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 25009 | <tr><td></td><td·valign="top"><a·href="#index-library_005fdirectory_002f1-2">library_directory/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
25010 | <tr><td></td><td·valign="top"><a·href="#index-library_005fdirectory_002f1-5">library_directory/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 25010 | <tr><td></td><td·valign="top"><a·href="#index-library_005fdirectory_002f1-5">library_directory/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
25011 | <tr><td></td><td·valign="top"><a·href="#index-line_005fcount_002f2-2">line_count/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 25011 | <tr><td></td><td·valign="top"><a·href="#index-line_005fcount_002f2-2">line_count/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
25012 | <tr><td></td><td·valign="top"><a·href="#index-line_005fposition_002f2-2">line_position/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 25012 | <tr><td></td><td·valign="top"><a·href="#index-line_005fposition_002f2-2">line_position/2</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
25013 | <tr><td></td><td·valign="top"><a·href="#index-list_005fconcat_002f2-2">list_concat/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25013 | <tr><td></td><td·valign="top"><a·href="#index-list_005fconcat_002f2-2">list_concat/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
Offset 25022, 15 lines modified | Offset 25022, 15 lines modified |
25022 | <tr><td></td><td·valign="top"><a·href="#index-list_005fto_005ftree_002f2-2">list_to_tree/2</a></td><td> </td><td·valign="top"><a·href="#Trees">7.27·Updatable·Binary·Trees</a></td></tr> | 25022 | <tr><td></td><td·valign="top"><a·href="#index-list_005fto_005ftree_002f2-2">list_to_tree/2</a></td><td> </td><td·valign="top"><a·href="#Trees">7.27·Updatable·Binary·Trees</a></td></tr> |
25023 | <tr><td></td><td·valign="top"><a·href="#index-load_005fdb_002f1-2">load_db/1</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> | 25023 | <tr><td></td><td·valign="top"><a·href="#index-load_005fdb_002f1-2">load_db/1</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> |
25024 | <tr><td></td><td·valign="top"><a·href="#index-load_005ffiles_002f2-2">load_files/2</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> | 25024 | <tr><td></td><td·valign="top"><a·href="#index-load_005ffiles_002f2-2">load_files/2</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> |
25025 | <tr><td></td><td·valign="top"><a·href="#index-load_005fforeign_005flibrary_002f1-2">load_foreign_library/1</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> | 25025 | <tr><td></td><td·valign="top"><a·href="#index-load_005fforeign_005flibrary_002f1-2">load_foreign_library/1</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> |
25026 | <tr><td></td><td·valign="top"><a·href="#index-load_005fforeign_005flibrary_002f2-2">load_foreign_library/2</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> | 25026 | <tr><td></td><td·valign="top"><a·href="#index-load_005fforeign_005flibrary_002f2-2">load_foreign_library/2</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> |
25027 | <tr><td></td><td·valign="top"><a·href="#index-ls_002f0-2">ls/0</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> | 25027 | <tr><td></td><td·valign="top"><a·href="#index-ls_002f0-2">ls/0</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> |
25028 | <tr><td·colspan="4">·<hr></td></tr> | 25028 | <tr><td·colspan="4">·<hr></td></tr> |
25029 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-M">M</a></th><td></td><td></td></tr> | 25029 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-M">M</a></th><td></td><td></td></tr> |
25030 | <tr><td></td><td·valign="top"><a·href="#index-make_002f0-2">make/0</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> | 25030 | <tr><td></td><td·valign="top"><a·href="#index-make_002f0-2">make/0</a></td><td> </td><td·valign="top"><a·href="#Compiling">4.1·Program·loading·and·updating</a></td></tr> |
25031 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdiagram_002f2-2">make_diagram/2</a></td><td> </td><td·valign="top"><a·href="#Block-Diagram">7.34·Block·Diagram</a></td></tr> | 25031 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdiagram_002f2-2">make_diagram/2</a></td><td> </td><td·valign="top"><a·href="#Block-Diagram">7.34·Block·Diagram</a></td></tr> |
25032 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdiagram_002f2-5">make_diagram/2</a></td><td> </td><td·valign="top"><a·href="#Block-Diagram">7.34·Block·Diagram</a></td></tr> | 25032 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdiagram_002f2-5">make_diagram/2</a></td><td> </td><td·valign="top"><a·href="#Block-Diagram">7.34·Block·Diagram</a></td></tr> |
25033 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdirectory_002f2-2">make_directory/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 25033 | <tr><td></td><td·valign="top"><a·href="#index-make_005fdirectory_002f2-2">make_directory/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
25034 | <tr><td></td><td·valign="top"><a·href="#index-make_005fqueue_002f1-2">make_queue/1</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 25034 | <tr><td></td><td·valign="top"><a·href="#index-make_005fqueue_002f1-2">make_queue/1</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
25035 | <tr><td></td><td·valign="top"><a·href="#index-mapargs_002f3-2">mapargs/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25035 | <tr><td></td><td·valign="top"><a·href="#index-mapargs_002f3-2">mapargs/3</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25036 | <tr><td></td><td·valign="top"><a·href="#index-maplist_002f2-2">maplist/2</a></td><td> </td><td·valign="top"><a·href="#Invoking-Predicates-on-all-Members-of-a-List">8.1·Invoking·Predicates·on·all·Members·of·a·List</a></td></tr> | 25036 | <tr><td></td><td·valign="top"><a·href="#index-maplist_002f2-2">maplist/2</a></td><td> </td><td·valign="top"><a·href="#Invoking-Predicates-on-all-Members-of-a-List">8.1·Invoking·Predicates·on·all·Members·of·a·List</a></td></tr> |
Offset 25142, 15 lines modified | Offset 25142, 15 lines modified |
25142 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005fdestroy_002f1-2">mutex_destroy/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25142 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005fdestroy_002f1-2">mutex_destroy/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25143 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005flock_002f1-2">mutex_lock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25143 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005flock_002f1-2">mutex_lock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25144 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005fstatistics_002f0-2">mutex_statistics/0</a></td><td> </td><td·valign="top"><a·href="#Monitoring-Threads">16.2·Monitoring·Threads</a></td></tr> | 25144 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005fstatistics_002f0-2">mutex_statistics/0</a></td><td> </td><td·valign="top"><a·href="#Monitoring-Threads">16.2·Monitoring·Threads</a></td></tr> |
25145 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005ftrylock_002f1-2">mutex_trylock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25145 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005ftrylock_002f1-2">mutex_trylock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25146 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005funlock_002f1-2">mutex_unlock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25146 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005funlock_002f1-2">mutex_unlock/1</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25147 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005funlock_005fall_002f0-2">mutex_unlock_all/0</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25147 | <tr><td></td><td·valign="top"><a·href="#index-mutex_005funlock_005fall_002f0-2">mutex_unlock_all/0</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25148 | <tr><td·colspan="4">·<hr></td></tr> | 25148 | <tr><td·colspan="4">·<hr></td></tr> |
25149 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-N">N</a></th><td></td><td></td></tr> | 25149 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-N">N</a></th><td></td><td></td></tr> |
25150 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_002f1-2">nb_beam/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25150 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_002f1-2">nb_beam/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25151 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fadd_002f3-2">nb_beam_add/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25151 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fadd_002f3-2">nb_beam_add/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25152 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fclose_002f1-2">nb_beam_close/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25152 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fclose_002f1-2">nb_beam_close/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25153 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fdel_002f3-2">nb_beam_del/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25153 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fdel_002f3-2">nb_beam_del/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25154 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fempty_002f1-2">nb_beam_empty/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25154 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fempty_002f1-2">nb_beam_empty/1</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25155 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fpeek_002f3-2">nb_beam_peek/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25155 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fpeek_002f3-2">nb_beam_peek/3</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
25156 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fsize_002f2-2">nb_beam_size/2</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> | 25156 | <tr><td></td><td·valign="top"><a·href="#index-nb_005fbeam_005fsize_002f2-2">nb_beam_size/2</a></td><td> </td><td·valign="top"><a·href="#Non_002dBacktrackable-Data-Structures">7.11·Non-Backtrackable·Data·Structures</a></td></tr> |
Offset 25201, 15 lines modified | Offset 25201, 15 lines modified |
25201 | <tr><td></td><td·valign="top"><a·href="#index-number_005fatom_002f2-2">number_atom/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> | 25201 | <tr><td></td><td·valign="top"><a·href="#index-number_005fatom_002f2-2">number_atom/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> |
25202 | <tr><td></td><td·valign="top"><a·href="#index-number_005fchars_002f2-2">number_chars/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> | 25202 | <tr><td></td><td·valign="top"><a·href="#index-number_005fchars_002f2-2">number_chars/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> |
25203 | <tr><td></td><td·valign="top"><a·href="#index-number_005fcodes_002f2-2">number_codes/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> | 25203 | <tr><td></td><td·valign="top"><a·href="#index-number_005fcodes_002f2-2">number_codes/2</a></td><td> </td><td·valign="top"><a·href="#Predicates-on-Atoms">6.5·Predicates·on·Atoms</a></td></tr> |
25204 | <tr><td></td><td·valign="top"><a·href="#index-number_005fto_005fchars_002f2-2">number_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25204 | <tr><td></td><td·valign="top"><a·href="#index-number_005fto_005fchars_002f2-2">number_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25205 | <tr><td></td><td·valign="top"><a·href="#index-number_005fto_005fchars_002f3-2">number_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25205 | <tr><td></td><td·valign="top"><a·href="#index-number_005fto_005fchars_002f3-2">number_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25206 | <tr><td></td><td·valign="top"><a·href="#index-numlist_002f3-2">numlist/3</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25206 | <tr><td></td><td·valign="top"><a·href="#index-numlist_002f3-2">numlist/3</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25207 | <tr><td·colspan="4">·<hr></td></tr> | 25207 | <tr><td·colspan="4">·<hr></td></tr> |
25208 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-O">O</a></th><td></td><td></td></tr> | 25208 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-O">O</a></th><td></td><td></td></tr> |
25209 | <tr><td></td><td·valign="top"><a·href="#index-once_002f1-2">once/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> | 25209 | <tr><td></td><td·valign="top"><a·href="#index-once_002f1-2">once/1</a></td><td> </td><td·valign="top"><a·href="#Control">6.1·Control·Predicates</a></td></tr> |
25210 | <tr><td></td><td·valign="top"><a·href="#index-on_005fcleanup_002f1-2">on_cleanup/1</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> | 25210 | <tr><td></td><td·valign="top"><a·href="#index-on_005fcleanup_002f1-2">on_cleanup/1</a></td><td> </td><td·valign="top"><a·href="#Cleanup">7.25·Call·Cleanup</a></td></tr> |
25211 | <tr><td></td><td·valign="top"><a·href="#index-on_005fsignal_002f3-2">on_signal/3</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> | 25211 | <tr><td></td><td·valign="top"><a·href="#index-on_005fsignal_002f3-2">on_signal/3</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> |
25212 | <tr><td></td><td·valign="top"><a·href="#index-open_002f3-2">open/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 25212 | <tr><td></td><td·valign="top"><a·href="#index-open_002f3-2">open/3</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
25213 | <tr><td></td><td·valign="top"><a·href="#index-open_002f4-2">open/4</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> | 25213 | <tr><td></td><td·valign="top"><a·href="#index-open_002f4-2">open/4</a></td><td> </td><td·valign="top"><a·href="#Streams-and-Files">6.9.1·Handling·Streams·and·Files</a></td></tr> |
25214 | <tr><td></td><td·valign="top"><a·href="#index-open_005fchars_005fstream_002f2-2">open_chars_stream/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25214 | <tr><td></td><td·valign="top"><a·href="#index-open_005fchars_005fstream_002f2-2">open_chars_stream/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25215 | <tr><td></td><td·valign="top"><a·href="#index-open_005fshared_005fobject_002f2-2">open_shared_object/2</a></td><td> </td><td·valign="top"><a·href="#Loading-Objects">23.11·Loading·Object·Files</a></td></tr> | 25215 | <tr><td></td><td·valign="top"><a·href="#index-open_005fshared_005fobject_002f2-2">open_shared_object/2</a></td><td> </td><td·valign="top"><a·href="#Loading-Objects">23.11·Loading·Object·Files</a></td></tr> |
Offset 25228, 15 lines modified | Offset 25228, 15 lines modified |
25228 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsetproduct_002f3-2">ord_setproduct/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25228 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsetproduct_002f3-2">ord_setproduct/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25229 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsubtract_002f3-2">ord_subtract/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25229 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsubtract_002f3-2">ord_subtract/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25230 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsymdiff_002f3-2">ord_symdiff/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25230 | <tr><td></td><td·valign="top"><a·href="#index-ord_005fsymdiff_002f3-2">ord_symdiff/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25231 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f2-2">ord_union/2</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25231 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f2-2">ord_union/2</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25232 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f3-2">ord_union/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25232 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f3-2">ord_union/3</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25233 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f4-2">ord_union/4</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> | 25233 | <tr><td></td><td·valign="top"><a·href="#index-ord_005funion_002f4-2">ord_union/4</a></td><td> </td><td·valign="top"><a·href="#Ordered-Sets">7.12·Ordered·Sets</a></td></tr> |
25234 | <tr><td·colspan="4">·<hr></td></tr> | 25234 | <tr><td·colspan="4">·<hr></td></tr> |
25235 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-P">P</a></th><td></td><td></td></tr> | 25235 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-P">P</a></th><td></td><td></td></tr> |
25236 | <tr><td></td><td·valign="top"><a·href="#index-partition_002f4-2">partition/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25236 | <tr><td></td><td·valign="top"><a·href="#index-partition_002f4-2">partition/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25237 | <tr><td></td><td·valign="top"><a·href="#index-partition_002f5-2">partition/5</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25237 | <tr><td></td><td·valign="top"><a·href="#index-partition_002f5-2">partition/5</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25238 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-2">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 25238 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-2">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
25239 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-4">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 25239 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-4">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
25240 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-6">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> | 25240 | <tr><td></td><td·valign="top"><a·href="#index-path_002f1-6">path/1</a></td><td> </td><td·valign="top"><a·href="#Setting-the-Compiler">4.2·Changing·the·Compiler’s·Behavior</a></td></tr> |
25241 | <tr><td></td><td·valign="top"><a·href="#index-peek_005fbyte_002f1-2">peek_byte/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> | 25241 | <tr><td></td><td·valign="top"><a·href="#index-peek_005fbyte_002f1-2">peek_byte/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> |
25242 | <tr><td></td><td·valign="top"><a·href="#index-peek_005fbyte_002f2-2">peek_byte/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25242 | <tr><td></td><td·valign="top"><a·href="#index-peek_005fbyte_002f2-2">peek_byte/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
Offset 25282, 19 lines modified | Offset 25282, 19 lines modified |
25282 | <tr><td></td><td·valign="top"><a·href="#index-put_005fchar_002f1-2">put_char/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> | 25282 | <tr><td></td><td·valign="top"><a·href="#index-put_005fchar_002f1-2">put_char/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> |
25283 | <tr><td></td><td·valign="top"><a·href="#index-put_005fchar_002f2-2">put_char/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25283 | <tr><td></td><td·valign="top"><a·href="#index-put_005fchar_002f2-2">put_char/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25284 | <tr><td></td><td·valign="top"><a·href="#index-put_005fcode_002f1-2">put_code/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> | 25284 | <tr><td></td><td·valign="top"><a·href="#index-put_005fcode_002f1-2">put_code/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Characters">6.9.4·Handling·Input/Output·of·Characters</a></td></tr> |
25285 | <tr><td></td><td·valign="top"><a·href="#index-put_005fcode_002f2-2">put_code/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25285 | <tr><td></td><td·valign="top"><a·href="#index-put_005fcode_002f2-2">put_code/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25286 | <tr><td></td><td·valign="top"><a·href="#index-put_005flabel_002f4-2">put_label/4</a></td><td> </td><td·valign="top"><a·href="#Trees">7.27·Updatable·Binary·Trees</a></td></tr> | 25286 | <tr><td></td><td·valign="top"><a·href="#index-put_005flabel_002f4-2">put_label/4</a></td><td> </td><td·valign="top"><a·href="#Trees">7.27·Updatable·Binary·Trees</a></td></tr> |
25287 | <tr><td></td><td·valign="top"><a·href="#index-pwd_002f0-2">pwd/0</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> | 25287 | <tr><td></td><td·valign="top"><a·href="#index-pwd_002f0-2">pwd/0</a></td><td> </td><td·valign="top"><a·href="#OS">6.15·Access·to·Operating·System·Functionality</a></td></tr> |
25288 | <tr><td·colspan="4">·<hr></td></tr> | 25288 | <tr><td·colspan="4">·<hr></td></tr> |
25289 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-Q">Q</a></th><td></td><td></td></tr> | 25289 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Q">Q</a></th><td></td><td></td></tr> |
25290 | <tr><td></td><td·valign="top"><a·href="#index-qsave_005fprogram_002f2-2">qsave_program/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> | 25290 | <tr><td></td><td·valign="top"><a·href="#index-qsave_005fprogram_002f2-2">qsave_program/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> |
25291 | <tr><td></td><td·valign="top"><a·href="#index-queue_005fto_005flist_002f2-2">queue_to_list/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> | 25291 | <tr><td></td><td·valign="top"><a·href="#index-queue_005fto_005flist_002f2-2">queue_to_list/2</a></td><td> </td><td·valign="top"><a·href="#Queues">7.14·Queues</a></td></tr> |
25292 | <tr><td·colspan="4">·<hr></td></tr> | 25292 | <tr><td·colspan="4">·<hr></td></tr> |
25293 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-R">R</a></th><td></td><td></td></tr> | 25293 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-R">R</a></th><td></td><td></td></tr> |
25294 | <tr><td></td><td·valign="top"><a·href="#index-random_002f1-2">random/1</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> | 25294 | <tr><td></td><td·valign="top"><a·href="#index-random_002f1-2">random/1</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> |
25295 | <tr><td></td><td·valign="top"><a·href="#index-random_002f3-2">random/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> | 25295 | <tr><td></td><td·valign="top"><a·href="#index-random_002f3-2">random/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> |
25296 | <tr><td></td><td·valign="top"><a·href="#index-randseq_002f3-2">randseq/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> | 25296 | <tr><td></td><td·valign="top"><a·href="#index-randseq_002f3-2">randseq/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> |
25297 | <tr><td></td><td·valign="top"><a·href="#index-randset_002f3-2">randset/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> | 25297 | <tr><td></td><td·valign="top"><a·href="#index-randset_002f3-2">randset/3</a></td><td> </td><td·valign="top"><a·href="#Random">7.15·Random·Number·Generator</a></td></tr> |
25298 | <tr><td></td><td·valign="top"><a·href="#index-rannum_002f1-2">rannum/1</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> | 25298 | <tr><td></td><td·valign="top"><a·href="#index-rannum_002f1-2">rannum/1</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> |
25299 | <tr><td></td><td·valign="top"><a·href="#index-ranstart_002f0-2">ranstart/0</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> | 25299 | <tr><td></td><td·valign="top"><a·href="#index-ranstart_002f0-2">ranstart/0</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> |
25300 | <tr><td></td><td·valign="top"><a·href="#index-ranstart_002f1-2">ranstart/1</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> | 25300 | <tr><td></td><td·valign="top"><a·href="#index-ranstart_002f1-2">ranstart/1</a></td><td> </td><td·valign="top"><a·href="#Pseudo-Random">7.13·Pseudo·Random·Number·Integer·Generator</a></td></tr> |
Offset 25352, 15 lines modified | Offset 25352, 15 lines modified |
25352 | <tr><td></td><td·valign="top"><a·href="#index-reset_005fstatic_005farray_002f1-2">reset_static_array/1</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> | 25352 | <tr><td></td><td·valign="top"><a·href="#index-reset_005fstatic_005farray_002f1-2">reset_static_array/1</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> |
25353 | <tr><td></td><td·valign="top"><a·href="#index-resize_005fstatic_005farray_002f3-2">resize_static_array/3</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> | 25353 | <tr><td></td><td·valign="top"><a·href="#index-resize_005fstatic_005farray_002f3-2">resize_static_array/3</a></td><td> </td><td·valign="top"><a·href="#Arrays">6.20·Arrays</a></td></tr> |
25354 | <tr><td></td><td·valign="top"><a·href="#index-restore_002f1-2">restore/1</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> | 25354 | <tr><td></td><td·valign="top"><a·href="#index-restore_002f1-2">restore/1</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> |
25355 | <tr><td></td><td·valign="top"><a·href="#index-retract_002f1-2">retract/1</a></td><td> </td><td·valign="top"><a·href="#Modifying-the-Database">6.10.1·Modification·of·the·Data·Base</a></td></tr> | 25355 | <tr><td></td><td·valign="top"><a·href="#index-retract_002f1-2">retract/1</a></td><td> </td><td·valign="top"><a·href="#Modifying-the-Database">6.10.1·Modification·of·the·Data·Base</a></td></tr> |
25356 | <tr><td></td><td·valign="top"><a·href="#index-retractall_002f1-2">retractall/1</a></td><td> </td><td·valign="top"><a·href="#Modifying-the-Database">6.10.1·Modification·of·the·Data·Base</a></td></tr> | 25356 | <tr><td></td><td·valign="top"><a·href="#index-retractall_002f1-2">retractall/1</a></td><td> </td><td·valign="top"><a·href="#Modifying-the-Database">6.10.1·Modification·of·the·Data·Base</a></td></tr> |
25357 | <tr><td></td><td·valign="top"><a·href="#index-reverse_002f2-2">reverse/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25357 | <tr><td></td><td·valign="top"><a·href="#index-reverse_002f2-2">reverse/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25358 | <tr><td·colspan="4">·<hr></td></tr> | 25358 | <tr><td·colspan="4">·<hr></td></tr> |
25359 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-S">S</a></th><td></td><td></td></tr> | 25359 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-S">S</a></th><td></td><td></td></tr> |
25360 | <tr><td></td><td·valign="top"><a·href="#index-same_005flength_002f2-2">same_length/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25360 | <tr><td></td><td·valign="top"><a·href="#index-same_005flength_002f2-2">same_length/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25361 | <tr><td></td><td·valign="top"><a·href="#index-save_002f2-2">save/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> | 25361 | <tr><td></td><td·valign="top"><a·href="#index-save_002f2-2">save/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> |
25362 | <tr><td></td><td·valign="top"><a·href="#index-save_005fprogram_002f1-2">save_program/1</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> | 25362 | <tr><td></td><td·valign="top"><a·href="#index-save_005fprogram_002f1-2">save_program/1</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> |
25363 | <tr><td></td><td·valign="top"><a·href="#index-save_005fprogram_002f2-2">save_program/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> | 25363 | <tr><td></td><td·valign="top"><a·href="#index-save_005fprogram_002f2-2">save_program/2</a></td><td> </td><td·valign="top"><a·href="#Saving">4.4·Saving·and·Loading·Prolog·States</a></td></tr> |
25364 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f4-2">scanl/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25364 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f4-2">scanl/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25365 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f5-2">scanl/5</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25365 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f5-2">scanl/5</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25366 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f6-2">scanl/6</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25366 | <tr><td></td><td·valign="top"><a·href="#index-scanl_002f6-2">scanl/6</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
Offset 25451, 15 lines modified | Offset 25451, 15 lines modified |
25451 | <tr><td></td><td·valign="top"><a·href="#index-sumnodes_002f4-2">sumnodes/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> | 25451 | <tr><td></td><td·valign="top"><a·href="#index-sumnodes_002f4-2">sumnodes/4</a></td><td> </td><td·valign="top"><a·href="#MapList">7.8·Maplist</a></td></tr> |
25452 | <tr><td></td><td·valign="top"><a·href="#index-sum_005flist_002f2-2">sum_list/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25452 | <tr><td></td><td·valign="top"><a·href="#index-sum_005flist_002f2-2">sum_list/2</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25453 | <tr><td></td><td·valign="top"><a·href="#index-sum_005flist_002f3-2">sum_list/3</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> | 25453 | <tr><td></td><td·valign="top"><a·href="#index-sum_005flist_002f3-2">sum_list/3</a></td><td> </td><td·valign="top"><a·href="#Lists">7.6·List·Manipulation</a></td></tr> |
25454 | <tr><td></td><td·valign="top"><a·href="#index-system_002f0-2">system/0</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 25454 | <tr><td></td><td·valign="top"><a·href="#index-system_002f0-2">system/0</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
25455 | <tr><td></td><td·valign="top"><a·href="#index-system_002f2-2">system/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 25455 | <tr><td></td><td·valign="top"><a·href="#index-system_002f2-2">system/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
25456 | <tr><td></td><td·valign="top"><a·href="#index-system_005fpredicate_002f2-2">system_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Looking-at-the-Database">6.10.2·Looking·at·the·Data·Base</a></td></tr> | 25456 | <tr><td></td><td·valign="top"><a·href="#index-system_005fpredicate_002f2-2">system_predicate/2</a></td><td> </td><td·valign="top"><a·href="#Looking-at-the-Database">6.10.2·Looking·at·the·Data·Base</a></td></tr> |
25457 | <tr><td·colspan="4">·<hr></td></tr> | 25457 | <tr><td·colspan="4">·<hr></td></tr> |
25458 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-T">T</a></th><td></td><td></td></tr> | 25458 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-T">T</a></th><td></td><td></td></tr> |
25459 | <tr><td></td><td·valign="top"><a·href="#index-tab_002f2-2">tab/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25459 | <tr><td></td><td·valign="top"><a·href="#index-tab_002f2-2">tab/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25460 | <tr><td></td><td·valign="top"><a·href="#index-table_002f1-2">table/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 25460 | <tr><td></td><td·valign="top"><a·href="#index-table_002f1-2">table/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
25461 | <tr><td></td><td·valign="top"><a·href="#index-table_005fstatistics_002f1-2">table_statistics/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 25461 | <tr><td></td><td·valign="top"><a·href="#index-table_005fstatistics_002f1-2">table_statistics/1</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
25462 | <tr><td></td><td·valign="top"><a·href="#index-tabling_005fmode_002f2-2">tabling_mode/2</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 25462 | <tr><td></td><td·valign="top"><a·href="#index-tabling_005fmode_002f2-2">tabling_mode/2</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
25463 | <tr><td></td><td·valign="top"><a·href="#index-tabling_005fstatistics_002f0-2">tabling_statistics/0</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> | 25463 | <tr><td></td><td·valign="top"><a·href="#index-tabling_005fstatistics_002f0-2">tabling_statistics/0</a></td><td> </td><td·valign="top"><a·href="#Tabling">18·Tabling</a></td></tr> |
25464 | <tr><td></td><td·valign="top"><a·href="#index-term_005fattvars_002f2-2">term_attvars/2</a></td><td> </td><td·valign="top"><a·href="#New-Style-Attribute-Declarations">11.1·hProlog·and·SWI-Prolog·style·Attribute·Declarations</a></td></tr> | 25464 | <tr><td></td><td·valign="top"><a·href="#index-term_005fattvars_002f2-2">term_attvars/2</a></td><td> </td><td·valign="top"><a·href="#New-Style-Attribute-Declarations">11.1·hProlog·and·SWI-Prolog·style·Attribute·Declarations</a></td></tr> |
25465 | <tr><td></td><td·valign="top"><a·href="#index-term_005fhash_002f2-2">term_hash/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> | 25465 | <tr><td></td><td·valign="top"><a·href="#index-term_005fhash_002f2-2">term_hash/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> |
Offset 25521, 15 lines modified | Offset 25521, 15 lines modified |
25521 | <tr><td></td><td·valign="top"><a·href="#index-ttyget_002f1-2">ttyget/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25521 | <tr><td></td><td·valign="top"><a·href="#index-ttyget_002f1-2">ttyget/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25522 | <tr><td></td><td·valign="top"><a·href="#index-ttyget0_002f1-2">ttyget0/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25522 | <tr><td></td><td·valign="top"><a·href="#index-ttyget0_002f1-2">ttyget0/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25523 | <tr><td></td><td·valign="top"><a·href="#index-ttynl_002f0-2">ttynl/0</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25523 | <tr><td></td><td·valign="top"><a·href="#index-ttynl_002f0-2">ttynl/0</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25524 | <tr><td></td><td·valign="top"><a·href="#index-ttyput_002f1-2">ttyput/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25524 | <tr><td></td><td·valign="top"><a·href="#index-ttyput_002f1-2">ttyput/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25525 | <tr><td></td><td·valign="top"><a·href="#index-ttyskip_002f1-2">ttyskip/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25525 | <tr><td></td><td·valign="top"><a·href="#index-ttyskip_002f1-2">ttyskip/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25526 | <tr><td></td><td·valign="top"><a·href="#index-ttytab_002f1-2">ttytab/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> | 25526 | <tr><td></td><td·valign="top"><a·href="#index-ttytab_002f1-2">ttytab/1</a></td><td> </td><td·valign="top"><a·href="#C_002dProlog-to-Terminal">6.9.6·Compatible·C-Prolog·predicates·for·Terminal·I/O</a></td></tr> |
25527 | <tr><td·colspan="4">·<hr></td></tr> | 25527 | <tr><td·colspan="4">·<hr></td></tr> |
25528 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-U">U</a></th><td></td><td></td></tr> | 25528 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-U">U</a></th><td></td><td></td></tr> |
25529 | <tr><td></td><td·valign="top"><a·href="#index-ugraph_005fto_005fdgraph_002f2-2">ugraph_to_dgraph/2</a></td><td> </td><td·valign="top"><a·href="#DGraphs">7.29·Directed·Graphs</a></td></tr> | 25529 | <tr><td></td><td·valign="top"><a·href="#index-ugraph_005fto_005fdgraph_002f2-2">ugraph_to_dgraph/2</a></td><td> </td><td·valign="top"><a·href="#DGraphs">7.29·Directed·Graphs</a></td></tr> |
25530 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fadd_005fedges_002f3-2">undgraph_add_edges/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25530 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fadd_005fedges_002f3-2">undgraph_add_edges/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
25531 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fadd_005fvertices_002f3-2">undgraph_add_vertices/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25531 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fadd_005fvertices_002f3-2">undgraph_add_vertices/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
25532 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fcomplement_002f2-2">undgraph_complement/2</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25532 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fcomplement_002f2-2">undgraph_complement/2</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
25533 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fdel_005fedges_002f3-2">undgraph_del_edges/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25533 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fdel_005fedges_002f3-2">undgraph_del_edges/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
25534 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fdel_005fvertices_002f3-2">undgraph_del_vertices/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25534 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fdel_005fvertices_002f3-2">undgraph_del_vertices/3</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
25535 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fedge_002f2-2">undgraph_edge/2</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> | 25535 | <tr><td></td><td·valign="top"><a·href="#index-undgraph_005fedge_002f2-2">undgraph_edge/2</a></td><td> </td><td·valign="top"><a·href="#UnDGraphs">7.30·Undirected·Graphs</a></td></tr> |
Offset 25551, 25 lines modified | Offset 25551, 25 lines modified |
25551 | <tr><td></td><td·valign="top"><a·href="#index-update_005fmutable_002f2-2">update_mutable/2</a></td><td> </td><td·valign="top"><a·href="#Term-Modification">6.16·Term·Modification</a></td></tr> | 25551 | <tr><td></td><td·valign="top"><a·href="#index-update_005fmutable_002f2-2">update_mutable/2</a></td><td> </td><td·valign="top"><a·href="#Term-Modification">6.16·Term·Modification</a></td></tr> |
25552 | <tr><td></td><td·valign="top"><a·href="#index-use_005fforeign_005flibrary_002f1-2">use_foreign_library/1</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> | 25552 | <tr><td></td><td·valign="top"><a·href="#index-use_005fforeign_005flibrary_002f1-2">use_foreign_library/1</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> |
25553 | <tr><td></td><td·valign="top"><a·href="#index-use_005fforeign_005flibrary_002f2-2">use_foreign_library/2</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> | 25553 | <tr><td></td><td·valign="top"><a·href="#index-use_005fforeign_005flibrary_002f2-2">use_foreign_library/2</a></td><td> </td><td·valign="top"><a·href="#shlib">7.19·SWI-Prolog’s·shlib·library</a></td></tr> |
25554 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f1-2">use_module/1</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> | 25554 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f1-2">use_module/1</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> |
25555 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f2-2">use_module/2</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> | 25555 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f2-2">use_module/2</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> |
25556 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f3-2">use_module/3</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> | 25556 | <tr><td></td><td·valign="top"><a·href="#index-use_005fmodule_002f3-2">use_module/3</a></td><td> </td><td·valign="top"><a·href="#Using-Modules">5.3·Using·Modules</a></td></tr> |
25557 | <tr><td·colspan="4">·<hr></td></tr> | 25557 | <tr><td·colspan="4">·<hr></td></tr> |
25558 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-V">V</a></th><td></td><td></td></tr> | 25558 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-V">V</a></th><td></td><td></td></tr> |
25559 | <tr><td></td><td·valign="top"><a·href="#index-variables_005fwithin_005fterm_002f3-2">variables_within_term/3</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> | 25559 | <tr><td></td><td·valign="top"><a·href="#index-variables_005fwithin_005fterm_002f3-2">variables_within_term/3</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> |
25560 | <tr><td></td><td·valign="top"><a·href="#index-variable_005fin_005fterm_002f2-2">variable_in_term/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> | 25560 | <tr><td></td><td·valign="top"><a·href="#index-variable_005fin_005fterm_002f2-2">variable_in_term/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> |
25561 | <tr><td></td><td·valign="top"><a·href="#index-variant_002f2-2">variant/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> | 25561 | <tr><td></td><td·valign="top"><a·href="#index-variant_002f2-2">variant/2</a></td><td> </td><td·valign="top"><a·href="#Terms">7.23·Utilities·On·Terms</a></td></tr> |
25562 | <tr><td></td><td·valign="top"><a·href="#index-verify_005fattributes_002f3-2">verify_attributes/3</a></td><td> </td><td·valign="top"><a·href="#Attributed-Unification">11.2.3·Attributed·Unification</a></td></tr> | 25562 | <tr><td></td><td·valign="top"><a·href="#index-verify_005fattributes_002f3-2">verify_attributes/3</a></td><td> </td><td·valign="top"><a·href="#Attributed-Unification">11.2.3·Attributed·Unification</a></td></tr> |
25563 | <tr><td></td><td·valign="top"><a·href="#index-version_002f0-2">version/0</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> | 25563 | <tr><td></td><td·valign="top"><a·href="#index-version_002f0-2">version/0</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> |
25564 | <tr><td></td><td·valign="top"><a·href="#index-version_002f1-2">version/1</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> | 25564 | <tr><td></td><td·valign="top"><a·href="#index-version_002f1-2">version/1</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> |
25565 | <tr><td></td><td·valign="top"><a·href="#index-vertices_002f2-2">vertices/2</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> | 25565 | <tr><td></td><td·valign="top"><a·href="#index-vertices_002f2-2">vertices/2</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> |
25566 | <tr><td></td><td·valign="top"><a·href="#index-vertices_005fedges_005fto_005fugraph_002f3-2">vertices_edges_to_ugraph/3</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> | 25566 | <tr><td></td><td·valign="top"><a·href="#index-vertices_005fedges_005fto_005fugraph_002f3-2">vertices_edges_to_ugraph/3</a></td><td> </td><td·valign="top"><a·href="#UGraphs">7.28·Unweighted·Graphs</a></td></tr> |
25567 | <tr><td·colspan="4">·<hr></td></tr> | 25567 | <tr><td·colspan="4">·<hr></td></tr> |
25568 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-W">W</a></th><td></td><td></td></tr> | 25568 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-W">W</a></th><td></td><td></td></tr> |
25569 | <tr><td></td><td·valign="top"><a·href="#index-wait_002f2-2">wait/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> | 25569 | <tr><td></td><td·valign="top"><a·href="#index-wait_002f2-2">wait/2</a></td><td> </td><td·valign="top"><a·href="#System">7.22·Calling·The·Operating·System·from·YAP</a></td></tr> |
25570 | <tr><td></td><td·valign="top"><a·href="#index-when_002f2-2">when/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> | 25570 | <tr><td></td><td·valign="top"><a·href="#index-when_002f2-2">when/2</a></td><td> </td><td·valign="top"><a·href="#Co_002droutining">10.2·Co-routining</a></td></tr> |
25571 | <tr><td></td><td·valign="top"><a·href="#index-with_005fmutex_002f2-2">with_mutex/2</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> | 25571 | <tr><td></td><td·valign="top"><a·href="#index-with_005fmutex_002f2-2">with_mutex/2</a></td><td> </td><td·valign="top"><a·href="#Thread-Synchronisation">16.4·Thread·Synchronisation</a></td></tr> |
25572 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_002f2-2">with_output_to/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> | 25572 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_002f2-2">with_output_to/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> |
25573 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f2-2">with_output_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25573 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f2-2">with_output_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25574 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f3-2">with_output_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25574 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f3-2">with_output_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25575 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f4-2">with_output_to_chars/4</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25575 | <tr><td></td><td·valign="top"><a·href="#index-with_005foutput_005fto_005fchars_002f4-2">with_output_to_chars/4</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
Offset 25581, 72 lines modified | Offset 25581, 72 lines modified |
25581 | <tr><td></td><td·valign="top"><a·href="#index-write_005fcanonical_002f1-2">write_canonical/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25581 | <tr><td></td><td·valign="top"><a·href="#index-write_005fcanonical_002f1-2">write_canonical/1</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25582 | <tr><td></td><td·valign="top"><a·href="#index-write_005fcanonical_002f2-2">write_canonical/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25582 | <tr><td></td><td·valign="top"><a·href="#index-write_005fcanonical_002f2-2">write_canonical/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25583 | <tr><td></td><td·valign="top"><a·href="#index-write_005fterm_002f2-2">write_term/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> | 25583 | <tr><td></td><td·valign="top"><a·href="#index-write_005fterm_002f2-2">write_term/2</a></td><td> </td><td·valign="top"><a·href="#I_002fO-of-Terms">6.9.3·Handling·Input/Output·of·Terms</a></td></tr> |
25584 | <tr><td></td><td·valign="top"><a·href="#index-write_005fterm_002f3-2">write_term/3</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> | 25584 | <tr><td></td><td·valign="top"><a·href="#index-write_005fterm_002f3-2">write_term/3</a></td><td> </td><td·valign="top"><a·href="#I_002fO-for-Streams">6.9.5·Input/Output·Predicates·applied·to·Streams</a></td></tr> |
25585 | <tr><td></td><td·valign="top"><a·href="#index-write_005fto_005fchars_002f2-2">write_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25585 | <tr><td></td><td·valign="top"><a·href="#index-write_005fto_005fchars_002f2-2">write_to_chars/2</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25586 | <tr><td></td><td·valign="top"><a·href="#index-write_005fto_005fchars_002f3-2">write_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> | 25586 | <tr><td></td><td·valign="top"><a·href="#index-write_005fto_005fchars_002f3-2">write_to_chars/3</a></td><td> </td><td·valign="top"><a·href="#String-I_002fO">7.21·Reading·From·and·Writing·To·Strings</a></td></tr> |
25587 | <tr><td·colspan="4">·<hr></td></tr> | 25587 | <tr><td·colspan="4">·<hr></td></tr> |
25588 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog_cn_letter-Y">Y</a></th><td></td><td></td></tr> | 25588 | <tr><th><a·name="YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Y">Y</a></th><td></td><td></td></tr> |
25589 | <tr><td></td><td·valign="top"><a·href="#index-yap_005fflag_002f2-2">yap_flag/2</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> | 25589 | <tr><td></td><td·valign="top"><a·href="#index-yap_005fflag_002f2-2">yap_flag/2</a></td><td> </td><td·valign="top"><a·href="#Misc">6.22·Miscellaneous</a></td></tr> |
25590 | <tr><td·colspan="4">·<hr></td></tr> | 25590 | <tr><td·colspan="4">·<hr></td></tr> |
25591 | </table> | 25591 | </table> |
25592 | <table><tr><th·valign="top">Jump·to:· ·</th><td><a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-1"><b>-</b></a> | 25592 | <table><tr><th·valign="top">Jump·to:· ·</th><td><a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-1"><b>-</b></a> |
25593 | · · | 25593 | · · |
25594 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-2"><b>=</b></a> | 25594 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-2"><b>=</b></a> |
25595 | · · | 25595 | · · |
25596 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_symbol-3"><b>\</b></a> | 25596 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_symbol-3"><b>\</b></a> |
25597 | · · | 25597 | · · |
25598 | <br> | 25598 | <br> |
25599 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-A"><b>A</b></a> | 25599 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-A"><b>A</b></a> |
25600 | · · | 25600 | · · |
25601 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-B"><b>B</b></a> | 25601 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-B"><b>B</b></a> |
25602 | · · | 25602 | · · |
25603 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-C"><b>C</b></a> | 25603 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-C"><b>C</b></a> |
25604 | · · | 25604 | · · |
25605 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-D"><b>D</b></a> | 25605 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-D"><b>D</b></a> |
25606 | · · | 25606 | · · |
25607 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-E"><b>E</b></a> | 25607 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-E"><b>E</b></a> |
25608 | · · | 25608 | · · |
25609 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-F"><b>F</b></a> | 25609 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-F"><b>F</b></a> |
25610 | · · | 25610 | · · |
25611 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-G"><b>G</b></a> | 25611 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-G"><b>G</b></a> |
25612 | · · | 25612 | · · |
25613 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-H"><b>H</b></a> | 25613 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-H"><b>H</b></a> |
25614 | · · | 25614 | · · |
25615 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-I"><b>I</b></a> | 25615 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-I"><b>I</b></a> |
25616 | · · | 25616 | · · |
25617 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-J"><b>J</b></a> | 25617 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-J"><b>J</b></a> |
25618 | · · | 25618 | · · |
25619 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-K"><b>K</b></a> | 25619 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-K"><b>K</b></a> |
25620 | · · | 25620 | · · |
25621 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-L"><b>L</b></a> | 25621 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-L"><b>L</b></a> |
25622 | · · | 25622 | · · |
25623 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-M"><b>M</b></a> | 25623 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-M"><b>M</b></a> |
25624 | · · | 25624 | · · |
25625 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-N"><b>N</b></a> | 25625 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-N"><b>N</b></a> |
25626 | · · | 25626 | · · |
25627 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-O"><b>O</b></a> | 25627 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-O"><b>O</b></a> |
25628 | · · | 25628 | · · |
25629 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-P"><b>P</b></a> | 25629 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-P"><b>P</b></a> |
25630 | · · | 25630 | · · |
25631 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-Q"><b>Q</b></a> | 25631 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Q"><b>Q</b></a> |
25632 | · · | 25632 | · · |
25633 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-R"><b>R</b></a> | 25633 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-R"><b>R</b></a> |
25634 | · · | 25634 | · · |
25635 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-S"><b>S</b></a> | 25635 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-S"><b>S</b></a> |
25636 | · · | 25636 | · · |
25637 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-T"><b>T</b></a> | 25637 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-T"><b>T</b></a> |
25638 | · · | 25638 | · · |
25639 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-U"><b>U</b></a> | 25639 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-U"><b>U</b></a> |
25640 | · · | 25640 | · · |
25641 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-V"><b>V</b></a> | 25641 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-V"><b>V</b></a> |
25642 | · · | 25642 | · · |
25643 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-W"><b>W</b></a> | 25643 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-W"><b>W</b></a> |
25644 | · · | 25644 | · · |
25645 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog_cn_letter-Y"><b>Y</b></a> | 25645 | <a·class="summary-letter"·href="#YAP-predicates-not-available-in-C_002dProlog-1_cn_letter-Y"><b>Y</b></a> |
25646 | · · | 25646 | · · |
25647 | </td></tr></table> | 25647 | </td></tr></table> |
| |
25648 | <hr> | 25648 | <hr> |
25649 | <a·name="Not-in-YAP"></a> | 25649 | <a·name="Not-in-YAP"></a> |
25650 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> | 25650 | <table·class="header"·cellpadding="1"·cellspacing="1"·border="0"> |
25651 | <tr><td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> | 25651 | <tr><td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Beginning·of·this·chapter·or·previous·chapter">·<<·</a>]</td> |
Offset 25659, 15 lines modified | Offset 25659, 15 lines modified |
25659 | <td·valign="middle"·align="left">· ·</td> | 25659 | <td·valign="middle"·align="left">· ·</td> |
25660 | <td·valign="middle"·align="left">· ·</td> | 25660 | <td·valign="middle"·align="left">· ·</td> |
25661 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> | 25661 | <td·valign="middle"·align="left">[<a·href="#Top"·title="Cover·(top)·of·document">Top</a>]</td> |
25662 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 25662 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
25663 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 25663 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
25664 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 25664 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
25665 | </tr></table> | 25665 | </tr></table> |
25666 | <a·name="YAP-predicates-not-available-in-C_002dProlog-1"></a> | 25666 | <a·name="YAP-predicates-not-available-in-C_002dProlog"></a> |
25667 | <h3·class="subsection">25.1.5·YAP·predicates·not·available·in·C-Prolog</h3> | 25667 | <h3·class="subsection">25.1.5·YAP·predicates·not·available·in·C-Prolog</h3> |
| |
25668 | <p>These·are·C-Prolog·built-ins·not·available·in·YAP: | 25668 | <p>These·are·C-Prolog·built-ins·not·available·in·YAP: |
25669 | </p> | 25669 | </p> |
25670 | <dl·compact="compact"> | 25670 | <dl·compact="compact"> |
25671 | <dt><code>'LC'</code></dt> | 25671 | <dt><code>'LC'</code></dt> |
25672 | <dd><p>The·following·Prolog·text·uses·lower·case·letters. | 25672 | <dd><p>The·following·Prolog·text·uses·lower·case·letters. |
Offset 29232, 15 lines modified | Offset 29232, 15 lines modified |
29232 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> | 29232 | <td·valign="middle"·align="left">[<a·href="#SEC_Contents"·title="Table·of·contents">Contents</a>]</td> |
29233 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> | 29233 | <td·valign="middle"·align="left">[<a·href="#Compatibility"·title="Index">Index</a>]</td> |
29234 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> | 29234 | <td·valign="middle"·align="left">[<a·href="#SEC_About"·title="About·(help)">·?·</a>]</td> |
29235 | </tr></table> | 29235 | </tr></table> |
29236 | <h1>About·This·Document</h1> | 29236 | <h1>About·This·Document</h1> |
| |
29237 | <p> | 29237 | <p> |
29238 | ··This·document·was·generated·on·<i>June·10,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. | 29238 | ··This·document·was·generated·on·<i>June·12,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. |
29239 | </p> | 29239 | </p> |
29240 | <p> | 29240 | <p> |
29241 | ··The·buttons·in·the·navigation·panels·have·the·following·meaning: | 29241 | ··The·buttons·in·the·navigation·panels·have·the·following·meaning: |
29242 | </p> | 29242 | </p> |
29243 | <table·border="1"> | 29243 | <table·border="1"> |
29244 | ··<tr> | 29244 | ··<tr> |
29245 | ····<th>·Button·</th> | 29245 | ····<th>·Button·</th> |
Offset 29334, 14 lines modified | Offset 29334, 14 lines modified |
29334 | ····</ul> | 29334 | ····</ul> |
29335 | ··</li> | 29335 | ··</li> |
29336 | </ul> | 29336 | </ul> |
| |
29337 | <hr> | 29337 | <hr> |
29338 | <p> | 29338 | <p> |
29339 | ·<font·size="-1"> | 29339 | ·<font·size="-1"> |
29340 | ··This·document·was·generated·on·<i>June·10,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. | 29340 | ··This·document·was·generated·on·<i>June·12,·2016</i>·using·<a·href="http://www.nongnu.org/texi2html/"><i>texi2html·5.0</i></a>. |
29341 | ·</font> | 29341 | ·</font> |
29342 | ·<br> | 29342 | ·<br> |
| |
29343 | </p> | 29343 | </p> |
29344 | </body> | 29344 | </body> |
29345 | </html> | 29345 | </html> |