This file is indexed.

/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)
        -&gt;  &lt;Do MS-Windows things&gt;
        ;   &lt;Do normal things&gt;
        )
</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 `&lt;<VAR>N</VAR>&gt; 
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>&gt; 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>&lt;<VAR>home</VAR>&gt;/boot32.prc</CODE> (32-bit machines) or
<CODE>&lt;<VAR>home</VAR>&gt;/boot64.prc</CODE> (64-bit machines) and to 
find its library as
<CODE>&lt;<VAR>home</VAR>&gt;/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 &times; <VAR>Major</VAR> + 100 &times; <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>