/usr/share/doc/swi-prolog-doc/Manual/flags.html is in swi-prolog-doc 5.6.59-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<HTML>
<HEAD>
<TITLE>SWI-Prolog 5.6.59 Reference Manual: Section 2.11</TITLE><LINK REL=home HREF="index.html">
<LINK REL=contents HREF="Contents.html">
<LINK REL=index HREF="DocIndex.html">
<LINK REL=previous HREF="compilation.html">
<LINK REL=next HREF="hooks.html">
<STYLE type="text/css">
/* Style sheet for SWI-Prolog latex2html
*/
dd.defbody
{ margin-bottom: 1em;
}
dt.pubdef
{ background-color: #c5e1ff;
}
pre.code
{ margin-left: 1.5em;
margin-right: 1.5em;
border: 1px dotted;
padding-top: 5px;
padding-left: 5px;
padding-bottom: 5px;
background-color: #f8f8f8;
}
div.navigate
{ text-align: center;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
}
div.title
{ text-align: center;
padding-bottom: 1em;
font-size: 200%;
font-weight: bold;
}
div.author
{ text-align: center;
font-style: italic;
}
div.abstract
{ margin-top: 2em;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
margin-left: 10%; margin-right:10%;
}
div.abstract-title
{ text-align: center;
padding: 5px;
font-size: 120%;
font-weight: bold;
}
div.toc-h1
{ font-size: 200%;
font-weight: bold;
}
div.toc-h2
{ font-size: 120%;
font-weight: bold;
margin-left: 2em;
}
div.toc-h3
{ font-size: 100%;
font-weight: bold;
margin-left: 4em;
}
div.toc-h4
{ font-size: 100%;
margin-left: 6em;
}
span.sec-nr
{
}
span.sec-title
{
}
span.pred-ext
{ font-weight: bold;
}
span.pred-tag
{ float: right;
font-size: 80%;
font-style: italic;
color: #202020;
}
/* Footnotes */
sup.fn { color: blue; text-decoration: underline; }
span.fn-text { display: none; }
sup.fn span {display: none;}
sup:hover span
{ display: block !important;
position: absolute; top: auto; left: auto; width: 80%;
color: #000; background: white;
border: 2px solid;
padding: 5px; margin: 10px; z-index: 100;
font-size: smaller;
}
</STYLE>
</HEAD>
<BODY BGCOLOR="white">
<DIV class="navigate"><A class="nav" href="index.html"><IMG SRC="home.gif" BORDER=0 ALT="Home"></A>
<A class="nav" href="Contents.html"><IMG SRC="index.gif" BORDER=0 ALT="Contents"></A>
<A class="nav" href="DocIndex.html"><IMG SRC="yellow_pages.gif" BORDER=0 ALT="Index"></A>
<A class="nav" href="compilation.html"><IMG SRC="prev.gif" BORDER=0 ALT="Previous"></A>
<A class="nav" href="hooks.html"><IMG SRC="next.gif" BORDER=0 ALT="Next"></A>
</DIV>
<H2><A NAME="sec:2.11"><SPAN class="sec-nr">2.11</SPAN> <SPAN class="sec-title">Environment
Control (Prolog flags)</SPAN></A></H2>
<A NAME="sec:flags"></A>
<P>The predicates <A NAME="idx:currentprologflag2:110"></A><A class="pred" href="flags.html#current_prolog_flag/2">current_prolog_flag/2</A>
and <A NAME="idx:setprologflag2:111"></A><A class="pred" href="flags.html#set_prolog_flag/2">set_prolog_flag/2</A>
allow the user to examine and modify the execution environment. It
provides access to whether optional features are available on this
version, operating system, foreign-code environment, command-line
arguments, version, as well as runtime flags to control the runtime
behaviour of certain predicates to achieve compatibility with other
Prolog environments.
<DL>
<DT class="pubdef"><span class="pred-tag">[ISO]</span><A NAME="current_prolog_flag/2"><STRONG>current_prolog_flag</STRONG>(<VAR>?Key,
-Value</VAR>)</A></DT>
<DD class="defbody">
The predicate <A NAME="idx:currentprologflag2:112"></A><A class="pred" href="flags.html#current_prolog_flag/2">current_prolog_flag/2</A>
defines an interface to installation features: options compiled in,
version, home, etc. With both arguments unbound, it will generate all
defined Prolog flags. With the `Key' instantiated it unifies the value
of the Prolog flag. Flag values are typed. Flags marked as <CODE>bool</CODE>
can have the values <CODE>true</CODE> and
<CODE>false</CODE>. Some Prolog flags are not defined in all versions,
which is normally indicated in the documentation below as <I>``if
present and true''</I>. A Boolean Prolog flag is true iff the Prolog
flag is present <B>and</B> the <VAR>Value</VAR> is the atom <CODE>true</CODE>.
Tests for such flags should be written as below.
<PRE class="code">
( current_prolog_flag(windows, true)
-> <Do MS-Windows things>
; <Do normal things>
)
</PRE>
<DL>
<DT class="pubdef"><A NAME="flag:abort_with_exception"><STRONG>abort_with_exception</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
Determines how <A NAME="idx:abort0:113"></A><A class="pred" href="toplevel.html#abort/0">abort/0</A>
is realised. See the description of <A NAME="idx:abort0:114"></A><A class="pred" href="toplevel.html#abort/0">abort/0</A>
for details.</DD>
<DT class="pubdef"><A NAME="flag:address_bits"><STRONG>address_bits</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Address-size of the hosting machine. Typically 32 or 64. Except for the
maximum stack limit, this has few implications to the user. See also the
Prolog flag <A class="flag" href="flags.html#flag:arch">arch</A>.</DD>
<DT class="pubdef"><A NAME="flag:agc_margin"><STRONG>agc_margin</STRONG>(<VAR>integer</VAR>, changeable)</A></DT>
<DD class="defbody">
If this amount of atoms has been created since the last atom-garbage
collection, perform atom garbage collection at the first opportunity.
Initial value is 10,000. May be changed. A value of 0 (zero) disables
atom garbage collection. See also PL_register_atom().</DD>
<DT class="pubdef"><A NAME="flag:allow_variable_name_as_functor"><STRONG>allow_variable_name_as_functor</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If true (default is false), <CODE>Functor(arg)</CODE> is read as if it
was written <CODE>'Functor'(arg)</CODE>. Some applications use the
Prolog <A NAME="idx:read1:115"></A><A class="pred" href="termrw.html#read/1">read/1</A>
predicate for reading an application defined script language. In these
cases, it is often difficult to explain to non-Prolog users of the
application that constants and functions can only start with a lowercase
letter. Variables can be turned into atoms starting with an uppercase
atom by calling <A NAME="idx:readterm2:116"></A><A class="pred" href="termrw.html#read_term/2">read_term/2</A>
using the option <CODE>variable_names</CODE> and binding the variables
to their name. Using this feature, F(x) can be turned into valid syntax
for such script languages. Suggested by Robert van Engelen. SWI-Prolog
specific.</DD>
<DT class="pubdef"><A NAME="flag:argv"><STRONG>argv</STRONG>(<VAR>list</VAR>)</A></DT>
<DD class="defbody">
List is a list of atoms representing the command-line arguments used to
invoke SWI-Prolog. Please note that <B>all</B> arguments are included in
the list returned.</DD>
<DT class="pubdef"><A NAME="flag:arch"><STRONG>arch</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Identifier for the hardware and operating system SWI-Prolog is running
on. Used to select foreign files for the right architecture. See also
<A class="sec" href="DLL.html">section 9.4</A> and <A NAME="idx:filesearchpath2:117"></A><A class="pred" href="consulting.html#file_search_path/2">file_search_path/2</A>.</DD>
<DT class="pubdef"><A NAME="flag:associate"><STRONG>associate</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
On Windows systems, this is set to the filename extension (<CODE>pl</CODE>
(default) or <CODE>pro</CODE> (can be selected in the installer))
associated with <B>plwin.exe</B>.</DD>
<DT class="pubdef"><A NAME="flag:autoload"><STRONG>autoload</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default) autoloading of library functions is
enabled. Note that autoloading only works if the flag <A class="flag" href="flags.html#flag:unknown">unknown</A>
is
<EM>not</EM> set to <CODE>fail</CODE>. See <A class="sec" href="autoload.html">section
2.13</A>.</DD>
<DT class="pubdef"><A NAME="flag:backquoted_string"><STRONG>backquoted_string</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default <CODE>false</CODE>), read translates text
between backquotes into a string object (see <A class="sec" href="strings.html">section
4.23</A>). This flag is mainly for compatibility to LPA Prolog.</DD>
<DT class="pubdef"><A NAME="flag:bounded"><STRONG>bounded</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
ISO Prolog flag. If <CODE>true</CODE>, integer representation is bound
by
<A class="flag" href="flags.html#flag:min_integer">min_integer</A> and <A class="flag" href="flags.html#flag:max_integer">max_integer</A>.
If <CODE>false</CODE> integers can be arbitrarily large and the <A class="flag" href="flags.html#flag:min_integer">min_integer</A>
and
<A class="flag" href="flags.html#flag:max_integer">max_integer</A> are
not present. See <A class="sec" href="arith.html">section 4.26.2.1</A>.</DD>
<DT class="pubdef"><A NAME="flag:c_cc"><STRONG>c_cc</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Name of the C-compiler used to compile SWI-Prolog. Normally either gcc
or cc. See <A class="sec" href="plld.html">section 9.7</A>.</DD>
<DT class="pubdef"><A NAME="flag:c_ldflags"><STRONG>c_ldflags</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Special linker flags passed to link SWI-Prolog. See <A class="sec" href="plld.html">section
9.7</A>.</DD>
<DT class="pubdef"><A NAME="flag:c_libs"><STRONG>c_libs</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Libraries passed to the C-linker when SWI-Prolog was linked. May be used
to determine the libraries needed to create statically linked extensions
for SWI-Prolog. See <A class="sec" href="plld.html">section 9.7</A>.</DD>
<DT class="pubdef"><A NAME="flag:char_conversion"><STRONG>char_conversion</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
Determines whether character-conversion takes place while reading terms.
See also <A NAME="idx:charconversion2:118"></A><A class="pred" href="charconv.html#char_conversion/2">char_conversion/2</A>.</DD>
<DT class="pubdef"><A NAME="flag:character_escapes"><STRONG>character_escapes</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default), <A NAME="idx:read1:119"></A><A class="pred" href="termrw.html#read/1">read/1</A>
interprets <CODE>\</CODE> escape sequences in quoted atoms and strings.
May be changed. This flag is local to the module in which it is changed.</DD>
<DT class="pubdef"><A NAME="flag:compiled_at"><STRONG>compiled_at</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Describes when the system has been compiled. Only available if the
C-compiler used to compile SWI-Prolog provides the __DATE__ and __TIME__
macros.</DD>
<DT class="pubdef"><A NAME="flag:console_menu"><STRONG>console_menu</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Set to <CODE>true</CODE> in <B>plwin.exe</B> to indicate the console
supports menus. See also <A class="sec" href="system.html">section
4.34.2</A>.</DD>
<DT class="pubdef"><A NAME="flag:cpu_count"><STRONG>cpu_count</STRONG>(<VAR>integer</VAR>, changeable)</A></DT>
<DD class="defbody">
Number of physical CPUs in the system. Unfortunately there is no
standard to get this number, so on most operating systems this flag is
not available. It is marked read-write both to allow obtaining this
value later and to allow pretending the system has more or less
processors. See also <A NAME="idx:threadsetconcurrency2:120"></A><A class="pred" href="threadcreate.html#thread_setconcurrency/2">thread_setconcurrency/2</A>
and the library
<CODE>library(thread)</CODE>. Currently this flag is supported in
Windows and Linux if
<CODE>/proc</CODE> is enabled. If you can provide us with a C-code
fragment getting the number for a specific OS, please submit an
enhancement report at <A class="url" href="http://gollem.science.uva.nl/bugzilla/">http://gollem.science.uva.nl/bugzilla/</A></DD>
<DT class="pubdef"><A NAME="flag:dde"><STRONG>dde</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Set to <CODE>true</CODE> if this instance of Prolog supports DDE as
described in <A class="sec" href="DDE.html">section 4.42</A>.</DD>
<DT class="pubdef"><A NAME="flag:debug"><STRONG>debug</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
Switch debugging mode on/off. If debug mode is activated the system
traps encountered spy-points (see <A NAME="idx:spy1:121"></A><A class="pred" href="debugger.html#spy/1">spy/1</A>)
and trace-points (see <A NAME="idx:trace1:122"></A><A class="pred" href="debugger.html#trace/1">trace/1</A>).
In addition, last-call optimisation is disabled and the system is more
conservative in destroying choice points to simplify debugging.
<P>Disabling these optimisations can cause the system to run out of
memory on programs that behave correctly if debug mode is off.</DD>
<DT class="pubdef"><A NAME="flag:debug_on_error"><STRONG>debug_on_error</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <TT>true</TT>, start the tracer after an error is detected. Otherwise
just continue execution. The goal that raised the error will normally
fail. See also <A NAME="idx:fileerrors2:123"></A><A class="pred" href="streamstat.html#fileerrors/2">fileerrors/2</A>
and the Prolog flag <TT>report_error</TT>. May be changed. Default is <TT>true</TT>,
except for the runtime version.</DD>
<DT class="pubdef"><A NAME="flag:debugger_print_options"><STRONG>debugger_print_options</STRONG>(<VAR>term</VAR>, changeable)</A></DT>
<DD class="defbody">
This argument is given as option-list to <A NAME="idx:writeterm2:124"></A><A class="pred" href="termrw.html#write_term/2">write_term/2</A>
for printing goals by the debugger. Modified by the `w', `p' and `<<VAR>N</VAR>>
d' commands of the debugger. Default is <CODE>[quoted(true),
portray(true), max_depth(10), attributes(portray)]</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:debugger_show_context"><STRONG>debugger_show_context</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE>, show the context module while printing a
stack-frame in the tracer. Normally controlled using the `C' option of
the tracer.</DD>
<DT class="pubdef"><A NAME="flag:dialect"><STRONG>dialect</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Fixed to <CODE>swi</CODE>. The code below is a reliable and portable way
to detect SWI-Prolog.
<PRE class="code">
is_dialect(swi) :-
catch(current_prolog_flag(dialect, swi), _, fail).
</PRE>
</DD>
<DT class="pubdef"><A NAME="flag:double_quotes"><STRONG>double_quotes</STRONG>(<VAR>codes,chars,atom,string</VAR>, changeable)</A></DT>
<DD class="defbody">
This flag determines how double quoted strings are read by Prolog and is
---like <A class="flag" href="flags.html#flag:character_escapes">character_escapes</A>---
maintained for each module. If
<CODE>codes</CODE> (default), a list of character-codes is returned, if
<CODE>chars</CODE> a list of one-character atoms, if <CODE>atom</CODE>
double quotes are the same as single-quotes and finally, <CODE>string</CODE>
reads the text into a Prolog string (see <A class="sec" href="strings.html">section
4.23</A>). See also
<A NAME="idx:atomchars2:125"></A><A class="pred" href="manipatom.html#atom_chars/2">atom_chars/2</A>
and <A NAME="idx:atomcodes2:126"></A><A class="pred" href="manipatom.html#atom_codes/2">atom_codes/2</A>.</DD>
<DT class="pubdef"><A NAME="flag:dynamic_stacks"><STRONG>dynamic_stacks</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If <CODE>true</CODE>, the system uses some form of `sparse-memory
management' to realise the stacks. If false, malloc()/realloc() are used
for the stacks. In earlier days this had consequences for foreign code.
As of version 2.5, this is no longer the case.
<P>Systems using `sparse-memory management' are a bit faster as there is
no stack-shifter. On most systems using sparse-memory management memory
is actually returned to the system after a garbage collection or call to
<A NAME="idx:trimstacks0:127"></A><A class="pred" href="memory.html#trim_stacks/0">trim_stacks/0</A>
(called by <A NAME="idx:prolog0:128"></A><A class="pred" href="toplevel.html#prolog/0">prolog/0</A>
after finishing a user-query).</DD>
<DT class="pubdef"><A NAME="flag:editor"><STRONG>editor</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
Determines the editor used by <A NAME="idx:edit1:129"></A><A class="pred" href="listing.html#edit/1">edit/1</A>.
See <A class="sec" href="listing.html">section 4.4</A> for details on
selecting the editor used.</DD>
<DT class="pubdef"><A NAME="flag:emacs_inferior_process"><STRONG>emacs_inferior_process</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If true, SWI-Prolog is running as an <EM>inferior process</EM> of
(GNU/X-)Emacs. SWI-Prolog assumes this is the case if the environment
variable <CODE>EMACS</CODE> is <CODE>t</CODE> and <CODE>INFERIOR</CODE>
is <CODE>yes</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:encoding"><STRONG>encoding</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
Default encoding used for opening files in <CODE>text</CODE> mode. The
initial value is deduced from the environment. See <A class="sec" href="widechars.html">section
2.17.1</A> for details.</DD>
<DT class="pubdef"><A NAME="flag:executable"><STRONG>executable</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Path-name of the running executable. Used by <A NAME="idx:qsaveprogram2:130"></A><A class="pred" href="runtime.html#qsave_program/2">qsave_program/2</A>
as default emulator.</DD>
<DT class="pubdef"><A NAME="flag:file_name_variables"><STRONG>file_name_variables</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default <CODE>false</CODE>), expand <CODE>$<VAR>varname</VAR></CODE>
and <CODE><CODE>~</CODE></CODE> in arguments of built-in predicates that
accept a file name (<A NAME="idx:open3:131"></A><A class="pred" href="IO.html#open/3">open/3</A>, <A NAME="idx:existsfile1:132"></A><A class="pred" href="files.html#exists_file/1">exists_file/1</A>, <A NAME="idx:accessfile2:133"></A><A class="pred" href="files.html#access_file/2">access_file/2</A>,
etc.). The predicate
<A NAME="idx:expandfilename2:134"></A><A class="pred" href="files.html#expand_file_name/2">expand_file_name/2</A>
can be used to expand environment variables and wildcard patterns. This
Prolog flag is intended for backward compatibility with older versions
of SWI-Prolog.</DD>
<DT class="pubdef"><A NAME="flag:float_format"><STRONG>float_format</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
C-library printf() format specification used by <A NAME="idx:write1:135"></A><A class="pred" href="termrw.html#write/1">write/1</A>
and friends to determine how floating point numbers are printed. The
default is <TT>%g</TT>. The specified value is passed to printf()
without further checking. For example, if you want more digits printed, <TT>%.12g</TT>
will print all floats using 12 digits instead of the default 6.
<P>When using quoted-write, the output is guaranteed to contain a
decimal dot or exponent, so <A NAME="idx:read1:136"></A><A class="pred" href="termrw.html#read/1">read/1</A>
reads a floating point number. See also
<A NAME="idx:format12:137"></A><A class="pred" href="format.html#format/1">format/[1,2]</A>, <A NAME="idx:writeterm23:138"></A><A class="pred" href="termrw.html#write_term/2">write_term/[2,3]</A>.</DD>
<DT class="pubdef"><A NAME="flag:gc"><STRONG>gc</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If true (default), the garbage collector is active. If false, neither
garbage-collection, nor stack-shifts will take place, even not on
explicit request. May be changed.</DD>
<DT class="pubdef"><A NAME="flag:generate_debug_info"><STRONG>generate_debug_info</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default) generate code that can be debugged using
<A NAME="idx:trace0:139"></A><A class="pred" href="debugger.html#trace/0">trace/0</A>, <A NAME="idx:spy1:140"></A><A class="pred" href="debugger.html#spy/1">spy/1</A>,
etc. Can be set to <CODE>false</CODE> using the
<STRONG>-nodebug</STRONG>. The predicate <A NAME="idx:loadfiles2:141"></A><A class="pred" href="consulting.html#load_files/2">load_files/2</A>
restores the value of this flag after loading a file, causing
modifications to be local to a source file. Many of the libraries have
<CODE>:- set_prolog_flag(generate_debug_info, false)</CODE> to hide
their details from a normal trace.<SUP class="fn">7<SPAN class="fn-text">In
the current implementation this only causes a flag to be set on the
predicate that causes children to be hidden from the debugger. The name
anticipates on anticipated changes to the compiler.</SPAN></SUP></DD>
<DT class="pubdef"><A NAME="flag:gmp_version"><STRONG>gmp_version</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
If Prolog is linked with GMP, this flag gives the major version of the
GMP library used. See also <A class="sec" href="foreigninclude.html">section
9.6.7</A>.</DD>
<DT class="pubdef"><A NAME="flag:gui"><STRONG>gui</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Set to <CODE>true</CODE> if XPCE is around and can be used for graphics.</DD>
<DT class="pubdef"><A NAME="flag:history"><STRONG>history</STRONG>(<VAR>integer</VAR>, changeable)</A></DT>
<DD class="defbody">
If <VAR><VAR>integer</VAR>> 0</VAR>, support Unix <B>csh(1)</B> like
history as described in <A class="sec" href="history.html">section 2.7</A>.
Otherwise, only support reusing commands through the command-line
editor. The default is to set this Prolog flag to 0 if a command-line
editor is provided (see Prolog flag <A class="flag" href="flags.html#flag:readline">readline</A>)
and 15 otherwise.</DD>
<DT class="pubdef"><A NAME="flag:home"><STRONG>home</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
SWI-Prolog's notion of the home-directory. SWI-Prolog uses its home
directory to find its startup file as
<CODE><<VAR>home</VAR>>/boot32.prc</CODE> (32-bit machines) or
<CODE><<VAR>home</VAR>>/boot64.prc</CODE> (64-bit machines) and to
find its library as
<CODE><<VAR>home</VAR>>/library</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:hwnd"><STRONG>hwnd</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
In <B>plwin.exe</B>, this refers to the MS-Windows window-handle of the
console window.</DD>
<DT class="pubdef"><A NAME="flag:integer_rounding_function"><STRONG>integer_rounding_function</STRONG>(<VAR>down,toward_zero</VAR>)</A></DT>
<DD class="defbody">
ISO Prolog flag describing rounding by <CODE>//</CODE> and <CODE>rem</CODE>
arithmetic functions. Value depends on the C-compiler used.</DD>
<DT class="pubdef"><A NAME="flag:iso"><STRONG>iso</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
Include some weird ISO compatibility that is incompatible to normal
SWI-Prolog behaviour. Currently it has the following effect:
<UL>
<LI>The //2 (float division) <EM>always</EM> return a float, even if
applied to integers that can be divided.
<LI>In the standard order of terms (see <A class="sec" href="compare.html">section
4.6.1</A>), all floats are before all integers.
<LI><A NAME="idx:atomlength2:142"></A><A class="pred" href="manipatom.html#atom_length/2">atom_length/2</A>
yields an instantiation error if the first argument is a number.
<LI><A NAME="idx:clause23:143"></A><A class="pred" href="examineprog.html#clause/2">clause/[2,3]</A>
raises a permission error when accessing static predicates.
<LI><A NAME="idx:abolish12:144"></A><A class="pred" href="db.html#abolish/1">abolish/[1,2]</A>
raises a permission error when accessing static predicates.
</UL>
</DD>
<DT class="pubdef"><A NAME="flag:large_files"><STRONG>large_files</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If present and <CODE>true</CODE>, SWI-Prolog has been compiled with
<EM>large file support</EM> (LFS) and is capable to access files larger
than 2GB on 32-bit hardware. Large file-support is default on
installations built using <B>configure</B> that support it and may be
switched off using the configure option <CODE>--disable-largefile</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:max_arity"><STRONG>max_arity</STRONG>(<VAR>unbounded</VAR>)</A></DT>
<DD class="defbody">
ISO Prolog flag describing there is no maximum arity to compound terms.</DD>
<DT class="pubdef"><A NAME="flag:max_integer"><STRONG>max_integer</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Maximum integer value if integers are <EM>bounded</EM>. See also the
flag <A class="flag" href="flags.html#flag:bounded">bounded</A> and <A class="sec" href="arith.html">section
4.26.2.1</A>.</DD>
<DT class="pubdef"><A NAME="flag:max_tagged_integer"><STRONG>max_tagged_integer</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Maximum integer value represented as a `tagged' value. Tagged integers
require 1 word storage. Larger integers are represented as `indirect
data' and require significantly more space.</DD>
<DT class="pubdef"><A NAME="flag:max_threads"><STRONG>max_threads</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Provided on multi-threaded versions to indicate the maximum number of
Prolog threads supported. Currently (version 5.6.27) the limit is 100.</DD>
<DT class="pubdef"><A NAME="flag:min_integer"><STRONG>min_integer</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Minimum integer value if integers are <EM>bounded</EM>. See also the
flag <A class="flag" href="flags.html#flag:bounded">bounded</A> and <A class="sec" href="arith.html">section
4.26.2.1</A>.</DD>
<DT class="pubdef"><A NAME="flag:min_tagged_integer"><STRONG>min_tagged_integer</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Start of the tagged-integer value range.</DD>
<DT class="pubdef"><A NAME="flag:occurs_check"><STRONG>occurs_check</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
This flag controls unification that creates an infinite tree (also
called <EM>cyclic term</EM>) and can have three values. Using
<CODE>false</CODE> (default), unification succeeds, creating an infinite
tree. Using <CODE>true</CODE>, unification behaves as <A NAME="idx:unifywithoccurscheck2:145"></A><A class="pred" href="compare.html#unify_with_occurs_check/2">unify_with_occurs_check/2</A>,
failing silently. Using <CODE>error</CODE>, an attempt to create a
cyclic term results in an <CODE>occurs_check</CODE> exception. The
latter is intended for debugging unintentional creations of cyclic
terms. Note that this flag is a global flag modifying fundamental
behaviour of Prolog. Changing the flag from its default may cause
libraries to stop functioning properly.</DD>
<DT class="pubdef"><A NAME="flag:open_shared_object"><STRONG>open_shared_object</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If true, <A NAME="idx:opensharedobject2:146"></A><A class="pred" href="dynstatic.html#open_shared_object/2">open_shared_object/2</A>
and friends are implemented, providing access to shared libraries (<CODE>.so</CODE>
files) or dynamic link libraries (<CODE>.DLL</CODE> files).</DD>
<DT class="pubdef"><A NAME="flag:optimise"><STRONG>optimise</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE>, compile in optimised mode. The initial value is
<CODE>true</CODE> if Prolog was started with the <STRONG>-O</STRONG>
command-line option.
<P>Currently optimise compilation implies compilation of arithmetic, and
deletion of redundant <A NAME="idx:true0:147"></A><A class="pred" href="control.html#true/0">true/0</A>
that may result from <A NAME="idx:expandgoal2:148"></A><A class="pred" href="consulting.html#expand_goal/2">expand_goal/2</A>.
<P>Later versions might imply various other optimisations such as
integrating small predicates into their callers, eliminating constant
expressions and other predictable constructs. Source code optimisation
is never applied to predicates that are declared dynamic (see
<A NAME="idx:dynamic1:149"></A><A class="pred" href="dynamic.html#dynamic/1">dynamic/1</A>).</DD>
<DT class="pubdef"><A NAME="flag:pid"><STRONG>pid</STRONG>(<VAR>int</VAR>)</A></DT>
<DD class="defbody">
Process identifier of the running Prolog process. Existence of this flag
is implementation defined.</DD>
<DT class="pubdef"><A NAME="flag:pipe"><STRONG>pipe</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If true, <CODE>open(pipe(command), mode, Stream)</CODE>, etc. are
supported. Can be changed to disable the use of pipes in applications
testing this feature. Not recommended.</DD>
<DT class="pubdef"><A NAME="flag:prompt_alternatives_on"><STRONG>prompt_alternatives_on</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
<A NAME="idx:promptalternatives:150"></A>Determines prompting for
alternatives in the Prolog toplevel. Default is
<CODE>determinism</CODE>, which implies the system prompts for
alternatives if the goal succeeded while leaving choicepoints. Many
classical Prolog systems behave as <CODE>groundness</CODE>: they prompt
for alternatives if and only if the query contains variables.</DD>
<DT class="pubdef"><A NAME="flag:readline"><STRONG>readline</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If true, SWI-Prolog is linked with the readline library. This is done by
default if you have this library installed on your system. It is also
true for the Win32 plwin.exe version of SWI-Prolog, which realises a
subset of the readline functionality.</DD>
<DT class="pubdef"><A NAME="flag:resource_database"><STRONG>resource_database</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Set to the absolute-filename of the attached state. Typically this is
the file <CODE>boot32.prc</CODE>, the file specified with <STRONG>-x</STRONG>
or the running executable. See also <A NAME="idx:resource3:151"></A><A class="pred" href="useresource.html#resource/3">resource/3</A>.</DD>
<DT class="pubdef"><A NAME="flag:report_error"><STRONG>report_error</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE>, print error messages, otherwise suppress them. May
be changed. See also the <A class="flag" href="flags.html#flag:debug_on_error">debug_on_error</A>
Prolog flag. Default is <CODE>true</CODE>, except for the runtime
version.</DD>
<DT class="pubdef"><A NAME="flag:runtime"><STRONG>runtime</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If present and <CODE>true</CODE>, SWI-Prolog is compiled with
-DO_RUNTIME, disabling various useful development features (currently
the tracer and profiler).</DD>
<DT class="pubdef"><A NAME="flag:saved_program"><STRONG>saved_program</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
If present and <CODE>true</CODE>, Prolog has been started from a state
saved with <A NAME="idx:qsaveprogram12:152"></A><A class="pred" href="runtime.html#qsave_program/1">qsave_program/[1,2]</A>.</DD>
<DT class="pubdef"><A NAME="flag:shared_object_extension"><STRONG>shared_object_extension</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Extension used by the operating system for shared objects. <CODE>.so</CODE>
for most Unix systems and <CODE>.dll</CODE> for Windows. Used for
locating files using the <CODE>file_type</CODE> <CODE>executable</CODE>.
See also
<A NAME="idx:absolutefilename3:153"></A><A class="pred" href="files.html#absolute_file_name/3">absolute_file_name/3</A>.</DD>
<DT class="pubdef"><A NAME="flag:shared_object_search_path"><STRONG>shared_object_search_path</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Name of the environment variable used by the system to search for shared
objects.</DD>
<DT class="pubdef"><A NAME="flag:signals"><STRONG>signals</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Determine whether Prolog is handling signals (software interrupts). This
flag is <CODE>false</CODE> if the hosting OS does not support signal
handling or the command-line option <STRONG>-nosignals</STRONG> is
active. See
<A class="sec" href="foreigninclude.html">section 9.6.20.1</A> for
details.</DD>
<DT class="pubdef"><A NAME="flag:system_thread_id"><STRONG>system_thread_id</STRONG>(<VAR>int</VAR>)</A></DT>
<DD class="defbody">
Available in multi-threaded version (see <A class="sec" href="threads.html">section
8</A>) where the operating system provides system-wide integer thread
identifiers. The integer is the thread-identifier used by the operating
system for the calling thread. See also <A NAME="idx:threadself1:154"></A><A class="pred" href="threadcreate.html#thread_self/1">thread_self/1</A>.</DD>
<DT class="pubdef"><A NAME="flag:last_call_optimisation"><STRONG>last_call_optimisation</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
Determines whether or not last-call optimisation is enabled. Normally
the value of this flag is equal to the <A class="flag" href="flags.html#flag:debug">debug</A>
flag. As programs may run out of stack if last-call optimisation is
omitted, it is sometimes necessary to enable it during debugging.</DD>
<DT class="pubdef"><A NAME="flag:timezone"><STRONG>timezone</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
Offset in seconds west of GMT of the current time-zone. Set at
initialization time from the <CODE>timezone</CODE> variable associated
with the POSIX tzset() function. See also <A NAME="idx:converttime2:155"></A><SPAN class="pred-ext">convert_time/2</SPAN>.</DD>
<DT class="pubdef"><A NAME="flag:toplevel_print_anon"><STRONG>toplevel_print_anon</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE>, top-level variables starting with an underscore (<CODE>_</CODE>)
are printed normally. If <CODE>false</CODE> they are hidden. This may be
used to hide bindings in complex queries from the top-level.</DD>
<DT class="pubdef"><A NAME="flag:toplevel_print_options"><STRONG>toplevel_print_options</STRONG>(<VAR>term</VAR>, changeable)</A></DT>
<DD class="defbody">
This argument is given as option-list to <A NAME="idx:writeterm2:156"></A><A class="pred" href="termrw.html#write_term/2">write_term/2</A>
for printing results of queries. Default is <CODE>[quoted(true),
portray(true), max_depth(10), attributes(portray)]</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:toplevel_var_size"><STRONG>toplevel_var_size</STRONG>(<VAR>int</VAR>, changeable)</A></DT>
<DD class="defbody">
Maximum size counted in literals of a term returned as a binding for a
variable in a top-level query that is saved for re-use using the
<CODE><CODE>$</CODE></CODE> variable reference. See <A class="sec" href="topvars.html">section
2.8</A>.</DD>
<DT class="pubdef"><A NAME="flag:trace_gc"><STRONG>trace_gc</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If true (false is the default), garbage collections and stack-shifts
will be reported on the terminal. May be changed. Values are reported in
bytes as <VAR>G</VAR>+<VAR>T</VAR>, where <VAR>G</VAR> is the global
stack value and <VAR>T</VAR> the trail stack value. `Gained' describes
the number of bytes reclaimed. `used' the number of bytes on the stack
after GC and `free' the number of bytes allocated, but not in use. Below
is an example output.
<PRE class="code">
% GC: gained 236,416+163,424 in 0.00 sec; used 13,448+5,808; free 72,568+47,440
</PRE>
</DD>
<DT class="pubdef"><A NAME="flag:tty_control"><STRONG>tty_control</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Determines whether the terminal is switched to raw mode for
<A NAME="idx:getsinglechar1:157"></A><A class="pred" href="chario.html#get_single_char/1">get_single_char/1</A>,
which also reads the user-actions for the trace. May be set. See also
the <STRONG>+/-tty</STRONG> command-line option.</DD>
<DT class="pubdef"><A NAME="flag:unix"><STRONG>unix</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
<A NAME="idx:unix:158"></A>If present and <CODE>true</CODE>, the
operating system is some version of Unix. Defined if the C-compiler used
to compile this version of SWI-Prolog either defines <CODE>__unix__</CODE>
or <CODE>unix</CODE>. On other systems this flag is not available.</DD>
<DT class="pubdef"><A NAME="flag:unknown"><STRONG>unknown</STRONG>(<VAR>fail,warning,error</VAR>, changeable)</A></DT>
<DD class="defbody">
Determines the behaviour if an undefined procedure is encountered. If
<CODE>fail</CODE>, the predicates fails silently. If <CODE>warn</CODE>,
a warning is printed, and execution continues as if the predicate was
not defined and if <CODE>error</CODE> (default), an <CODE>existence_error</CODE>
exception is raised. This flag is local to each module. Switching this
flag to
<CODE>fail</CODE> disables autoloading and thus forces complete and
consistent use of <A NAME="idx:usemodule12:159"></A><A class="pred" href="import.html#use_module/1">use_module/[1,2]</A>
to load the required libraries.</DD>
<DT class="pubdef"><A NAME="flag:verbose"><STRONG>verbose</STRONG>(<VAR>Atom</VAR>, changeable)</A></DT>
<DD class="defbody">
This flags is used by <A NAME="idx:printmessage2:160"></A><A class="pred" href="exception.html#print_message/2">print_message/2</A>.
If its value is <CODE>silent</CODE>, messages of type <CODE>informational</CODE>
and <CODE>banner</CODE> are suppressed. The <STRONG>-q</STRONG> switches
the value from the initial
<CODE>normal</CODE> to <CODE>silent</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:verbose_autoload"><STRONG>verbose_autoload</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> the normal consult message will be printed if a
library is autoloaded. By default this message is suppressed. Intended
to be used for debugging purposes.</DD>
<DT class="pubdef"><A NAME="flag:verbose_load"><STRONG>verbose_load</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>false</CODE> normal consult messages will be suppressed.
Default is
<CODE>true</CODE>. The value of this flag is normally controlled by the
option <CODE>silent(Bool)</CODE> provided by <A NAME="idx:loadfiles2:161"></A><A class="pred" href="consulting.html#load_files/2">load_files/2</A>.</DD>
<DT class="pubdef"><A NAME="flag:verbose_file_search"><STRONG>verbose_file_search</STRONG>(<VAR>bool</VAR>, changeable)</A></DT>
<DD class="defbody">
If <CODE>true</CODE> (default <CODE>false</CODE>), print messages
indicating the progress of <A NAME="idx:absolutefilename23:162"></A><A class="pred" href="files.html#absolute_file_name/2">absolute_file_name/[2,3]</A>
in locating files. Intended for debugging complicated file-search paths.
See also <A NAME="idx:filesearchpath2:163"></A><A class="pred" href="consulting.html#file_search_path/2">file_search_path/2</A>.</DD>
<DT class="pubdef"><A NAME="flag:version"><STRONG>version</STRONG>(<VAR>integer</VAR>)</A></DT>
<DD class="defbody">
The version identifier is an integer with value:
<BLOCKQUOTE><VAR>10000 × <VAR>Major</VAR> + 100 × <VAR>Minor</VAR>
+ <VAR>Patch</VAR></VAR></BLOCKQUOTE>
Note that in releases up to 2.7.10 this Prolog flag yielded an atom
holding the three numbers separated by dots. The current representation
is much easier for implementing version-conditional statements.</DD>
<DT class="pubdef"><A NAME="flag:version_data"><STRONG>version_data</STRONG>(<VAR>swi(Major, Minor, Patch, Extra)</VAR>)</A></DT>
<DD class="defbody">
Part of the dialect compatibility layer, See also the Prolog flag
<A class="flag" href="flags.html#flag:dialect">dialect</A> and <A class="sec" href="dialect.html">section
C</A>. <VAR>Extra</VAR> provides platform specific version information.
Currently it is simply unified to <CODE>[]</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:version_git"><STRONG>version_git</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Available if created from a git repository. See <B>git-describe</B> for
details.</DD>
<DT class="pubdef"><A NAME="flag:windows"><STRONG>windows</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
<A NAME="idx:windows:164"></A>If present and <CODE>true</CODE>, the
operating system is an implementation of Microsoft Windows (NT/2000/XP,
etc.). This flag is only available on MS-Windows based versions.</DD>
<DT class="pubdef"><A NAME="flag:write_attributes"><STRONG>write_attributes</STRONG>(<VAR>atom</VAR>, changeable)</A></DT>
<DD class="defbody">
Defines how <A NAME="idx:write1:165"></A><A class="pred" href="termrw.html#write/1">write/1</A>
and friends write attributed variables. The option values are described
with the <CODE>attributes</CODE> option of
<A NAME="idx:writeterm3:166"></A><A class="pred" href="termrw.html#write_term/3">write_term/3</A>.
Default is <CODE>ignore</CODE>.</DD>
<DT class="pubdef"><A NAME="flag:write_help_with_overstrike"><STRONG>write_help_with_overstrike</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Internal flag used by <A NAME="idx:help1:167"></A><A class="pred" href="help.html#help/1">help/1</A>
when writing to a terminal. If present and <CODE>true</CODE> it prints
bold and underlined text using
<EM>overstrike</EM>.</DD>
<DT class="pubdef"><A NAME="flag:xpce"><STRONG>xpce</STRONG>(<VAR>bool</VAR>)</A></DT>
<DD class="defbody">
Available and set to <CODE>true</CODE> if the XPCE graphics system is
loaded.</DD>
<DT class="pubdef"><A NAME="flag:xpce_version"><STRONG>xpce_version</STRONG>(<VAR>atom</VAR>)</A></DT>
<DD class="defbody">
Available and set to the version of the loaded XPCE system.
</DD>
</DL>
</DD>
<DT class="pubdef"><span class="pred-tag">[ISO]</span><A NAME="set_prolog_flag/2"><STRONG>set_prolog_flag</STRONG>(<VAR>+Key,
+Value</VAR>)</A></DT>
<DD class="defbody">
Define a new Prolog flag or change its value. <VAR>Key</VAR> is an atom.
If the flag is a system-defined flag that is not marked
<EM>changeable</EM> above, an attempt to modify the flag yields a
<CODE>permission_error</CODE>. If the provided <VAR>Value</VAR> does not
match the type of the flag, a <CODE>type_error</CODE> is raised.
<P>In addition to ISO, SWI-Prolog allows for user-defined Prolog flags.
The type of the flag is determined from the initial value and cannot be
changed afterwards. Defined types are <CODE>boolean</CODE> (if the
initial value is one of <CODE>false</CODE>, <CODE>true</CODE>, <CODE>on</CODE>
or <CODE>off</CODE>),
<CODE>atom</CODE> if the initial value is any other atom, <CODE>integer</CODE>
if the value is an integer that can be expressed as a 64-bit signed
value. Any other initial value results in an untyped flag that can
represent any valid Prolog term.
</DD>
</DL>
<P></BODY></HTML>
|