Index
!
'C'
,
->
->;
->>
+>>
;
<
<<-
<<=
=
=..
=:=
=<
==
=\=
>
>=
?=
@<
@=
@=<
@>
@>=
[]
\+
\=
\==
^
abolish
absolute_file_name
access
add_expansion
add_expansion_vars
add_global_exception_handler
add_linking_clause
add_multi_expansion
add_multi_expansion_vars
add_subterm_expansion
add_subterm_expansion_vars
after_with
any_variable
append
arg
assert
asserta
assertz
at_end_of_stream
atom
atom_chars
atom_codes
atom_concat
atom_concat2
atom_length
atom_search
atomic
bagof
between
body
bound_var
break
broadcast
build_structure
call
callable
call_cleanup
call_predicate
catch
changed_predicates
char_code
chdir
check_binder
clause
close
closed_list
closed_to_open
collect_constraints
collect_simple_terms
collect_vars
compare
compound
concat_atom
consult
copy_term
create_timer
current_atom
current_input
current_obvar_prefix
current_op
current_output
current_predicate
current_prolog_flag
dcg
debug
debugger_cmd_hook
debugger_hook
debugging
default_exception_error
default_exception_handler
default_message_thread
default_signal_handler
define_dynamic_lib
del_expansion
del_expansion_vars
del_linking_clause
del_multi_expansion
del_multi_expansion_vars
del_subterm_expansion
del_subterm_expansion_vars
delay
delay_until
delete
delete_all
delete_timer
diff_list
distribute
distribute_left
distribute_right
dynamic
encoded_read_term
encoded_write_term
erase
error
errornl
exception
exception_exception
exception_severity
exit_thread_gui
expand_subterms
expand_term
fail
fcompile
file_base_name
file_directory_name
filter
findall
float
flush_output
fold
fold_left
fold_right
forall
foreign
foreign_file
freeze_term
freeze_var
front_with
frozen_var
frozen_var
functor
gc
generate_foreign_interface
get
get0
get_args
get_char
get_code
get_predicate_timestamp
get_delays
get_distinct
get_exception_message
get_line
get_linking_clause
get_name
get_open_streams
get_unify_delays
get_unify_delays_avoid
get_unnamed_vars
get_var_delays
get_var_name
getcwd
getenv
gettimeofday
global_state_decrement
global_state_increment
global_state_lookup
gmtime
global_state_set
ground
halt
hash_table_insert
hash_table_lookup
hash_table_remove
hash_table_search
identical_or_apart
index
inline
instance
instantiation_exception
integer
interpreter
intersect_list
initialization
ip_array_clear
ip_array_get_entries
ip_array_init
ip_lookup
ip_set
ipc_peek
ipc_recv
ipc_send
irandom
is
is_distinct
is_free_in
is_not_free_in
leash
length
list
list_expansions
listing
load
load_foreign
load_foreign_files
localtime
main
map
member
member_eq
message_choice
msort
multifile
multi_expand_depth_limit
multi_expand_term
name
name_vars
nl
nodebug
nonvar
nospy
nospyall
not_free_in
notrace
number
number_chars
number_codes
obvar
obvar_name_to_prefix
obvar_prefix
obvar_prefix_table
once
op
op_table
op_table_inherit
open
open_append
open_length
open_list
open_member
open_member_eq
open_msgstream
open_socket_stream
open_string
open_tail
open_to_closed
os
pedro_address
pedro_connect
pedro_deregister
pedro_disconnect
pedro_is_connected
pedro_is_registered
pedro_notify
pedro_port
pedro_register
pedro_subscribe
pedro_unsubscribe
parallel_sub
phrase
portray
portray_clause
predicate_property
print
prompt
put
put_char
put_code
put_line
quant
quantifier
quantify
random
read
readR
readR_1_term
read_1_term
realtime
read_term
reconsult
recorda
recorded
recordz
remove_duplicates
remove_global_exception_handler
remove_obvar_prefix
repeat
reset_std_stream
retract
retractall
retry_delays
retry_var_delays
retry_woken_delays
reverse
re_match
same_args
same_handle
schedule_threads_now
search_insert
see
seeing
seen
set_autoflush
set_default_message_thread
set_input
set_obvar_name
set_output
set_std_stream
set_stream_position
set_var_name
setarg
setof
setup_call_cleanup
setenv
simple
simplify_term
skip
sort
spy
spy_cond
srandom
start_thread_gui
stat
statistics
std_compound
std_nonvar
std_var
stream_property
stream_to_atom
stream_to_chars
stream_to_string
string_to_atom
string_concat
string_length
string_to_list
structural_unify
sub
sub_atom
sub_string
sub_term
substitute
substitution
subterm_expand_depth_limit
tab
tcp_accept
tcp_bind
tcp_client
tcp_close
tcp_connect
tcp_getpeername
tcp_getsockname
tcp_host_from_ip_address
tcp_host_to_ip_address
tcp_listen
tcp_open
tcp_server
tell
telling
thaw_term
thaw_var
thawed_var
thawed_var
thread_defaults
thread_errno
thread_exit
thread_atomic_goal
thread_fork
thread_handle
thread_is_initial_thread
thread_is_thread
thread_push_goal
thread_set_defaults
thread_set_symbol
thread_sleep
thread_sleep_until
thread_symbol
thread_wait
thread_wait_on_goal
thread_yield
throw
told
trace
transform_simple_terms
transform_subterms
true
type_exception
unify_with_occurs_check
uncurry
union_list
unwind_protect
update_predicate_timestamp
var
with_debugging_off
with_local_exception_handler
working_directory
write
writeR
writeRT
writeRTq
writeRq
writeT
writeTq
write_atom
write_canonical
write_integer
write_string
write_term
write_term_list
writeq
writeq_atom
writeq_string
Table of Contents
Getting Started
Syntax
Built-in Predicates
Standard Operators
Notation
Index