Skip to content
YAP Prolog Reference Manual
Examples
Initializing search
GitHub
YAP 7.2.1 Reference Manual
C Functions, C++ Classes
Examples
Files
Groups
Modules
Pages
Prolog Predicates
Classes
Files
Modules
Namespaces
Pages
Predicates
YAP Prolog Reference Manual
GitHub
YAP 7.2.1 Reference Manual
C Functions, C++ Classes
Examples
Files
Groups
Modules
Pages
Prolog Predicates
Classes
Classes
MyVector
T
Var/
Var/1
YAPApplTerm
YAPAtom
YAPAtomTerm
YAPCallback
YAPConjunctiveTerm
classYAPEngine
classYAPError
YAPErrorTerm
YAPFLIP
YAPFloatTerm
YAPFunctor
YAPIntegerTerm
YAPListTerm
YAPModule
YAPModuleProp
YAPNumberTerm
YAPPairTerm
YAPPredicate
YAPPrologPredicate
YAPProp
YAPQuery
YAPStringTerm
YAPTerm
YAPVarTerm
Yap_InitCPreds
+Tag/
+Tag/1
+< em >em, -< em >String)+Term,+Lines, -Lines0)+< em >Stream,+< em >Prefix__,+_Lines):print_message/2
+< em >em, @anchor{ yyextra->current->name } -< em >String)+Term,+Lines, @anchor{ yyextra->current->name } -Lines0)+< em >Stream,+< em >Prefix__, @anchor{ yyextra->current->name }+_Lines):prolog:/
=:=/
=:=/1
=:=/2
:G, M,- NG)+G,+M,- NG)< em >T,-< em >X):message_hook/3
:G, M,- NG):goalexpansion/3
:G, M, @anchor{ yyextra->current->name } - NG)+G,+M, @anchor{ yyextra->current->name } - NG)< em >T, @anchor{ yyextra->current->name } -< em >X):user:/
:G, M, @anchor{ yyextra->current->name } - NG):user:/
:goal_expansion/3
:message_hook/3
:prolog:/
:unknown_predicate_handler/3
:user:/
/
Class 21
Class 9 2
Class 9 20
abolish/1
abolish/2
abolish_module/1
abolish_table/1
abort/
abort/0
absolute_file_name/2
absolute_file_name/3
access_file/2
acyclic_term/1
add_edges/3
add_import_module/3
add_to_array_element/4
add_to_heap/4
add_to_path/1
add_to_path/2
add_vertices/3
alarm/3
all/3
always_prompt_user/
always_prompt_user/0
append/1
append/2
append/3
arg0/3
arg/3
args0/3
args/3
array/2
array_element/3
assert/1
assert/2
Classassert static 21
asserta/1
asserta/2
Classasserta static 21
assertz/1
assertz/2
Classassertz static 21
assoc_to_list/2
at_end_of_line/
at_end_of_line/0
at_end_of_line/1
at_end_of_stream/
at_end_of_stream/0
at_end_of_stream/1
atom/1
atom_chars/2
atom_codes/2
atom_concat/2
atom_length/2
atom_number/2
atom_string/1
atom_to_chars/2
atom_to_chars/3
atom_to_string/1
atomic/1
atomic_length/2
atomic_list_concat/2
atomic_list_concat/3
atomic_to_string/1
attr_unify_hook/2
attribute_goals/3
attvar/1
avl_insert/4
avl_lookup/3
avl_new/1
b_getval/2
b_hash_insert_new/4
b_hash_lookup/3
b_hash_new/1
b_hash_new/2
b_hash_new/4
b_hash_size/2
b_hash_to_list/2
b_hash_update/3
b_hash_update/4
b_key_to_list/2
bagof/3
bb_delete/2
bb_get/2
bb_put/2
bb_update/3
between/3
blank/2
block/1
break/
break/0
call/1
call/4
Classcall cleanup 22
call_count/3
call_count_data/3
call_count_reset/
call_count_reset/0
call_in_module/1
Classcall residue 22
Classcall residue vars 22
call_shared_object_function/2
call_with_args/4
callable/1
Classcatch 23
cd/
cd/0
cd/1
char_code/2
char_type/2
checklist/2
checknodes/2
clause/1
clause/2
clause/3
cleanup_all/
cleanup_all/0
close/1
close/2
close_matlab/
close_matlab/0
close_shared_object/1
close_static_array/1
commons_directory/1
compare/3
compile/1
compile_expressions/
compile_expressions/0
Classcompile predicates 21
complement/2
completer/2
compose/3
compound/1
consult/1
Classconvlist 23
Classconvlist 24
copy_file/2
copy_line/2
copy_term/2
copy_term/3
copy_term_nat/2
create_array/2
create_mutable/2
create_prolog_flag/3
current_atom/1
current_char_conversion/2
current_choice_point/1
current_error/1
current_host/1
current_input/1
current_key/2
current_line_number/1
current_line_number/2
current_module/1
Classcurrent module 22
current_mutex/3
current_op/3
current_output/1
current_predicate/1
current_predicate/2
current_prolog_flag/2
current_prolog_flag/3
current_stack/1
current_stream/3
current_thread/2
cyclic_term/1
datime/6
db_dynamic/
db_dynamic/0
db_dynamic/1
db_reference/1
db_static/
db_static/0
db_static/1
db_usage/
db_usage/0
debug/
debug/0
del_assoc/4
del_attr/2
del_attrs/1
del_edges/3
del_max_assoc/4
del_min_assoc/4
del_vertices/3
delete/3
delete_file/2
delete_import_module/2
dgraph_add_edge/4
dgraph_add_edges/3
dgraph_add_vertex/3
dgraph_add_vertices/3
dgraph_complement/2
dgraph_del_edge/4
dgraph_del_edges/3
dgraph_del_vertex/3
dgraph_del_vertices/3
dgraph_edge/3
dgraph_edges/2
dgraph_isomorphic/4
dgraph_leaves/2
dgraph_max_path/5
dgraph_min_path/5
dgraph_min_paths/3
dgraph_neighbors/3
dgraph_neighbours/3
dgraph_new/1
dgraph_path/3
dgraph_path/4
dgraph_reachable/3
dgraph_symmetric_closure/2
dgraph_to_ugraph/2
dgraph_top_sort/2
dgraph_top_sort/3
dgraph_transitive_closure/2
dgraph_transpose/2
dgraph_vertices/2
dif/2
directory_files/2
directory_map/2
discontiguous/1
display/1
display/2
do_not_compile_expressions/
do_not_compile_expressions/0
domain_error/3
downcase_text_to_atom/2
downcase_text_to_chars/2
downcase_text_to_codes/2
downcase_text_to_string/2
duplicate_term/2
dynamic/1
dynamic_predicate/2
edges/2
elif/1
else/
else/0
empty_assoc/1
empty_heap/1
empty_queue/1
endif/
endif/0
ensure_loaded/1
ensure_prompting/
ensure_prompting/0
environ/2
erase/1
eraseall/1
erased/1
exception/3
exclude/3
exec/3
existence_error/2
exists/1
expand_exprs/2
expand_term/2
fail/
fail/0
false/
false/0
fields/2
fields/3
file_exists/1
file_filter/3
file_filter_with_initialization/5
file_filter_with_start_end/5
file_name_extension/3
file_search_path/2
file_select/2
fileerrors/
fileerrors/0
filter/3
findall/3
findall/4
flags_type_definition/3
flatten/2
float/1
flush_output/
flush_output/0
flush_output/1
Classfoldl2 26
foldl2/7
Classfoldl2 28
Classfoldl3 29
Classfoldl4 211
Classfoldl 25
foldl/6
Classforall 22
foreign_directory/1
format/1
format/2
format_to_chars/3
format_to_chars/4
Classfreeze 22
frozen/2
functor/3
garbage_collect_atoms/
garbage_collect_atoms/0
gc/
gc/0
gen_assoc/3
genarg0/3
genarg/3
get/1
get/2
get_assoc/3
get_assoc/5
get_attr/3
get_attrs/2
get_byte/1
get_byte/2
get_char/1
get_char/2
get_code/1
get_code/2
get_label/3
get_mutable/2
get_next_assoc/4
get_prev_assoc/4
get_time/1
get_value/2
getcwd/1
getrand/1
glue/3
ground/1
grow_heap/1
grow_stack/1
halt/
halt/0
halt/1
has_type/2
head_queue/2
heap_size/2
heap_to_list/2
hidden_atom/1
hide_atom/1
hide_predicate/1
host_id/1
host_name/1
hostname_address/2
identical_member/2
Classif 21
if/3
Classignore 21
import_module/2
include/1
include/3
incore/1
initialization/
initialization/0
initialization/1
initialization/2
instance/2
instantiation_error/1
integer/1
integer/3
intersection/3
is/2
is_assoc/1
is_b_hash/1
is_callable/1
is_list/1
is_mutable/1
is_nonvar/1
is_of_type/2
is_tabled/1
isinf/1
isnan/1
join_queue/3
jump_queue/3
key_statistics/3
key_statistics/4
keysort/2
kill/2
last/2
leash/1
length/2
length_queue/2
library_directory/1
list_concat/2
list_directory/2
list_join_queue/3
list_jump_queue/3
list_to_assoc/2
list_to_heap/2
list_to_ord_set/2
list_to_queue/2
list_to_tree/2
listing/
listing/0
listing/1
listing/2
load_absolute_foreign_files/3
load_db/1
load_files/2
load_foreign_files/3
load_mega_clause/1
location:/
log_goal/2
log_section/1
log_title/1
log_unit/2
logsum/3
ls/
ls/0
make/
make/0
make_diagram/2
make_diagram/5
make_directory/1
make_queue/1
map_assoc/2
map_assoc/3
map_tree/3
Classmaplist 22
maplist/3
maplist/4
Classmaplist 25
Classmaplist 26
mapnodes/3
matlab_cells/2
matlab_cells/3
matlab_eval_string/1
matlab_eval_string/2
matlab_get_variable/2
matlab_initialized_cells/4
matlab_item1/3
matlab_item1/4
matlab_item/3
matlab_item/4
matlab_matrix/4
matlab_on/
matlab_on/0
matlab_sequence/3
matlab_set/4
matlab_vector/3
matlab_zeros/2
matlab_zeros/3
matlab_zeros/4
matrix_agg_cols/3
matrix_agg_lines/3
matrix_arg_to_offset/3
matrix_column/3
matrix_copy/2
matrix_dec/3
matrix_get/3
matrix_new/3
matrix_new/4
matrix_new_set/4
matrix_offset_to_arg/3
matrix_op/4
matrix_op_to_all/4
matrix_op_to_cols/4
matrix_op_to_lines/4
matrix_select/4
matrix_shuffle/2
matrix_shuffle/3
matrix_size/2
matrix_sum/2
matrix_to_list/2
matrix_transpose/2
matrix_type/2
max/1
max/2
max_assoc/3
max_list/2
may_bind_to_type/2
member/2
memberchk/2
message_queue_create/1
message_queue_destroy/1
message_to_string/2
meta_predicate/3
min/1
min/2
min_assoc/3
min_list/2
min_of_heap/3
mktemp/2
mktime/2
mmapped_array/4
module/1
module/2
module_property/2
module_transparent/1
mpi_barrier/
mpi_barrier/0
mpi_bcast2/2
mpi_comm_rank/1
mpi_comm_size/1
mpi_finalize/
mpi_finalize/0
mpi_gc/
mpi_gc/0
mpi_init/
mpi_init/0
mpi_irecv/3
mpi_isend/4
mpi_msg_size/2
mpi_recv/3
mpi_send/3
mpi_test/2
mpi_test_recv/3
mpi_version/2
mpi_wait/2
mpi_wait_recv/3
multifile/1
must_be_bound/1
must_be_callable/1
must_be_ground/1
must_be_of_type/2
must_be_predicate_indicator/4
mutex_create/1
mutex_unlock_all/
mutex_unlock_all/0
name/2
natural/3
nb_beam/2
nb_beam_add/3
nb_beam_close/1
nb_beam_del/3
nb_beam_empty/1
nb_beam_peek/3
nb_beam_size/2
nb_current/2
nb_delete/1
nb_getval/2
nb_heap/2
nb_heap_add/3
nb_heap_close/1
nb_heap_del/3
nb_heap_empty/1
nb_heap_peek/3
nb_heap_size/2
nb_linkarg/3
nb_linkval/2
nb_queue/1
nb_queue_close/3
nb_queue_dequeue/2
nb_queue_empty/1
nb_queue_enqueue/2
nb_queue_peek/2
nb_queue_size/2
nb_set_shared_arg/3
nb_set_shared_val/2
nb_setarg/3
nb_setval/2
neighbors/3
neighbours/3
new_variables_in_term/3
nl/
nl/0
nl/1
no_source/
no_source/0
no_style_check/1
nofileerrors/
nofileerrors/0
nogc/
nogc/0
non_ground/2
nonvar/1
nospy/1
nospyall/
nospyall/0
notrace/
notrace/0
nth0/3
nth0/4
nth1/3
nth1/4
nth/3
nth/4
nth_clause/3
nth_instance/3
nth_instance/4
number/1
number_atom/2
number_chars/2
number_codes/2
number_string/2
number_to_chars/2
number_to_chars/3
numbervars/3
numlist/3
Classoldl 25
on_cleanup/1
on_signal/3
once/1
op
op/3
open/3
open/4
open_chars_stream/2
open_pipe_streams/2
open_shared_object/2
open_shared_object/3
ord_add_element/3
ord_del_element/3
ord_disjoint/2
ord_insert/3
ord_intersect/2
ord_intersection/3
ord_intersection/4
ord_list_to_assoc/2
ord_member/2
ord_seteq/2
ord_setproduct/3
ord_subset/2
ord_subtract/3
ord_symdiff/3
ord_union/2
ord_union/3
ord_union/4
otherwise/
otherwise/0
out/2
partition/4
partition/5
path/1
path_arg/3
peek/1
peek/2
peek_byte/1
peek_byte/2
peek_char/1
peek_char/2
peek_code/1
peek_code/2
permission_error/3
permutation/2
phrase/2
phrase/3
pid/1
plus/3
popen/3
portray_clause/1
portray_clause/2
predicate_erased_statistics/4
predicate_property/2
predicate_statistics/4
predsort/3
primitive/1
print/2
print_message_lines/3
process/2
profile_data/3
prolog_file_name/2
prolog_file_type/2
prolog_flag/3
prolog_flag_property/2
prolog_initialization/1
prolog_load_context/2
prolog_to_os_filename/2
prompt1/1
prompt/2
public/1
put_assoc/4
put_attr/3
put_attrs/2
put_byte/1
put_byte/2
put_char/1
put_char/2
put_code/1
put_code/2
put_label/4
putenv/2
pwd/
pwd/0
qend_program/
qend_program/0
qload_file/1
qload_module/1
Classqsave file 22
qsave_module/1
qsave_module/2
qsave_program/2
queue_to_list/2
raakau/3
random/1
random/3
randseq/3
randset/3
Classrannum 21
ranstart/
ranstart/0
ranstart/1
ranunif/2
rational/1
rational_term_to_forest/4
rational_term_to_tree/4
rb_apply/4
rb_clone/3
rb_del_max/4
rb_del_min/4
rb_delete/3
rb_delete/4
rb_empty/1
rb_fold/4
rb_insert/4
rb_key_fold/4
rb_keys/2
rb_lookup/3
rb_lookupall/3
rb_map/3
rb_max/3
rb_min/3
rb_new/1
rb_next/4
rb_partial_map/4
rb_previous/4
rb_rewrite/3
rb_rewrite/4
rb_size/2
rb_update/4
rb_update/5
rb_visit/2
reachable/3
read/1
read/2
read_clause/3
read_from_chars/2
read_line_to_string/2
read_link/3
read_stream_to_codes/3
read_stream_to_terms/3
read_term_from_atom/3
read_term_from_atomic/3
read_term_from_string/3
reconsult/1
recorda/3
recorda_at/3
recordaifnot/3
recorded/3
recordz/3
recordz_at/3
recordzifnot/3
reexport/1
reexport/2
regexp/3
regexp/4
remove_duplicates/2
remove_from_path/1
rename/2
repeat/
repeat/0
representation_error/1
reset_static_array/1
restore/1
retract/1
retract/2
retractall/1
reverse/2
rl_copy/2
rl_free/1
rl_freeze/1
rl_in/2
rl_new/1
rl_new/2
rl_print/1
rl_set_all/2
rl_set_all_in/1
rl_set_in/2
rl_set_out/2
rl_size/2
same_length/2
save_program/1
Classsave program 22
scan_integer/3
scan_natural/3
scan_to_list/2
search_for/2
see/1
seeing/1
seen/
seen/0
select/3
selectchk/3
selectlist/3
selectlist/4
selectlist/5
serve_queue/3
set_alarm/3
set_base_module/1
set_error/1
set_input/1
set_output/1
set_prolog_flag/2
set_value/2
setarg/3
setenv/2
setof/3
setrand/1
Classsetup call cleanup 23
sh/
sh/0
shell/
shell/0
shell/1
shell/2
show_table/1
showprofres/
showprofres/0
showprofres/1
simple/1
singleton_vs_numbervars/3
skip/1
skip/2
skip_whitespace/2
socket/2
socket/4
socket_accept/2
socket_accept/3
socket_bind/2
socket_buffering/4
socket_close/1
socket_connect/3
socket_listen/2
socket_select/5
sort/2
source/
source/0
source_location/3
source_mode/2
source_module/1
splay_del/3
splay_init/1
splay_insert/4
splay_join/3
splay_split/5
split/2
split/3
split_quoted/5
split_unquoted/3
spy/1
stack_dump/
stack_dump/0
stack_dump/1
stash_predicate/1
static_array/3
static_array_location/2
static_array_properties/3
static_array_to_term/2
statistics/2
stream_position/2
stream_position/3
stream_position_data/3
stream_property/2
string_to_atom/2
string_to_atomic/2
sub_atom/5
sub_string/5
subsumes/2
subsumes_chk/2
subsumes_term/2
succ/2
suffix/2
sum_list/2
sum_list/3
sumlist/2
Classsumlist 24
sumnodes/4
system/
system/0
system/1
system/2
system_error/2
system_module/1
system_predicate/1
system_predicate/2
tab/1
tab/2
table/1
table_statistics/1
tabling_mode/2
tell/1
telling/1
term_attvars/2
term_expansion/2
term_factorized/3
term_hash/2
term_hash/4
term_subsumer/3
term_variables/2
term_variables/3
term_variables_difference/3
term_variables_union/3
Classthread at exit 21
Classthread create 21
Classthread create 22
Classthread create 23
thread_exit/1
thread_get_message/1
thread_get_message/2
thread_join/2
thread_local/1
thread_peek_message/1
thread_peek_message/2
thread_property/2
thread_self/1
thread_send_message/1
thread_send_message/2
thread_sleep/1
thread_statistics/3
throw/1
time/1
tmpdir/1
tmpnam/1
told/
told/0
top_sort/2
top_sort/3
trace/
trace/0
trace_goal/4
transitive_closure/2
translate_message/3
transpose/2
tree_size/2
tree_to_list/2
trie_check_entry/3
trie_close/1
trie_close_all/
trie_close_all/0
trie_get_entry/2
trie_load/2
trie_max_stats/4
trie_mode/1
trie_print/1
trie_put_entry/4
trie_remove_entry/1
trie_remove_subtree/1
trie_save/2
trie_stats/4
trie_usage/4
true/
true/0
ttyget0/1
ttyget/1
ttynl/
ttynl/0
ttyput/1
ttyskip/1
type_error/2
ugraph_to_dgraph/2
undgraph_add_edges/3
undgraph_add_vertices/3
undgraph_complement/2
undgraph_del_edges/3
undgraph_del_vertices/3
undgraph_edges/2
undgraph_neighbours/3
undgraph_new/1
undgraph_vertices/2
unhide_atom/1
unifiable/3
unify_with_occurs_check/2
unix/1
unknown/2
unnumbervars/1
unset_alarm/1
upcase_text_to_atom/2
upcase_text_to_chars/2
upcase_text_to_codes/2
upcase_text_to_string/2
update_array/3
update_mutable/2
use_module/1
use_module/2
use_module/3
user:/
var/1
var/2
variables_in_term/3
variables_within_term/3
variant/2
varnumbers/2
version/
version/0
version/1
vertices/2
vertices_edges_to_ugraph/3
virtual_alarm/3
wait/1
Classwhen 22
Classwith output to 22
with_output_to_chars/2
with_output_to_chars/3
with_output_to_chars/4
working_directory/2
write/2
write_canonical/1
write_canonical/2
write_depth/3
write_term/2
write_term/3
write_to_chars/2
write_to_chars/3
writeq/2
yap_flag/2
AliasDescS
AtomEntryStruct
AtomSwiEntry
BlackBoardEntry
CEXPENTRY
ClauseList
DB_STRUCT
DB_TERM
DdChildren
DdNode
ExpEntry
ExtraAtomEntryStruct
FEnv
FREEB
FlagEntry
ForeignLoadItem
FuncSwiEntry
FunctorEntryStruct
GroupDef
LogUpdDBEntry
MP_INT
MP_RAT
OPSTRUCT
PL_thread_attr_t
PSEUDO
PropEntryStruct
RB_red_blk_node
SWI_IO
StringListItem
StructClauseDef
TIMED_MAVAR
TOKEN
TextBuffer_manager
TypeSwitch
UT_array
UT_hash_bucket
UT_hash_handle
UT_hash_table
UT_icd
UnsafeEntry
VARSTRUCT
VENTRY
ValEntry
YAPEngineArgs
YAP_blob_prop_entry
YAP_delaymodule_t
YAP_dogoalinfo
YAP_opaque_handler_struct
YAP_thread_attr_struct
Ystack_t
_PL_blob_t
_PL_extension
__cp_frame
__dummy_lock_t
answer_trie_hash
answer_trie_node
arg_info
array_access_struct
array_entry
atom_blob
atom_hash_entry
att_rec
attvar_struct
branch_descriptor
bucket
buf_struct_t
buffer_ds
bventry
c_error_info
cclass
cell_space
choicept
clause_info_struct
cmp_op_info_struct
cname
collate_st_chain_pri
collate_st_char_pri
compiler_struct_struct
consumer_choicept
copy_frame
cp_frame
cset
cut_c_str
cwk_segment
cwk_segment_joined
db_entry
db_globs
db_trie_opt_level
dbterm_list
dependency_frame
dynamic_clause
enc_map
env_tmp
exo_udi_access_t
export_atom_hash_entry_struct
export_dbref_hash_entry_struct
export_functor_hash_entry_struct
export_pred_entry_hash_entry_struct
ext_op
flag_info
foreign_context
format_status
gap_t
gc_entry_info
gc_ma_hash_entry_struct
gc_mark_continuation
generator_choicept
global_data
global_entry
global_optyap_data
global_page_entry
global_pages
global_trie_hash
global_trie_node
halt_hook
hashtable_s
hold_entry
idb_queue
import_atom_hash_entry_struct
import_dbref_hash_entry_struct
import_functor_hash_entry_struct
import_opcode_hash_entry_struct
import_pred_entry_hash_entry_struct
index_t
init_const_eval
init_un_eval
intermediates
istack_entry
itrie_data
itrie_entry
jmp_buff_struct
live_term
loader_choicept
local_optyap_data
local_page_entry
logic_upd_clause
logic_upd_index
m
match
mblock
md5_state_s
mem_blk
mem_desc
Structmod entry
mutex_entry
open_query_struct
operator_entry
or_frame
parse
path_stack_entry
pred_entry
profile_data
qq_struct_t
query_goal_answer_frame
query_goal_solution_frame
queue_entry
re_guts
read_data_t
record_list
regex_t
regmatch_t
regstore_t
renv
rerr
rl_struct
rwlock_t
s_buffer
s_node
s_yap_error_descriptor
scanner_extra_alloc
scanner_extra_params
scratch_block_struct
scratch_buf_struct_t
scratch_user_buf_struct_t
si_callback_h
signame
spinlock_t
ssz_t
static_array_entry
static_clause
static_index
static_mega_clause
stream_desc
struct_dbentry
struct_param
struct_param2
subgoal_entry
subgoal_frame
subgoal_trie_hash
subgoal_trie_node
sus_record_struct
sus_tag_struct
swi_reverse_hash
table_entry
term_array
text_cvt
translation_entry
trie_data
trie_engine
trie_entry
trie_hash
trie_node
udi_control_block
udi_info
udi_p_args
unif_record
union_direct
union_slots
v_record
various_codes
vcell
vfs
vfs_stat
visited
visitel
vlist_struct_t
worker_local
write_globs
x_el
yami
yapSourceLocation
yap_back_data_type
yap_boot_params
yap_error_prolog_source
yap_io_position
yapchlookahead
CONSULT_OBJ
RL_Node
cell_size_t
clause_obj
clause_ptr
flagTerm
seq_val_t
statarray_elements
Files
Files
H/Atoms.h
AttributedVariables.md
C/absmi_insts.h
C/cp_absmi_insts.h
Foreign 8h
GitSHA1.c
include/GitSHA1.h
H/absmi_insts.h
H/cp_absmi_insts.h
INSTALL.md
LICENSE.md
README.md
H/Regs.h
include/SWI-Prolog.h
H/ScannerTypes.h
H/Tags_24bits.h
H/Tags_32LowTag.h
H/Tags_32Ops.h
H/Tags_32bits.h
H/Tags_64bits.h
H/TermExt.h
include/VFS.h
H/YapAppliedOpcodes.h
H/YapArenas.h
include/YapBlobs.h
H/YapCompile.h
H/YapCompoundTerm.h
include/YapDefs.h
include/YapEncoding.h
include/YapError.h
include/YapErrors.h
H/YapEval.h
H/YapFlags.h
include/YapFormat.h
H/YapGFlagInfo.h
H/YapHandles.h
H/YapHeap.h
include/YapInit.h
include/YapInterface.h
H/YapLFlagInfo.h
H/YapOpcodes.h
include/YapRegs.h
H/YapSignals.h
include/YapStreams.h
H/YapTags.h
include/YapTerm.h
H/YapText.h
include/YapUTF8.h
H/Yap.h
H/Yapproto.h
H/Yatom.h
C/absmi.c
H/absmi.h
C/adtdefs.c
C/agc.c
C/alloc.c
H/alloc.h
C/amasm.c
H/amidefs.h
H/amijit.h
H/amiops.h
C/analyst.c
Args 8c
C/arith0.c
C/arith1.c
C/arith2.c
H/arith2.h
C/arrays.c
H/arrays.h
C/atomic.c
C/attvar.c
H/attvar.h
library/tries/base_dbtries.c
library/tries/base_dbtries.h
library/tries/base_itries.c
library/tries/base_itries.h
library/tries/base_tries.c
library/tries/base_tries.h
C/bb.c
C/bignum.c
C/blobs.c
C/c_interface.c
include/c_interface.h
library/regex/cclass.h
C/cdmgr.c
H/clause.h
C/clause_list.c
include/clause_list.h
C/cmppreds.c
library/regex/cname.h
library/regex/collate.h
C/compiler.c
C/computils.c
console.c
C/consult.c
C/control_absmi_insts.h
C/copy.c
library/tries/core_dbtries.c
library/tries/core_dbtries.h
library/tries/core_tries.c
library/tries/core_tries.h
C/corout.c
H/corout.h
include/cuddSupport.h
include/cudd_config.h
C/cut_c.c
H/cut_c.h
CXX/cxx4yap.hh
C/dbase.c
C/dbload.c
C/debug.c
C/depth_bound.c
H/generated/dglobals.h
H/generated/dhstruct.h
dialect.yap
library/matrix
library/random
library/ytest
OPTYap
docs
build
library/tries
library/system/crypto
H/generated
library/system
library/rltree
library/regex
C
docs/md
include
H
CXX
C/dlmalloc.c
H/dlmalloc.h
include/dswiatoms.h
C/e.c
eam.yap
edio.yap
encoding.h
library/regex/engine.c
C/errors.c
C/eval.c
yap_mpi.c
C/exec.c
C/exo.c
C/exo_udi.c
expand_macros.yap
C/fail_absmi_insts.h
H/fields.h
files.c
H/findclause.h
C/flags.c
fli.md
C/fli_absmi_insts.h
fmem.c
fmemopen-android.c
format.c
format.h
gensym.yap
getw.h
C/globals.c
H/globals.h
C/gmp_support.c
C/gprof.c
H/gprof.h
C/grow.c
H/generated/h0globals.h
H/generated/h0struct.h
hash.c
hash.h
H/headclause.h
CXX/heap.cxx
H/heap.h
C/heapgc.c
H/heapgc.h
H/generated/hglobals.h
H/generated/hlocals.h
H/generated/hstruct.h
H/generated/i0globals.h
H/generated/iatoms.h
H/generated/iglobals.h
H/generated/ihstruct.h
H/generated/ilocals.h
C/index.c
H/index.h
C/index_absmi_insts.h
C/init.c
init.yap
H/inline-only.h
C/inlines.c
iopreds.c
iopreds.h
H/iswiatoms.h
library/tries/itries.c
listing.yap
library/ytest/preds.yap
C/load_aix.c
C/load_aout.c
C/load_coff.c
C/load_dl.c
C/load_dld.c
C/load_dll.c
C/load_dyld.c
load_files.md
C/load_foreign.c
load_foreign.yap
C/load_none.c
C/load_shl.c
H/locals.h
OPTYap/locks_alpha.h
OPTYap/locks_alpha_funcs.h
OPTYap/locks_mips.h
OPTYap/locks_mips_funcs.h
OPTYap/locks_pthread.h
OPTYap/locks_sparc.h
OPTYap/locks_x86.h
log2md.yap
C/lu_absmi_insts.h
C/masm.c
mat.yap
matlab.c
library/matrix/matrix.c
C/mavar.c
library/system/crypto/md5.c
library/system/crypto/md5.h
meta.yap
C/meta_absmi_insts.h
C/modules.c
modules.md
mpe.c
mpi.c
library/matrix/newm.c
H/nolocks.h
open_memstream.c
OPTYap/opt.config.h
OPTYap/opt.init.c
OPTYap/opt.macros.h
OPTYap/opt.mavar.h
OPTYap/opt.preds.c
OPTYap/opt.proto.h
OPTYap/opt.structs.h
OPTYap/or.copy_engine.c
OPTYap/or.cow_engine.c
OPTYap/or.cut.c
OPTYap/or.insts.h
OPTYap/or.macros.h
OPTYap/or.memory.c
OPTYap/or.sba_amiops.h
OPTYap/or.sba_engine.c
OPTYap/or.sba_unify.h
OPTYap/or.scheduler.c
OPTYap/or.structs.h
OPTYap/or.thread_engine.c
C/or_absmi_insts.h
C/other.c
packages.md
C/parser.c
pipes.c
include/pl-types.h
preddecls.yap
preddyns.yap
C/prim_absmi_insts.h
programming.md
prologterms2c.c
prologterms2c.h
protect.yap
H/qly.h
C/qlyr.c
C/qlyw.c
CXX/queue.cxx
random.c
C/range.c
library/rltree/range_list.c
library/rltree/range_list.h
H/generated/ratoms.h
H/rclause.h
readterm.c
readutil.c
C/realpath.c
library/regex/regcomp.c
library/regex/regerror.c
library/regex/regex2.h
library/regex/regexec.c
library/regex/regexp.c
library/regex/regfree.c
H/generated/rglobals.h
H/rheap.h
H/generated/rhstruct.h
H/generated/rlocals.h
rltree.yap
run.md
C/save.c
H/saveclause.h
C/scanner.c
sig.c
H/sig.h
C/signals.c
sockets.c
C/sort.c
H/sshift.h
C/stack.c
C/stackinfo.c
statistics.yap
C/stdpreds.c
stream.h
streams.c
swi.md
swi.yap
syntax.md
library/system/sys.c
library/system/sys_config.h
sysbits.c
sysbits.h
systest.yap
OPTYap/tab.completion.c
OPTYap/tab.insts.h
OPTYap/tab.macros.h
OPTYap/tab.rational.h
OPTYap/tab.structs.h
OPTYap/tab.tries.c
OPTYap/tab.tries.h
OPTYap/tab.tries.insts.h
H/generated/tatoms.h
C/term_visit.h
C/terms.c
H/terms.h
C/text.c
C/threads.c
H/threads.h
time.c
OPTYap/traced_or.insts.h
OPTYap/traced_tab.insts.h
OPTYap/traced_tab.tries.insts.h
C/tracer.c
H/tracer.h
library/tries/tries.c
H/trim_trail.h
C/type_absmi_insts.h
C/udi.c
include/udi.h
udi.yap
H/udi_private.h
C/unify.c
C/unify_absmi_insts.h
C/userpreds.c
H/utarray.h
H/uthash.h
C/utilpreds.c
library/regex/utils.h
H/walkclause.h
C/write.c
writeterm.c
C/yap-args.c
yap_mpi.c
library/random/yap_random.c
library/rltree/yap_rl.c
CXX/yapa.hh
CXX/yapdb.hh
CXX/yapi.cpp
CXX/yapi.hh
CXX/yapie.hh
yapio.h
CXX/yapq.hh
library/regex/yapregex.h
CXX/yapt.hh
H/yerror.h
ypsocks.c
ypstdio.c
ytest.yap
Modules
Modules
group Aliases
Arrays
Implementation Notes
Association Maps
Attributed Variables
Low-level support for Attributed
The Blackboard
Implementation of Blobs
YAP Core Built-ins
Counting Calls
ChYInterface
Character-Based Input/Output
Character Encoding and Manipulation.
predicate
Comparing_Terms
Compiled Form of Arithmetic Expressions in Prolog
Internal Clause Rewriting
Conditional Compilation
Creating and Destroying Prolog Threads
The Clausal Data Base
Implementation of the Debugger
group DebSet
Interacting with the debugger
Depth Limited Search
Dialects
group Directives
Extended Abstract Machine
The Abstract Machine Emulator
Error generating type-checking
Exception Descriptor Manipulation
File and Directory Operations
group Format
Formatted Output
Global Variables
Grammar Rules
Low-level access
Tries for ILP
Installing YAP
YAP Old Style Socket and Pipe Interface
Indexing
Input/Output Predicates
Internal Data Base
expressions
list predicates in a module
Access to Foreign Language Programs
Log Output of Tests in Markdown format.
Short-lived memory allocation
The Module System versus the meta-call.
Operators
Module Interface Predicates
Monitoring Threads
SWI Compatible attributes
group Operators
group PImport
Parallelism in YAP
Parser Implementation
Predicates on Atoms and Strings
Profiling Prolog Programs
Freeze System Configuration
Pseudo Random Number Integer Generator
Creating and Using a saved state
Accessing the arguments of a term
Rational Trees
SICStus Style attribute declarations
SICStus-style Constraints in C
SWI-style Constraints in C
C-support for saved states.
Scanner Implementation.
Using a scratch buffer
Collecting Solutions to a Goal
Signalling Threads
group Splay Trees
Stack Discipline Memory Allocation
System Status
group StreamM
Tabling
Copying Terms
Term Visit and Manipulation
Utilities On Terms
group TextSup
The Count Profiler
Thread communication
Thread Synchronisation
Threads
Threads and Dynamic Predicates
Tick Profiler
Top-Level and Boot Predicates
User Defined YapExtensions
Handling Undefined Procedures
group WriteTerm
Android Support
Named Arrays
Loading Large Tables
Directing and Configuring the Compiler
Prolog completer
Loading files into YAP
Control Predicates
Error Handling
Error Handling
Prolog Flags
C-code to handle Prolog flags.
Prolog Support
Predicates to access Prolog flags.
YAP Thread-shared or Global flags
Implementation Considerations
YAP Thread-local flags
Supporting features of the Prolog language.
YAP Library
Message Handling
predicate
Access to Operating System Functionality
Declaring Properties of Predicates
group YAPPredtypes
The Predicates that Read Source Files
Atom to Atomic Family of Built-ins.
group YAPStyleChecker
Term Manipulation
YAPTypes
Inlined Tests and Term Manipulation
YapError
Extensions to core Prolog
predicate
group YapOR
Yap PreProcessing
File Name Resolution
Apply Interface to maplist
Arithmetic in YAP
Arithmetic Comparison Predicates
Group arithmetic operators
Predicates that perform arithmetic
Implementing Attributed Variables and Co-Routining
SWI-Like autoloader
AVL Trees
Backtrackable Hash Tables
Block Diagram
Concurrent Alarms
Operations on Sequences of Codes.
Clause Manipulation
Group cleanup
Group coinduction
Non-backtrackable queues in YAP.
Memory Usage in Prolog Data-Base
Directed Graphs
Exo Intervals
Group flags
Generate a new symbol.
Heaps
MPI Interface
Library
Line Manipulation Utilities
List Predicates in the Prolog Library
Apply a predicate to all arguments of a term
Map List and Term Operations
MATLAB Package Interface
Non-Backtrackable Data Structures
Operating System Functionality
Ordered Sets
Automating test generation
Configuration of the Prolog file search path
Queues
Random Number Generator
Red-Black Trees
Reading Lines and Files
Regular Expressions
Rl
Range-List (RL) trees
SICStus style attribute declarations
group slotInterface
SICStus compatible socket library
Compatibility with other Prolog systems
Term Handles
Calls With Timeout
Updatable Binary Trees
Trie DataStructure
Unweighted Graphs
Undirected Graphs
Variabilize term.
Weighted Directed Graphs
Weighted Graphs
Weighted Undirected Graphs
Group yap cplus db interface
Error Handling in the YAP interface.
Prolog Atoms
An object oriented interface for YAP.
Query Handling in the YAP interface.
Term Handling in the YAP interface.
Namespaces
Namespaces
maplist
prolog
regexp
rltree
Pages
Pages
The YAP Module system
Programming in YAP
YAP Syntax
The Foreign Code Interface
Loading and Organising YAP Programs
INSTALL
AttributedVariables
swi
LICENSE
INSTALL
AttributedVariables
swi
LICENSE
YAP packages
Running YAP
Predicates
Predicates
Var/1
Yap_InitCPreds
+Tag/1
+< em >em, -< em >String)+Term,+Lines, -Lines0)+< em >Stream,+< em >Prefix__,+_Lines):print_message/2
=:=/1
=:=/2
:G, M,- NG)+G,+M,- NG)< em >T,-< em >X):message_hook/3
:G, M,- NG):goalexpansion/3
:goal_expansion/3
:message_hook/3
:unknown_predicate_handler/3
Class 9 20
abolish/1
abolish/2
abolish_module/1
abolish_table/1
abort/0
absolute_file_name/2
absolute_file_name/3
access_file/2
acyclic_term/1
add_edges/3
add_import_module/3
add_to_array_element/4
add_to_heap/4
add_to_path/1
add_to_path/2
add_vertices/3
alarm/3
all/3
always_prompt_user/0
append/1
append/2
append/3
arg0/3
arg/3
args0/3
args/3
array/2
array_element/3
assert/1
assert/2
Classassert static 21
asserta/1
asserta/2
Classasserta static 21
assertz/1
assertz/2
Classassertz static 21
assoc_to_list/2
at_end_of_line/0
at_end_of_line/1
at_end_of_stream/0
at_end_of_stream/1
atom/1
atom_chars/2
atom_codes/2
atom_concat/2
atom_length/2
atom_number/2
atom_string/1
atom_to_chars/2
atom_to_chars/3
atom_to_string/1
atomic/1
atomic_length/2
atomic_list_concat/2
atomic_list_concat/3
atomic_to_string/1
attr_unify_hook/2
attribute_goals/3
attvar/1
avl_insert/4
avl_lookup/3
avl_new/1
b_getval/2
b_hash_insert_new/4
b_hash_lookup/3
b_hash_new/1
b_hash_new/2
b_hash_new/4
b_hash_size/2
b_hash_to_list/2
b_hash_update/3
b_hash_update/4
b_key_to_list/2
bagof/3
bb_delete/2
bb_get/2
bb_put/2
bb_update/3
between/3
blank/2
block/1
break/0
call/1
call/4
Classcall cleanup 22
call_count/3
call_count_data/3
call_count_reset/0
call_in_module/1
Classcall residue 22
Classcall residue vars 22
call_shared_object_function/2
call_with_args/4
callable/1
Classcatch 23
cd/0
cd/1
char_code/2
char_type/2
checklist/2
checknodes/2
clause/1
clause/2
clause/3
cleanup_all/0
close/1
close/2
close_matlab/0
close_shared_object/1
close_static_array/1
commons_directory/1
compare/3
compile/1
compile_expressions/0
Classcompile predicates 21
complement/2
completer/2
compose/3
compound/1
consult/1
Classconvlist 23
Classconvlist 24
copy_file/2
copy_line/2
copy_term/2
copy_term/3
copy_term_nat/2
create_array/2
create_mutable/2
create_prolog_flag/3
current_atom/1
current_char_conversion/2
current_choice_point/1
current_error/1
current_host/1
current_input/1
current_key/2
current_line_number/1
current_line_number/2
current_module/1
Classcurrent module 22
current_mutex/3
current_op/3
current_output/1
current_predicate/1
current_predicate/2
current_prolog_flag/2
current_prolog_flag/3
current_stack/1
current_stream/3
current_thread/2
cyclic_term/1
datime/6
db_dynamic/0
db_dynamic/1
db_reference/1
db_static/0
db_static/1
db_usage/0
debug/0
del_assoc/4
del_attr/2
del_attrs/1
del_edges/3
del_max_assoc/4
del_min_assoc/4
del_vertices/3
delete/3
delete_file/2
delete_import_module/2
dgraph_add_edge/4
dgraph_add_edges/3
dgraph_add_vertex/3
dgraph_add_vertices/3
dgraph_complement/2
dgraph_del_edge/4
dgraph_del_edges/3
dgraph_del_vertex/3
dgraph_del_vertices/3
dgraph_edge/3
dgraph_edges/2
dgraph_isomorphic/4
dgraph_leaves/2
dgraph_max_path/5
dgraph_min_path/5
dgraph_min_paths/3
dgraph_neighbors/3
dgraph_neighbours/3
dgraph_new/1
dgraph_path/3
dgraph_path/4
dgraph_reachable/3
dgraph_symmetric_closure/2
dgraph_to_ugraph/2
dgraph_top_sort/2
dgraph_top_sort/3
dgraph_transitive_closure/2
dgraph_transpose/2
dgraph_vertices/2
dif/2
directory_files/2
directory_map/2
discontiguous/1
display/1
display/2
do_not_compile_expressions/0
domain_error/3
downcase_text_to_atom/2
downcase_text_to_chars/2
downcase_text_to_codes/2
downcase_text_to_string/2
duplicate_term/2
dynamic/1
dynamic_predicate/2
edges/2
elif/1
else/0
empty_assoc/1
empty_heap/1
empty_queue/1
endif/0
ensure_loaded/1
ensure_prompting/0
environ/2
erase/1
eraseall/1
erased/1
exception/3
exclude/3
exec/3
existence_error/2
exists/1
expand_exprs/2
expand_term/2
fail/0
false/0
fields/2
fields/3
file_exists/1
file_filter/3
file_filter_with_initialization/5
file_filter_with_start_end/5
file_name_extension/3
file_search_path/2
file_select/2
fileerrors/0
filter/3
findall/3
findall/4
flags_type_definition/3
flatten/2
float/1
flush_output/0
flush_output/1
Classfoldl2 26
foldl2/7
Classfoldl2 28
Classfoldl3 29
Classfoldl4 211
Classfoldl 25
foldl/6
Classforall 22
foreign_directory/1
format/1
format/2
format_to_chars/3
format_to_chars/4
Classfreeze 22
frozen/2
functor/3
garbage_collect_atoms/0
gc/0
gen_assoc/3
genarg0/3
genarg/3
get/1
get/2
get_assoc/3
get_assoc/5
get_attr/3
get_attrs/2
get_byte/1
get_byte/2
get_char/1
get_char/2
get_code/1
get_code/2
get_label/3
get_mutable/2
get_next_assoc/4
get_prev_assoc/4
get_time/1
get_value/2
getcwd/1
getrand/1
glue/3
ground/1
grow_heap/1
grow_stack/1
halt/0
halt/1
has_type/2
head_queue/2
heap_size/2
heap_to_list/2
hidden_atom/1
hide_atom/1
hide_predicate/1
host_id/1
host_name/1
hostname_address/2
identical_member/2
Classif 21
if/3
Classignore 21
import_module/2
include/1
include/3
incore/1
initialization/0
initialization/1
initialization/2
instance/2
instantiation_error/1
integer/1
integer/3
intersection/3
is/2
is_assoc/1
is_b_hash/1
is_callable/1
is_list/1
is_mutable/1
is_nonvar/1
is_of_type/2
is_tabled/1
isinf/1
isnan/1
join_queue/3
jump_queue/3
key_statistics/3
key_statistics/4
keysort/2
kill/2
last/2
leash/1
length/2
length_queue/2
library_directory/1
list_concat/2
list_directory/2
list_join_queue/3
list_jump_queue/3
list_to_assoc/2
list_to_heap/2
list_to_ord_set/2
list_to_queue/2
list_to_tree/2
listing/0
listing/1
listing/2
load_absolute_foreign_files/3
load_db/1
load_files/2
load_foreign_files/3
load_mega_clause/1
log_goal/2
log_section/1
log_title/1
log_unit/2
logsum/3
ls/0
make/0
make_diagram/2
make_diagram/5
make_directory/1
make_queue/1
map_assoc/2
map_assoc/3
map_tree/3
Classmaplist 22
maplist/3
maplist/4
Classmaplist 25
Classmaplist 26
mapnodes/3
matlab_cells/2
matlab_cells/3
matlab_eval_string/1
matlab_eval_string/2
matlab_get_variable/2
matlab_initialized_cells/4
matlab_item1/3
matlab_item1/4
matlab_item/3
matlab_item/4
matlab_matrix/4
matlab_on/0
matlab_sequence/3
matlab_set/4
matlab_vector/3
matlab_zeros/2
matlab_zeros/3
matlab_zeros/4
matrix_agg_cols/3
matrix_agg_lines/3
matrix_arg_to_offset/3
matrix_column/3
matrix_copy/2
matrix_dec/3
matrix_get/3
matrix_new/3
matrix_new/4
matrix_new_set/4
matrix_offset_to_arg/3
matrix_op/4
matrix_op_to_all/4
matrix_op_to_cols/4
matrix_op_to_lines/4
matrix_select/4
matrix_shuffle/2
matrix_shuffle/3
matrix_size/2
matrix_sum/2
matrix_to_list/2
matrix_transpose/2
matrix_type/2
max/1
max/2
max_assoc/3
max_list/2
may_bind_to_type/2
member/2
memberchk/2
message_queue_create/1
message_queue_destroy/1
message_to_string/2
meta_predicate/3
min/1
min/2
min_assoc/3
min_list/2
min_of_heap/3
mktemp/2
mktime/2
mmapped_array/4
module/1
module/2
module_property/2
module_transparent/1
mpi_barrier/0
mpi_bcast2/2
mpi_comm_rank/1
mpi_comm_size/1
mpi_finalize/0
mpi_gc/0
mpi_init/0
mpi_irecv/3
mpi_isend/4
mpi_msg_size/2
mpi_recv/3
mpi_send/3
mpi_test/2
mpi_test_recv/3
mpi_version/2
mpi_wait/2
mpi_wait_recv/3
multifile/1
must_be_bound/1
must_be_callable/1
must_be_ground/1
must_be_of_type/2
must_be_predicate_indicator/4
mutex_create/1
mutex_unlock_all/0
name/2
natural/3
nb_beam/2
nb_beam_add/3
nb_beam_close/1
nb_beam_del/3
nb_beam_empty/1
nb_beam_peek/3
nb_beam_size/2
nb_current/2
nb_delete/1
nb_getval/2
nb_heap/2
nb_heap_add/3
nb_heap_close/1
nb_heap_del/3
nb_heap_empty/1
nb_heap_peek/3
nb_heap_size/2
nb_linkarg/3
nb_linkval/2
nb_queue/1
nb_queue_close/3
nb_queue_dequeue/2
nb_queue_empty/1
nb_queue_enqueue/2
nb_queue_peek/2
nb_queue_size/2
nb_set_shared_arg/3
nb_set_shared_val/2
nb_setarg/3
nb_setval/2
neighbors/3
neighbours/3
new_variables_in_term/3
nl/0
nl/1
no_source/0
no_style_check/1
nofileerrors/0
nogc/0
non_ground/2
nonvar/1
nospy/1
nospyall/0
notrace/0
nth0/3
nth0/4
nth1/3
nth1/4
nth/3
nth/4
nth_clause/3
nth_instance/3
nth_instance/4
number/1
number_atom/2
number_chars/2
number_codes/2
number_string/2
number_to_chars/2
number_to_chars/3
numbervars/3
numlist/3
Classoldl 25
on_cleanup/1
on_signal/3
once/1
op
op/3
open/3
open/4
open_chars_stream/2
open_pipe_streams/2
open_shared_object/2
open_shared_object/3
ord_add_element/3
ord_del_element/3
ord_disjoint/2
ord_insert/3
ord_intersect/2
ord_intersection/3
ord_intersection/4
ord_list_to_assoc/2
ord_member/2
ord_seteq/2
ord_setproduct/3
ord_subset/2
ord_subtract/3
ord_symdiff/3
ord_union/2
ord_union/3
ord_union/4
otherwise/0
out/2
partition/4
partition/5
path/1
path_arg/3
peek/1
peek/2
peek_byte/1
peek_byte/2
peek_char/1
peek_char/2
peek_code/1
peek_code/2
permission_error/3
permutation/2
phrase/2
phrase/3
pid/1
plus/3
popen/3
portray_clause/1
portray_clause/2
predicate_erased_statistics/4
predicate_property/2
predicate_statistics/4
predsort/3
primitive/1
print/2
print_message_lines/3
process/2
profile_data/3
prolog_file_name/2
prolog_file_type/2
prolog_flag/3
prolog_flag_property/2
prolog_initialization/1
prolog_load_context/2
prolog_to_os_filename/2
prompt1/1
prompt/2
public/1
put_assoc/4
put_attr/3
put_attrs/2
put_byte/1
put_byte/2
put_char/1
put_char/2
put_code/1
put_code/2
put_label/4
putenv/2
pwd/0
qend_program/0
qload_file/1
qload_module/1
Classqsave file 22
qsave_module/1
qsave_module/2
qsave_program/2
queue_to_list/2
raakau/3
random/1
random/3
randseq/3
randset/3
Classrannum 21
ranstart/0
ranstart/1
ranunif/2
rational/1
rational_term_to_forest/4
rational_term_to_tree/4
rb_apply/4
rb_clone/3
rb_del_max/4
rb_del_min/4
rb_delete/3
rb_delete/4
rb_empty/1
rb_fold/4
rb_insert/4
rb_key_fold/4
rb_keys/2
rb_lookup/3
rb_lookupall/3
rb_map/3
rb_max/3
rb_min/3
rb_new/1
rb_next/4
rb_partial_map/4
rb_previous/4
rb_rewrite/3
rb_rewrite/4
rb_size/2
rb_update/4
rb_update/5
rb_visit/2
reachable/3
read/1
read/2
read_clause/3
read_from_chars/2
read_line_to_string/2
read_link/3
read_stream_to_codes/3
read_stream_to_terms/3
read_term_from_atom/3
read_term_from_atomic/3
read_term_from_string/3
reconsult/1
recorda/3
recorda_at/3
recordaifnot/3
recorded/3
recordz/3
recordz_at/3
recordzifnot/3
reexport/1
reexport/2
regexp/3
regexp/4
remove_duplicates/2
remove_from_path/1
rename/2
repeat/0
representation_error/1
reset_static_array/1
restore/1
retract/1
retract/2
retractall/1
reverse/2
rl_copy/2
rl_free/1
rl_freeze/1
rl_in/2
rl_new/1
rl_new/2
rl_print/1
rl_set_all/2
rl_set_all_in/1
rl_set_in/2
rl_set_out/2
rl_size/2
same_length/2
save_program/1
Classsave program 22
scan_integer/3
scan_natural/3
scan_to_list/2
search_for/2
see/1
seeing/1
seen/0
select/3
selectchk/3
selectlist/3
selectlist/4
selectlist/5
serve_queue/3
set_alarm/3
set_base_module/1
set_error/1
set_input/1
set_output/1
set_prolog_flag/2
set_value/2
setarg/3
setenv/2
setof/3
setrand/1
Classsetup call cleanup 23
sh/0
shell/0
shell/1
shell/2
show_table/1
showprofres/0
showprofres/1
simple/1
singleton_vs_numbervars/3
skip/1
skip/2
skip_whitespace/2
socket/2
socket/4
socket_accept/2
socket_accept/3
socket_bind/2
socket_buffering/4
socket_close/1
socket_connect/3
socket_listen/2
socket_select/5
sort/2
source/0
source_location/3
source_mode/2
source_module/1
splay_del/3
splay_init/1
splay_insert/4
splay_join/3
splay_split/5
split/2
split/3
split_quoted/5
split_unquoted/3
spy/1
stack_dump/0
stack_dump/1
stash_predicate/1
static_array/3
static_array_location/2
static_array_properties/3
static_array_to_term/2
statistics/2
stream_position/2
stream_position/3
stream_position_data/3
stream_property/2
string_to_atom/2
string_to_atomic/2
sub_atom/5
sub_string/5
subsumes/2
subsumes_chk/2
subsumes_term/2
succ/2
suffix/2
sum_list/2
sum_list/3
sumlist/2
Classsumlist 24
sumnodes/4
system/0
system/1
system/2
system_error/2
system_module/1
system_predicate/1
system_predicate/2
tab/1
tab/2
table/1
table_statistics/1
tabling_mode/2
tell/1
telling/1
term_attvars/2
term_expansion/2
term_factorized/3
term_hash/2
term_hash/4
term_subsumer/3
term_variables/2
term_variables/3
term_variables_difference/3
term_variables_union/3
Classthread at exit 21
Classthread create 21
Classthread create 22
Classthread create 23
thread_exit/1
thread_get_message/1
thread_get_message/2
thread_join/2
thread_local/1
thread_peek_message/1
thread_peek_message/2
thread_property/2
thread_self/1
thread_send_message/1
thread_send_message/2
thread_sleep/1
thread_statistics/3
throw/1
time/1
tmpdir/1
tmpnam/1
told/0
top_sort/2
top_sort/3
trace/0
trace_goal/4
transitive_closure/2
translate_message/3
transpose/2
tree_size/2
tree_to_list/2
trie_check_entry/3
trie_close/1
trie_close_all/0
trie_get_entry/2
trie_load/2
trie_max_stats/4
trie_mode/1
trie_print/1
trie_put_entry/4
trie_remove_entry/1
trie_remove_subtree/1
trie_save/2
trie_stats/4
trie_usage/4
true/0
ttyget0/1
ttyget/1
ttynl/0
ttyput/1
ttyskip/1
type_error/2
ugraph_to_dgraph/2
undgraph_add_edges/3
undgraph_add_vertices/3
undgraph_complement/2
undgraph_del_edges/3
undgraph_del_vertices/3
undgraph_edges/2
undgraph_neighbours/3
undgraph_new/1
undgraph_vertices/2
unhide_atom/1
unifiable/3
unify_with_occurs_check/2
unix/1
unknown/2
unnumbervars/1
unset_alarm/1
upcase_text_to_atom/2
upcase_text_to_chars/2
upcase_text_to_codes/2
upcase_text_to_string/2
update_array/3
update_mutable/2
use_module/1
use_module/2
use_module/3
var/1
var/2
variables_in_term/3
variables_within_term/3
variant/2
varnumbers/2
version/0
version/1
vertices/2
vertices_edges_to_ugraph/3
virtual_alarm/3
wait/1
Classwhen 22
Classwith output to 22
with_output_to_chars/2
with_output_to_chars/3
with_output_to_chars/4
working_directory/2
write/2
write_canonical/1
write_canonical/2
write_depth/3
write_term/2
write_term/3
write_to_chars/2
write_to_chars/3
writeq/2
yap_flag/2
Examples
¶
Updated on 12 May 2022 at 22:48:35 WEST