prolog语法大全

最新推荐文章于 2025-07-19 14:14:42 发布

翻译最新推荐文章于 2025-07-19 14:14:42 发布 · 5.2k 阅读

编程类专栏收录该内容

18 篇文章

订阅专栏

本文档为 GProlog 的官方文档概览，详细介绍了 GProlog 中可用的各种谓词、指令、属性和选项等内容。覆盖了从基本的数据类型检查到复杂的文件操作和网络功能，以及 Prolog 语言特性和约束求解等方面的知识。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

官网在 http://www.gprolog.org/manual/gprolog.html#sec32

这是比较全面的,网上其他资料片理论,记录下来

!/0, 7.2.1, 7.2.3
’.’/2, 8.23.1
(’,’)/2, 7.2.2
(*->)/2, 7.2.2
(-->)/2, 8.17.1
(->)/2, 7.2.2
(;)/2, 7.2.2
(=)/2, 8.2.1
(=..)/2, 8.4.3
(=:=)/2, 8.6.3
(==)/2, 8.3.2, 8.20.4
(=\=)/2, 8.6.3
(=<)/2, 8.6.3
(@=<)/2, 8.3.2
(@>)/2, 8.3.2
(@>=)/2, 8.3.2
(@<)/2, 8.3.2
(#/\)/2 (FD), 9.7.3
(#=)/2 (FD), 9.6.2
(#==>)/2 (FD), 9.7.3
(#=#)/2 (FD), 9.6.3
(#=<)/2 (FD), 9.6.2
(#=<#)/2 (FD), 9.6.3
(##)/2 (FD), 9.7.3
(#\)/1 (FD), 9.7.3
(#\/)/2 (FD), 9.7.3
(#\/\)/2 (FD), 9.7.3
(#\=)/2 (FD), 9.6.2
(#\==>)/2 (FD), 9.7.3
(#\=#)/2 (FD), 9.6.3
(#\\/)/2 (FD), 9.7.3
(#\<=>)/2 (FD), 9.7.3
(#>)/2 (FD), 9.6.2
(#>=)/2 (FD), 9.6.2
(#>=#)/2 (FD), 9.6.3
(#>#)/2 (FD), 9.6.3
(#<)/2 (FD), 9.6.2
(#<=>)/2 (FD), 9.7.3
(#<#)/2 (FD), 9.6.3
(\+)/1, 8.18.2
(\=)/2, 8.2.3
(\==)/2, 8.3.2
(>)/2, 8.6.3
(>=)/2, 8.6.3
(<)/2, 8.6.3
(is)/2, 8.6.2
--, 4.2.1
--assembly, 4.4.3
--aux-father, 4.4.6
--aux-father2, 4.4.6
--c-compiler, 4.4.3
--cmd-line, 4.4.6
--comment, 4.4.3, 4.4.3
--compile-msg, 4.4.3
--consult-file, 4.2.1
--cstr-size, 4.4.3
--decode, 4.4.6
--demangling, 4.4.6
--encode, 4.4.6
--entry-goal, 4.2.1
--fast-math, 4.4.3, 8.6.1
--fd-to-c, 4.4.3
--fixed-sizes, 4.3, 4.4.3
--foreign-only, 4.4.3
--global-size, 4.4.3
--gui-console, 4.4.3
--help, 4.2.1, 4.4.3, 4.4.6
--init-goal, 4.2.1
--keep-void-inst, 4.4.3
--linker, 4.4.3
--local-size, 4.3, 4.4.3
--mangling, 4.4.6
--max-atom, 4.4.3
--min-bips, 4.4.3
--min-fd-bips, 4.4.3
--min-pl-bips, 4.4.3
--min-reg-opt, 4.4.3
--min-size, 4.4.3
--mini-assembly, 4.4.3
--no-call-c, 4.4.3
--no-debugger, 4.4.3, 4.4.3
--no-del-temp, 4.4.3
--no-demangling, 4.4.3
--no-fd-lib, 4.4.3
--no-inline, 4.4.3
--no-opt-last-subterm, 4.4.3
--no-redef-error, 4.4.3
--no-reg-opt, 4.4.3
--no-reorder, 4.4.3
--no-singl-warn, 4.4.3
--no-susp-warn, 4.4.3
--no-top-level, 4.4.3
--object, 4.4.3
--output, 4.4.3
--pl-state, 4.4.3, 8.22.5
--printf, 4.4.6
--query-goal, 4.2.1
--relax, 4.4.6
--statistics, 4.4.3
--strip, 4.4.3
--temp-dir, 4.4.3
--trail-size, 4.4.3
--verbose, 4.4.3
--version, 4.2.1, 4.4.3, 4.4.6
--wam-comment, 4.4.3
--wam-for-byte-code, 4.4.3
--wam-for-native, 4.4.3
-A, 4.4.3
-C, 4.4.3
-c, 4.4.3
-D, 4.4.6
-E, 4.4.6
-F, 4.4.3
-h, 4.4.3
-L, 4.4.3
-M, 4.4.3, 4.4.6
-o, 4.4.3
-P, 4.4.6
-S, 4.4.3
-s, 4.4.3
-v, 4.4.3
-W, 4.4.3
-w, 4.4.3
abolish/1, 8.7.6
abort/0, 4.2.5, 5.5, 8.18.1
absolute_file_name (property), 8.27.11
absolute_file_name/2, 7.1.8, 8.10.6, 8.23.1, 8.23.2, 8.26.1, 8.26.2, 8.26.4, 8.27.5, 8.27.7, 8.27.8, 8.27.9, 8.27.10, 8.27.11, 8.27.12, 8.27.13
acyclic_term/1, 8.4.7
add_linedit_completion/1, 8.29.3
add_stream_alias/2, 8.10.1, 8.10.20
add_stream_mirror/2, 8.10.1, 8.10.22
address_bits (flag), 8.22.1
alias (option), 8.10.6
alias (property), 8.10.10
append (mode), 8.10.6
append/1, 8.16.2
append/3, 8.20.1
arch (flag), 8.22.1
architecture/1, 8.27.17
arg/3, 8.4.2
argumentselector, 8.21.1
argument_counter/1, 8.27.1
argument_list/1, 4.2.1, 8.27.3
argument_value/2, 4.2.1, 8.27.2
argv (flag), 8.22.1
asserta/1, 8.7.2
assertz/1, 8.7.2
at_end_of_stream/0, 8.10.11
at_end_of_stream/1, 8.10.11
atom/1, 8.1.1
atom_chars/2, 8.19.6
atom_codes/2, 8.19.6
atom_concat/3, 8.19.2
atom_length/2, 8.19.1
atom_property/2, 8.19.11
atomic/1, 8.1.1
back_quotes (flag), 4.2.1, 8.14, 8.22.1, 8.22.5
back_quotes (token), 8.14.3
backtracks (FD option), 9.9.1
bagof/3, 8.9.3
between/3, 8.18.4
binary (option), 8.10.6, 8.10.25
bind_variables/2, 8.5.3
bip_name (option), 10.3.2, 10.5.1
bisect (FD option), 9.9.1
block (option), 8.10.6, 8.10.27
block_device (permission), 8.27.11
bof (whence), 8.10.14
boolean (option), 10.3.2, 10.3.3
bounded (flag), 8.22.1
bounds (FD option), 9.9.1
break/0, 4.2.5, 5.5, 8.18.1
buffering (option), 8.10.6
buffering (property), 8.10.10
built_in (property), 7.1.7, 8.8.2
built_in/0 (directive), 7.1.7
built_in/1 (directive), 7.1.7
built_in_fd (property), 7.1.7, 8.8.2
built_in_fd/0 (directive), 7.1.7
built_in_fd/1 (directive), 7.1.7
c_cc (flag), 8.22.1
c_cc_version_data (flag), 8.22.1
c_cflags (flag), 8.22.1
c_ldflags (flag), 8.22.1
call/1, 7.2.3
call/2-11, 8.18.2
call_det/2, 8.18.2
call_with_args/1-11, 8.18.2
callable/1, 8.1.1
catch/3, 5.2, 6.3.1, 7.2.4
change_directory/1, 8.27.5
char_code/2, 8.19.4, 10.3.10
char_conversion (flag), 8.14, 8.14.12, 8.22.1, 8.22.5
char_conversion/2 (directive), 7.1.12
char_conversion/2, 7.1.12, 8.14.12
character_count/2, 8.10.15
character_device (permission), 8.27.11
choice_size (option), 10.3.2, 10.3.7
clause/2, 8.7.5
close/1, 8.10.7
close/2, 8.10.7, 8.27.21, 8.28.3
close_input_atom_stream/1, 8.11.3
close_input_chars_stream/1, 8.11.3
close_input_codes_stream/1, 8.11.3
close_output_atom_stream/2, 8.11.5
close_output_chars_stream/2, 8.11.5
close_output_codes_stream/2, 8.11.5
compare/3, 8.3.3
compiled_at (flag), 8.22.1
completion, 4.2.6, 8.29.3, 8.29.4
compound/1, 8.1.1
consult/1, 4.2.3, 4.2.3, 4.4.1, 4.4.2, 8.23.1
control constructs, 7.2
control_construct (property), 8.8.2
copy_term/2, 8.4.4
cpu_time/1, 8.24.2
create_pipe/2, 8.27.24
current (whence), 8.10.14
current_alias/2, 8.10.21
current_atom/1, 8.19.10
current_bip_name/2, 6.3.1, 8.22.4
current_char_conversion/2, 8.14.13
current_input/1, 8.10.2
current_mirror/2, 8.10.24
current_op/3, 8.14.11
current_output/1, 8.10.3
current_predicate/1, 8.7.4, 8.8.1
current_prolog_flag/2, 8.22.2
current_stream/1, 8.10.9
Definite clause grammars, see DCG
date_time/1, 8.27.14
debug (flag), 8.22.1
debug/0 (debug), 4.2.3, 4.2.5, 5.3.1
debugging/0 (debug), 5.3.1, 5.5
decompose_file_name/4, 8.26.3
delete/3, 8.20.4
delete_directory/1, 8.27.5
delete_file/1, 8.27.9
demangling, 4.4.3
dialect (flag), 8.22.1
directory (permission), 8.27.11
directory_files/2, 8.27.7
discontiguous/1 (directive), 7.1.5
display/1, 8.14.6
display/2, 8.14.6, 8.15.4, 8.15.5, 8.15.6
display_to_atom/2, 8.15.4
display_to_chars/2, 8.15.5
display_to_codes/2, 8.15.6
double_quotes (flag), 8.14, 8.22.1, 8.22.5
dynamic (property), 8.8.2
dynamic/1 (directive), 7.1.2, 8.7.1
elif/1 (directive), 7.1.9
else/0 (directive), 7.1.9
end_of_stream (property), 8.10.10
end_of_term (option), 8.14.1
endif/0 (directive), 7.1.9
ensure_linked/1 (directive), 7.1.6
ensure_loaded/1 (directive), 7.1.10
environ/2, 8.27.4
eof (whence), 8.10.14
eof_action (option), 8.10.6
eof_action (property), 8.10.10
eof_code (option), 8.10.6, 8.10.26
error (option), 8.10.6, 8.10.26, 8.14.1
escape sequence, 4.2.1, 8.19.11, 8.22.1, 8.22.1
exclude (option), 8.5.3
exec/4, 8.27.22
exec/5, 8.27.22
execute (permission), 8.27.10
expand_term/2, 8.17.2
extended (token), 8.14.3
extra-constrained, see extra_cstr
extra_cstr (FD), 9.1.1, 9.5.2
fail (option), 8.14.1
fail/0, 7.2.1, 8.18.2
false/0, 8.18.2
fct_name (option), 10.3.2
fd_all_different/1 (FD), 9.8.1
fd_at_least_one/1 (FD), 9.7.4
fd_at_most_one/1 (FD), 9.7.4
fd_atleast/3 (FD), 9.8.4
fd_atmost/3 (FD), 9.8.4
fd_cardinality/2 (FD), 9.7.4, 9.8.4
fd_cardinality/3 (FD), 9.7.4
fd_dom/2 (FD), 9.5.1
fd_domain/2 (FD), 9.3.2
fd_domain/3 (FD), 9.3.1
fd_domain_bool/1 (FD), 9.3.1
fd_element/3 (FD), 9.8.2
fd_element_var/3 (FD), 9.8.3
fd_exactly/3 (FD), 9.8.4
fd_has_extra_cstr/1 (FD), 9.5.2
fd_has_vector/1 (FD), 9.5.2
fd_labeling/1 (FD), 9.9.1
fd_labeling/2 (FD), 9.9.1, 9.10.1
fd_labelingff/1 (FD), 9.9.1
fd_max/2 (FD), 9.5.1
fd_max_integer (FD), 9.1.1, 9.2.1
fd_max_integer/1 (FD), 9.2.1
fd_maximize/2 (FD), 9.10.1
fd_min/2 (FD), 9.5.1
fd_minimize/2 (FD), 9.10.1
fd_not_prime/1 (FD), 9.6.4
fd_only_one/1 (FD), 9.7.4
fd_prime/1 (FD), 9.6.4
fd_reified_in/4 (FD), 9.7.2
fd_relation/2 (FD), 9.8.5
fd_relationc/2 (FD), 9.8.5
fd_set_vector_max/1 (FD), 9.1.1, 9.2.3
fd_size/2 (FD), 9.5.1
fd_use_vector/1 (FD), 9.5.2
fd_var/1 (FD), 9.4.1
fd_vector_max/1 (FD), 9.1.1, 9.2.2
fifo (permission), 8.27.11
file_exists/1, 8.27.10
file_name (property), 8.10.10
file_permission/2, 8.27.10
file_property/2, 8.27.11
find_linedit_completion/2, 8.29.4
findall/3, 8.9.2
first_fail (FD option), 9.9.1
flag, see Prolog flag
float/1, 8.1.1
flush_output/0, 8.10.8
flush_output/1, 8.10.1, 8.10.8
for/3, 8.18.4
forall/2, 8.18.2
force (option), 8.10.7
foreign/1 (directive), 7.1.15, 10.3.2
foreign/2 (directive), 7.1.15, 10.3.2
fork_prolog/1, 8.27.23
format/2, 8.14.7
format/3, 8.14.7, 8.15.4, 8.15.5, 8.15.6
format_to_atom/3, 8.15.4
format_to_chars/3, 8.15.5
format_to_codes/3, 8.15.6
from (option), 8.5.3
full (debug), 5.3.2
functor/3, 8.4.1
GUI console, 4.2.6, 4.2.6, 4.4.3
g_array (global var.), 8.21.1
g_array_auto (global var.), 8.21.1
g_array_extend (global var.), 8.21.1
g_array_size/2, 8.21.4
g_assign/2, 8.21.2
g_assignb/2, 8.21.2
g_dec/1, 8.21.5
g_dec/2, 8.21.5
g_dec/3, 8.21.5
g_deco/2, 8.21.5
g_inc/1, 8.21.5
g_inc/2, 8.21.5
g_inc/3, 8.21.5
g_inco/2, 8.21.5
g_link/2, 8.21.2
g_read/2, 8.21.3
g_reset_bit/2, 8.21.6
g_set_bit/2, 8.21.6
g_test_reset_bit/2, 8.21.6
g_test_set_bit/2, 8.21.6
generic_var/1 (FD), 9.4.1
get/1, 8.16.5
get0/1, 8.16.5
get_byte/1, 8.13.1
get_byte/2, 8.10.1, 8.13.1
get_char/1, 8.12.1
get_char/2, 8.12.1
get_code/1, 8.12.1
get_code/2, 8.12.1, 8.12.2
get_key/1, 8.12.2
get_key/2, 8.12.2
get_key_no_echo/1, 8.12.2
get_key_no_echo/2, 8.12.2

get_linedit_prompt/1, 8.29.1
get_print_stream/1, 8.14.9
get_seed/1, 8.25.2
gplc, 4.4.3, 4.4.3, 4.4.5, 4.4.6, 4.4.6, 8.22.5
ground/1, 8.1.1
half (debug), 5.3.2
halt/0, 4.2.1, 4.2.5, 8.18.1
halt/1, 8.18.1
hash (property), 8.19.11
hash code, 8.4.8, 8.19.11
hexgplc, 4.4.6
home (flag), 8.22.1
host (flag), 8.22.1
host_cpu (flag), 8.22.1
host_name/1, 8.27.15
host_os (flag), 8.22.1
host_vendor (flag), 8.22.1
hostname_address/2, 8.28.8
if/1 (directive), 7.1.9
ignore_ops (option), 8.14.6
include/1 (directive), 7.1.8
infix_op (property), 8.19.11
initialization/1 (directive), 4.4.3, 4.4.4, 7.1.14, 10.7
input (property), 8.10.10
integer/1, 8.1.1
integer_rounding_function (flag),8.6.1, 8.22.1
interpreter, see top-level
is_absolute_file_name/1, 8.26.2
is_list/1, 8.1.1
is_relative_file_name/1, 8.26.2
jump (option), 10.3.2, 10.3.3
keysort/1, 8.20.14
keysort/2, 8.20.14
largest (FD option), 9.9.1
last/2, 8.20.9
last_modification (property), 8.27.11
last_read_start_line_column/2, 8.14.5
leash/1 (debug), 5.3.2, 5.5
length (property), 8.19.11
length/2, 8.20.10
line (option), 8.10.6, 8.10.27
line_count/2, 8.10.16, 8.10.18
line_position/2, 8.10.17
linedit, 4.2.6, 8.12.2, 8.29, 8.29.1, 8.29.2, 8.29.3, 8.29.4
list/1, 8.1.1
list_or_partial_list/1, 8.1.1
listing/0, 8.23.3
listing/1, 5.5, 8.14.8, 8.23.3
load/1, 4.2.3, 4.4.2, 4.4.3, 8.23.2
loose (debug), 5.3.2
lower_upper/2, 8.19.5
MA, 4.4.2
make_directory/1, 8.27.5
maplist/2-8, 8.20.13
max (FD option), 9.9.1
max_arity (flag), 8.22.1
max_atom (flag), 8.22.1
max_depth (option), 8.14.6
max_integer (flag), 8.22.1, 9.1.1
max_list/2, 8.20.12
max_regret (FD option), 9.9.1
max_unget (flag), 8.12.4, 8.13.3, 8.22.1
member/2, 8.20.2
memberchk/2, 8.20.2
meta_predicate (property), 8.8.2
middle (FD option), 9.9.1
min (FD option), 9.9.1
min_integer (flag), 8.22.1
min_list/2, 8.20.12
mini-assembly, 3, 4.4.2, 4.4.6
mirror (option), 8.10.6
mirror (property), 8.10.10
mode (property), 8.10.10
monofile (property), 8.8.2
most_constrained (FD option), 9.9.1
msort/1, 8.20.14
msort/2, 8.20.14
multifile (property), 8.8.2
multifile/1 (directive), 7.1.4
multifile_warning (flag), 8.22.1, 8.22.5
name demangling, 4.4.6
name mangling, 4.4.3, 4.4.6
name/2, 8.19.8
name_query_vars/2, 8.5.2
name_singleton_vars/1, 8.5.1, 8.14.8
namevars (option), 4.2.2, 8.5.3, 8.14.6
native_code (property), 8.8.2
needs_quotes (property), 8.19.11
needs_scan (property), 8.19.11
new_atom/1, 8.19.9
new_atom/2, 8.19.9
next (option), 8.5.3
nl/0, 8.12.5
nl/1, 8.12.5
nodebug/0 (debug), 5.3.1, 5.5
non_fd_var/1 (FD), 9.4.1
non_generic_var/1 (FD), 9.4.1
none (debug), 5.3.2
none (option), 8.10.6, 8.10.27, 10.3.2, 10.3.3
nonvar/1, 8.1.1
nospy/1 (debug), 5.3.3, 5.5
nospyall/0 (debug), 5.3.3
notrace/0 (debug), 5.3.1
nth/3, 8.20.11
number/1, 8.1.1
number_atom/2, 8.19.7
number_chars/2, 8.19.7
number_codes/2, 8.19.7
numbervars (option), 4.2.2, 8.5.3, 8.14.6
numbervars/1, 8.5.3, 8.14.8
numbervars/3, 8.5.3
once/1, 8.18.2
op/3 (directive), 7.1.11
op/3, 7.1.11, 8.14.10
open/3, 8.10.6
open/4, 8.10.1, 8.10.6, 8.10.25, 8.10.26, 8.10.27, 8.27.29
open_input_atom_stream/2, 8.11.2
open_input_chars_stream/2, 8.11.2
open_input_codes_stream/2, 8.11.2
open_output_atom_stream/1, 8.11.4
open_output_chars_stream/1, 8.11.4
open_output_codes_stream/1, 8.11.4
os_error (flag), 8.22.1, 10.5.12
os_version/1, 8.27.16
output (property), 8.10.10
Prologflag, 4.2.1, 10.5.12
Prolog flag, 6.2, 6.2, 7.1.13, 8.6.1, 8.8.1, 8.12.4, 8.13.3, 8.14, 8.14.1, 8.14.3, 8.14.12, 8.22.1, 8.22.2, 8.22.5, 9.1.1, 10.5.11
PrologScript, 4.2.4, 8.23.1
partial_list/1, 8.1.1
peek_byte/1, 8.13.2
peek_byte/2, 8.13.2
peek_char/1, 8.12.3
peek_char/2, 8.12.3
peek_code/1, 8.12.3
peek_code/2, 8.12.3
permission (property), 8.27.11
permutation/2, 8.20.6
phrase/2, 8.17.3
phrase/3, 8.17.3
popen/3, 8.10.1, 8.27.21
portray/1, 8.14.9
portray_clause/1, 8.14.8
portray_clause/2, 8.14.8, 8.23.3
portrayed (option), 8.14.6
position (property), 8.10.10
postfix_op (property), 8.19.11
predicate_property/2, 8.8.2
prefix/2, 8.20.7
prefix_op (property), 8.19.11
print/1, 8.14.6, 8.14.7
print/2, 8.14.6, 8.14.9, 8.15.4, 8.15.5, 8.15.6
print_to_atom/2, 8.15.4
print_to_chars/2, 8.15.5
print_to_codes/2, 8.15.6
priority (option), 8.14.6
private (property), 8.8.2
prolog_copyright (flag), 8.22.1
prolog_date (flag), 8.22.1
prolog_file (property), 8.8.2
prolog_file_name/2, 8.23.1, 8.26.4
prolog_line (property), 8.8.2
prolog_name (flag), 8.22.1
prolog_pid/1, 8.27.26
prolog_version (flag), 8.22.1
public (property), 8.8.2
public/1 (directive), 7.1.3, 8.7.1
punct (token), 8.14.3
put/1, 8.16.6
put_byte/1, 8.13.4
put_byte/2, 8.13.4
put_char/1, 8.12.5
put_char/2, 8.12.5
put_code/1, 8.12.5
put_code/2, 8.12.5
quoted (option), 4.2.2, 8.14.6
random (FD option), 9.9.1, 9.9.1
random/1, 8.25.3
random/3, 8.25.4
randomize/0, 8.25.1
read (mode), 8.10.6
read (permission), 8.27.10
read/1, 8.14.1, 8.14.5
read/2, 8.14.1, 8.14.5, 8.15.1, 8.15.2, 8.15.3
read_atom/1, 8.14.2, 8.14.5
read_atom/2, 8.14.2, 8.14.5, 8.14.12
read_from_atom/2, 8.15.1
read_from_chars/2, 8.15.2
read_from_codes/2, 8.15.3
read_integer/1, 8.14.2, 8.14.5
read_integer/2, 8.14.2, 8.14.5, 8.14.12
read_number/1, 8.14.2, 8.14.5
read_number/2, 8.14.2, 8.14.5, 8.14.12
read_pl_state_file/1, 8.22.5
read_term/2, 8.14.1, 8.14.5
read_term/3, 8.14.1, 8.14.5, 8.14.12, 8.15.1, 8.15.2, 8.15.3
read_term_from_atom/3, 4.2.1, 8.14.1, 8.15.1
read_term_from_chars/3, 8.15.2
read_term_from_codes/3, 8.15.3
read_token/1, 8.14.3, 8.14.5
read_token/2, 8.14.3, 8.14.5, 8.14.12, 8.15.1, 8.15.2, 8.15.3
read_token_from_atom/2, 8.15.1
read_token_from_chars/2, 8.15.2
read_token_from_codes/2, 8.15.3
real_file_name (property), 8.27.11
real_time/1, 8.24.2
regular (permission), 8.27.11
remove_stream_mirror/2, 8.10.1, 8.10.22, 8.10.23
rename_file/2, 8.27.8
reorder (FD option), 9.9.1
repeat/0, 8.18.3
reposition (option), 8.10.6
reposition (property), 8.10.10
reset (option), 8.10.6, 8.10.26
retract/1, 8.7.3
retractall/1, 8.7.4
return (option), 10.3.2, 10.3.3
reverse/2, 8.20.3
search (permission), 8.27.10
see/1, 8.16.2
seeing/1, 8.16.3
seek/4, 8.10.14
seen/0, 8.16.4
select/3, 8.20.4
select/5, 8.10.1, 8.27.29, 8.28.5, 8.28.7
send_signal/2, 8.27.27
set_bip_name/2, 6.3.1, 8.22.3, 10.5.1
set_input/1, 8.10.1, 8.10.4
set_linedit_prompt/1, 8.29.2
set_output/1, 8.10.1, 8.10.5
set_prolog_flag/2 (directive), 7.1.13
set_prolog_flag/2, 7.1.13, 8.22.1
set_seed/1, 8.25.1
set_stream_buffering/2, 8.10.1, 8.10.27, 8.27.29, 8.28.1
set_stream_eof_action/2, 8.10.26
set_stream_line_column/3, 8.10.19
set_stream_position/2, 8.10.1, 8.10.13
set_stream_type/2, 8.10.25, 8.28.1
setarg/3, 8.4.9
setarg/4, 8.4.9
setof/3, 8.9.3
shebang support, 4.2.4, 8.23.1
shell/0, 8.27.18
shell/1, 8.27.18
shell/2, 8.27.18
singleton_warning (flag), 8.22.1, 8.22.5
singletons (option), 8.5.2, 8.5.3, 8.14.1
size (property), 8.27.11
skip/1, 8.16.5
sleep/1, 8.27.28
smallest (FD option), 9.9.1
socket (permission), 8.27.11
socket/2, 8.28.2
socket_accept/3, 8.28.7
socket_accept/4, 8.28.7
socket_bind/2, 8.28.4
socket_close/1, 8.28.3
socket_connect/4, 8.10.1, 8.28.3, 8.28.5
socket_listen/2, 8.28.6
soft-cut, 7.2.2
sort/1, 8.20.14
sort/2, 8.20.14
space_args (option), 8.14.6
spawn/2, 8.27.20
spawn/3, 8.27.20
spy/1 (debug), 5.3.3, 5.5
spypoint_condition/3 (debug), 5.3.3, 5.5
standard (FD option), 9.9.1
static (property), 8.8.2
statistics/0, 8.24.1
statistics/2, 8.24.1
stop/0, 8.18.1
stream_line_column/3, 8.10.18
stream_position/2, 8.10.12, 8.10.13
stream_property/2, 8.10.10, 8.10.11, 8.10.12, 8.10.13, 8.10.21, 8.10.24
strict_iso (flag), 6.2, 8.8.1, 8.22.1
string (token), 8.14.3
sub_atom/5, 8.19.3
sublist/2, 8.20.8
subsumes_term/2, 8.4.6
subtract/3, 8.20.5
succ/2, 8.6.4
suffix/2, 8.20.7
sum_list/2, 8.20.12
suspicious_warning (flag), 8.22.1, 8.22.5
syntax_error (flag), 8.14.1, 8.22.1, 10.5.11
syntax_error (option), 8.14.1
syntax_error_info/4, 8.14.4, 10.5.11
system/1, 8.27.19
system/2, 8.27.19
system_time/1, 8.24.2
tab/1, 8.16.6
tell/1, 8.16.2
telling/1, 8.16.3
temporary_file/3, 8.27.13
temporary_name/2, 8.27.12
term_expansion/2, 8.17.2
term_hash/2, 8.4.8
term_hash/4, 8.4.8
term_ref/2, 8.5.4
term_variables/2, 8.4.5
term_variables/3, 8.4.5
text (option), 8.10.6, 8.10.25
throw/1, 5.2, 6.3.1, 7.2.4, 10.6.1, 10.6.1
tight (debug), 5.3.2
told/0, 8.16.4
top-level, 4.2.1, 4.2.6, 4.4.3, 4.4.4, 4.4.5, 8.18.1, 8.18.1, 8.18.1, 8.18.1, 8.29.1, 8.29.2, 10.7
top_level/0, 4.2.1, 8.18.1
trace/0 (debug), 4.2.3, 4.2.5, 5.3.1
true/0, 7.2.1
type (option), 8.10.6
type (property), 8.10.10, 8.27.11
unget_byte/1, 8.13.3
unget_byte/2, 8.13.3
unget_char/1, 8.12.4
unget_char/2, 8.12.4
unget_code/1, 8.12.4
unget_code/2, 8.12.4
unify_with_occurs_check/2, 8.2.2
unix (flag), 8.22.1
unknown (flag), 8.22.1
unknown (permission), 8.27.11
unlink/1, 8.27.9
user (property), 8.8.2
user, 8.16.1, 8.16.3, 8.16.3, 8.23.1, 8.26.1, 8.26.4
user_error, 8.10.1
user_input, 8.10.1, 8.10.7, 8.16.1, 8.16.1, 8.16.3, 8.16.4
user_output, 8.10.1, 8.10.7, 8.16.1, 8.16.1, 8.16.3, 8.16.4
user_time/1, 8.24.2
value_method (FD option), 9.9.1
var (token), 8.14.3
var/1, 8.1.1
variable_method (FD option), 9.9.1
variable_names (option), 8.5.2, 8.5.3, 8.14.1, 8.14.6
variables (option), 8.14.1
vector_max (FD), 9.1.1, 9.2.2, 9.2.3, 9.6.4
version (flag), 8.22.1
version_data (flag), 8.22.1
WAM, 3, 4.4.2, 4.4.2, 5.6
Warren Abstract Machine, see WAM
wait/2, 8.27.25
wam_debug/0 (debug), 5.3.1, 5.6
warning (option), 8.14.1
working_directory/1, 8.27.6
write (mode), 8.10.6
write (permission), 8.27.10
write/1, 8.14.6, 8.14.7
write/2, 8.14.6, 8.15.4, 8.15.5, 8.15.6
write_canonical/1, 8.14.6, 8.14.7
write_canonical/2, 8.14.6, 8.15.4, 8.15.5, 8.15.6
write_canonical_to_atom/2, 8.15.4
write_canonical_to_chars/2, 8.15.5
write_canonical_to_codes/2, 8.15.6
write_pl_state_file/1, 4.4.3, 8.22.5
write_term/2, 8.14.6
write_term/3, 4.2.2, 5.4, 8.14.6, 8.15.4, 8.15.5, 8.15.6
write_term_to_atom/3, 8.15.4
write_term_to_chars/3, 8.15.5
write_term_to_codes/3, 8.15.6
write_to_atom/2, 8.15.4
write_to_chars/2, 8.15.5
write_to_codes/2, 8.15.6
writeq/1, 8.14.6, 8.14.7
writeq/2, 8.14.6, 8.15.4, 8.15.5, 8.15.6, 10.4.2
writeq_to_atom/2, 8.15.4
writeq_to_chars/2, 8.15.5
writeq_to_codes/2, 8.15.6