C Functions, C++ Classes¶

predicate !/0
!
predicate +em, -String)+Term,+Lines, -Lines0)+Stream,+Prefix__,+_Lines):print_message/2
print_message(+ Severity, +Term)
predicate +Tag/1
+Tag
predicate :G, M,- NG)+G,+M,- NG)T,-X):message_hook/3
message_hook(+ Term, + Kind, + Lines)
predicate :G, M,- NG):goalexpansion/3
goalexpansion(+ G,+ M,- NG)
predicate :goal_expansion/3
goal_expansion( :G,+ M,- NG)
predicate :message_hook/3
message_hook(+ Term, + Kind, + Lines)
predicate :unknown_predicate_handler/3
unknown_predicate_handler(+ Call, + M, - N)
predicate =:=/1
predicate =:=/2
struct AliasDescS
struct AtomEntryStruct
struct AtomSwiEntry
struct BlackBoardEntry
struct CEXPENTRY
union CONSULT_OBJ
struct ClauseList
struct DB_STRUCT
struct DB_TERM
struct DdChildren
The two children of a non-terminal node.
struct DdNode
Decision diagram node.
struct ExpEntry
struct ExtraAtomEntryStruct
struct FEnv
struct FREEB
struct FlagEntry
struct ForeignLoadItem
struct FuncSwiEntry
struct FunctorEntryStruct
struct GroupDef
struct LogUpdDBEntry
struct MP_INT
struct MP_RAT
class MyVector
struct OPSTRUCT
struct PL_thread_attr_t
struct PSEUDO
struct PropEntryStruct
struct RB_red_blk_node
union RL_Node
struct SWI_IO
struct StringListItem
struct StructClauseDef
class T
If you like being short, use T instead of YapTerm.
struct TIMED_MAVAR
struct TOKEN
struct TextBuffer_manager
struct TypeSwitch
struct UT_array
struct UT_hash_bucket
struct UT_hash_handle
struct UT_hash_table
struct UT_icd
struct UnsafeEntry
struct VARSTRUCT
struct VENTRY
struct ValEntry
predicate Var/1
Var
class YAPApplTerm
Compound Term.
class YAPAtom
Atom A YAP data-base is a collection of atoms, where each atom has a name and a set of Properties.
class YAPAtomTerm
Atom Term Term Representation of an Atom.
class YAPCallback
This class implements a callback Prolog-side.
class YAPConjunctiveTerm
class YAPEngine
YAP Engine: takes care of the execution environment where we can go executing goals.
struct YAPEngineArgs
Setup all arguments to a new engine.
class YAPError
take information on a Prolog error:
class YAPErrorTerm
Prolog container for error descriptors.
class YAPFLIP
PrologPredicate.
class YAPFloatTerm
Floating Point Term.
class YAPFunctor
YAPFunctor represents Prolog functors Name/Arity.
class YAPIntegerTerm
Integer Term.
class YAPListTerm
class YAPModule
YAPModule A YAPModule describes a bare module, which in YAP is just a name.
class YAPModuleProp
YAPModuleProp A YAPModuleProp controls access to a module property.
class YAPNumberTerm
Number Term.
class YAPPairTerm
List Constructor Term.
class YAPPredicate
Predicates.
class YAPPrologPredicate
PrologPredicate.
class YAPProp
Prop A YAP Propery is ameta-class for everything one can in a atom.
class YAPQuery
Queries and engines.
class YAPStringTerm
String Term.
class YAPTerm
Generic Prolog Term.
class YAPVarTerm
Variable Term.
struct YAP_blob_prop_entry
struct YAP_delaymodule_t
struct YAP_dogoalinfo
struct YAP_opaque_handler_struct
opaque variables can interact with the system
struct YAP_thread_attr_struct
predicate Yap_InitCPreds
struct Ystack_t
struct _PL_blob_t
struct _PL_extension
struct __cp_frame
struct __dummy_lock_t
predicate abolish/1
abolish(+ PredSpec)
predicate abolish/2
abolish(+ P,+ N)
predicate abolish_module/1
abolish_module( + Mod)
predicate abolish_table/1
YapTab extends the Yap Prolog engine to support sequential tabling.
predicate abort/0
abort
predicate absolute_file_name/2
absolute_file_name(+Name:atom,+Path:atom)
predicate absolute_file_name/3
absolute_file_name( -File:atom, +Path:atom, +Options:list)
predicate access_file/2
access_file(+F , +G)
predicate acyclic_term/1
predicate add_edges/3
add_edges(+ Graph, + Edges, - NewGraph)
predicate add_import_module/3
add_import_module( + Module, + ImportModule , +Pos)
predicate add_to_array_element/4
add_to_array_element(+ Name, + Index, + Number, ? NewValue)
predicate add_to_heap/4
add_to_heap(OldHeap, Key, Datum, NewHeap)
predicate add_to_path/1
add_to_path(+Directory:atom)
predicate add_to_path/2
add_to_path(+Directory:atom, +Position:atom)
predicate add_vertices/3
add_vertices(+ Graph, + Vertices, - NewGraph)
predicate alarm/3
alarm(+ Seconds,+ Callable,+ OldAlarm)
predicate all/3
all( T,+ G,- L)
predicate always_prompt_user/0
always_prompt_user
struct answer_trie_hash
struct answer_trie_node
predicate append/1
append(+ S)
predicate append/2
append(? Lists,? Combined)
predicate append/3
append(? List1,? List2,? List3)
predicate arg/3
arg(+ N,+ T, A)
predicate arg0/3
arg0( +Index, +Term , -Arg )
struct arg_info
predicate args/3
args( +Index, +ListOfTerms , -ListOfArgs )
predicate args0/3
args0( +Index, +ListOfTerms , -ListOfArgs )
predicate array/2
array( +Name, +Size )
struct array_access_struct
predicate array_element/3
array_element(+ Name, + Index, ? Element)
struct array_entry
predicate assert/1
assert(+ C)
predicate assert/2
assert(+ C,- R)
predicate assert_static/1
assert_static(: C)
predicate asserta/1
asserta(+ C)
predicate asserta/2
asserta(+ C,- R)
predicate asserta_static/1
asserta_static(: C)
predicate assertz/1
assertz(+ C)
predicate assertz/2
assertz(+ C,- R)
predicate assertz_static/1
assertz_static(: C)
predicate assoc_to_list/2
assoc_to_list(+ Assoc,? List)
predicate at_end_of_line/0
at_end_of_line
predicate at_end_of_line/1
at_end_of_line( +Stream )
predicate at_end_of_stream/0
at_end_of_stream
predicate at_end_of_stream/1
at_end_of_stream(+ S)
predicate atom/1
atom( T)
struct atom_blob
predicate atom_chars/2
atom_chars(? A,? L)
predicate atom_codes/2
atom_codes(?Atom, ?Codes)
predicate atom_concat/2
atom_concat(+ As, ? A)
struct atom_hash_entry
predicate atom_length/2
atom_length(+ A,? I)
predicate atom_number/2
atom_number(? Atom,? Number)
predicate atom_string/1
atom_string(?Atom.?String)
predicate atom_to_chars/2
atom_to_chars(+ Atom, - Result)
predicate atom_to_chars/3
atom_to_chars(+ Atom, - Result0, - Result)
predicate atom_to_string/1
atom_to_string(?Atom.?String)
predicate atomic/1
atomic(T)
predicate atomic_length/2
atomic_length(+ A,? I)
predicate atomic_list_concat/2
atomic_list_concat(+ As,? A)
predicate atomic_list_concat/3
atomic_list_concat(? As,+ Separator,? A)
predicate atomic_to_string/1
atomic_to_string(?Atomic.?String)
struct att_rec
routine to locate attributed variables
predicate attr_unify_hook/2
attr_unify_hook(+ AttValue,+ VarValue)
predicate attribute_goals/3
attribute_goals(+ Var,- Gs,+ GsRest)
predicate attvar/1
attvar( -Var)
struct attvar_struct
Attributed variales are controlled by the attvar_record.
predicate avl_insert/4
avl_insert(+ Key,? Value,+ T0,- TF)
predicate avl_lookup/3
avl_lookup(+ Key,- Value,+ T)
predicate avl_new/1
avl_new(+ T)
predicate b_getval/2
b_getval(+ Name, - Value)
predicate b_hash_insert_new/4
b_hash_insert_new(+Hash, +Key, Val, +NewHash )
predicate b_hash_lookup/3
b_hash_lookup( +Key, ?Val, +Hash )
predicate b_hash_new/1
b_hash_new( -NewHash )
predicate b_hash_new/2
b_hash_new( -NewHash, +Size )
predicate b_hash_new/4
b_hash_new( -NewHash, +Size, :Hash, :Cmp )
predicate b_hash_size/2
b_hash_size( +Hash, -Size )
predicate b_hash_to_list/2
b_hash_to_list(+Hash, -KeyValList )
predicate b_hash_update/3
b_hash_update( +Key, +Hash, +NewVal )
predicate b_hash_update/4
b_hash_update( +Key, -OldVal, +Hash, +NewVal )
predicate b_key_to_list/2
b_key_to_list(+Hash, -KeyList )
predicate bagof/3
bagof( T,+ G,- L)
predicate bb_delete/2
bb_delete(+ Key,? Term)
predicate bb_get/2
bb_get(+ Key,? Term)
predicate bb_put/2
bb_put(+ Key,? Term)
predicate bb_update/3
bb_update( +Key, ?Term, ?New)
predicate between/3
between(+ Low:int, + High:int, ? Value:int)
predicate blank/2
blank(+ Line,+ RestOfLine)
predicate block/1
block(C)
struct branch_descriptor
predicate break/0
break
struct bucket
struct buf_struct_t
struct buffer_ds
struct bventry
struct c_error_info
predicate call/1
call( 0:P )
predicate call/4
call(+ Closure,...,? Ai,...)
predicate call_cleanup/2
call_cleanup(: Goal, : CleanUpGoal)
predicate call_count/3
call_count(? CallsMax, ? RetriesMax, ? CallsAndRetriesMax)
predicate call_count_data/3
call_count_data(- Calls, - Retries, - CallsAndRetries)
predicate call_count_reset/0
call_count_reset
predicate call_in_module/1
call_in_module( +M:G )
predicate call_residue/2
call_residue(: G, L)
predicate call_residue_vars/2
call_residue_vars(: G, L)
predicate call_shared_object_function/2
call_shared_object_function(+ Handle, + Function)
predicate call_with_args/4
call_with_args(+ Name,...,? Ai,...)
predicate callable/1
callable( ?Goal )
predicate catch/3
catch( : Goal,+ Exception,+ Action)
struct cclass
predicate cd/0
cd
predicate cd/1
cd(+ D)
union cell_size_t
struct cell_space
A cell_space is a short code region, where we want bindings to proceed locally.
predicate char_code/2
char_code(? A,? I)
predicate char_type/2
char_type(?Char , ?Type)
predicate checklist/2
checklist( 1:Pred, + List)
predicate checknodes/2
checknodes(+ Pred, + Term)
struct choicept
predicate clause/1
clause( +Term )
predicate clause/2
clause(+ H, B)
predicate clause/3
clause(+ H, B,- R)
struct clause_info_struct
union clause_obj
union clause_ptr
predicate cleanup_all/0
cleanup_all
predicate close/1
close(+ S)
predicate close/2
close(+ S,+ O)
predicate close_matlab/0
close_matlab
predicate close_shared_object/1
predicate close_static_array/1
close_static_array(+ Name)
struct cmp_op_info_struct
struct cname
struct collate_st_chain_pri
struct collate_st_char_pri
predicate commons_directory/1
commons_directory(? Directory:atom)
predicate compare/3
predicate compile/1
compile(+ F )
predicate compile_expressions/0
compile_expressions
predicate compile_predicates/1
compile_predicates(: ListOfNameArity)
struct compiler_struct_struct
predicate complement/2
complement(+ Graph, - NewGraph)
predicate completer/2
completer( Sentence, Completions )
predicate compose/3
compose(+ LeftGraph, + RightGraph, - NewGraph)
predicate compound/1
compound( T)
predicate consult/1
consult(+ F)
struct consumer_choicept
predicate convlist/3
convlist(: Pred, + ListIn, ? ListOut)
predicate convlist/4
convlist(: Pred, ? ListIn, ?ExtraList, ? ListOut)
predicate copy_file/2
copy_file(+ OldFile,+ New)
struct copy_frame
predicate copy_line/2
copy_line(+ StreamInput,+ StreamOutput)
predicate copy_term/2
copy_term(? TI,- TF)
predicate copy_term/3
copy_term(? TI,- TF,- Goals)
predicate copy_term_nat/2
copy_term_nat(? TI,- TF)
struct cp_frame
predicate create_array/2
create_array(?Name, + Size)
predicate create_mutable/2
create_mutable(+ D,- M)
predicate create_prolog_flag/3
create_prolog_flag( +Flag, +Value, +Options)
struct cset
predicate current_atom/1
current_atom( A)
predicate current_char_conversion/2
current_char_conversion(? IN,? OUT)
predicate current_choice_point/1
current_choice_point( -CP )
predicate current_error/1
current_error(- S)
predicate current_host/1
current_host(? HOSTNAME)
predicate current_input/1
current_input(+ S)
predicate current_key/2
current_key(? A,? K)
predicate current_line_number/1
current_line_number(- LineNumber)
predicate current_line_number/2
current_line_number(+ Stream,- LineNumber)
predicate current_module/1
current_module( ? Mod:atom)
predicate current_module/2
current_module( ? Mod:atom, ? F : file )
predicate current_mutex/3
current_mutex(? MutexId, ? ThreadId, ? Count)
predicate current_op/3
current_op( P, T, F)
predicate current_output/1
current_output(+ S)
predicate current_predicate/1
current_predicate( F )
predicate current_predicate/2
current_predicate( A, P)
predicate current_prolog_flag/2
current_prolog_flag(? Flag,- Value)
predicate current_prolog_flag/3
current_prolog_flag(? Flag,- Value, +New)
predicate current_stack/1
current_stack( +Depth )
predicate current_stream/3
current_stream( F, M, S)
predicate current_thread/2
current_thread(+ Id, - Status)
struct cut_c_str
struct cwk_segment
A segment represents a single component of a path.
struct cwk_segment_joined
A joined path represents multiple path strings which are concatenated, but not (necessarily) stored in contiguous memory.
predicate cyclic_term/1
cyclic_term( + T )
predicate datime/6
datime(datime(- Year, - Month, - DayOfTheMonth, - Hour, - Minute, - Second)
predicate db_dynamic/0
db_dynamic
predicate db_dynamic/1
db_dynamic(+ Threshold)
struct db_entry
struct db_globs
predicate db_reference/1
db_reference( T)
predicate db_static/0
db_static
predicate db_static/1
db_static(+ Threshold)
struct db_trie_opt_level
predicate db_usage/0
db_usage
struct dbterm_list
predicate debug/0
debug
predicate del_assoc/4
del_assoc(+ Key, + Assoc, ? Val, ? NewAssoc)
predicate del_attr/2
del_attr(+ Var,+ Module)
predicate del_attrs/1
del_attrs(+ Var)
predicate del_edges/3
del_edges(+ Graph, + Edges, - NewGraph)
predicate del_max_assoc/4
del_max_assoc(+ Assoc, ? Key, ? Val, ? NewAssoc)
predicate del_min_assoc/4
del_min_assoc(+ Assoc, ? Key, ? Val, ? NewAssoc)
predicate del_vertices/3
del_vertices(+ Graph, + Vertices, - NewGraph)
predicate delete/3
delete(+ List, ? Element, ? Residue)
predicate delete_file/2
delete_file(+ File,+ Opts)
predicate delete_import_module/2
delete_import_module( + ExportModule, + ImportModule )
struct dependency_frame
predicate dgraph_add_edge/4
dgraph_add_edge(+ Graph, + N1, + N2, - NewGraph)
predicate dgraph_add_edges/3
dgraph_add_edges(+ Graph, + Edges, - NewGraph)
predicate dgraph_add_vertex/3
dgraph_add_vertex(+ Graph, + Vertex, - NewGraph)
predicate dgraph_add_vertices/3
dgraph_add_vertices(+ Graph, + Vertices, - NewGraph)
predicate dgraph_complement/2
dgraph_complement(+ Graph, - NewGraph)
predicate dgraph_del_edge/4
dgraph_del_edge(+ Graph, + N1, + N2, - NewGraph)
predicate dgraph_del_edges/3
dgraph_del_edges(+ Graph, + Edges, - NewGraph)
predicate dgraph_del_vertex/3
dgraph_del_vertex(+ Graph, + Vertex, - NewGraph)
predicate dgraph_del_vertices/3
dgraph_del_vertices(+ Graph, + Vertices, - NewGraph)
predicate dgraph_edge/3
dgraph_edge(+ N1, + N2, + Graph)
predicate dgraph_edges/2
dgraph_edges(+ Graph, - Edges)
predicate dgraph_isomorphic/4
dgraph_isomorphic(+ Vs, + NewVs, + G0, - GF)
predicate dgraph_leaves/2
dgraph_leaves(+ Graph, ? Vertices)
predicate dgraph_max_path/5
dgraph_max_path(+ V1, + V1, + Graph, - Path, ? Costt)
predicate dgraph_min_path/5
dgraph_min_path(+ V1, + V1, + Graph, - Path, ? Costt)
predicate dgraph_min_paths/3
dgraph_min_paths(+ V1, + Graph, - Paths)
predicate dgraph_neighbors/3
dgraph_neighbors(+ Vertex, + Graph, - Vertices)
predicate dgraph_neighbours/3
dgraph_neighbours(+ Vertex, + Graph, - Vertices)
predicate dgraph_new/1
dgraph_new(+ Graph)
predicate dgraph_path/3
dgraph_path(+ Vertex, + Graph, ? Path)
predicate dgraph_path/4
dgraph_path(+ Vertex, + Vertex1, + Graph, ? Path)
predicate dgraph_reachable/3
dgraph_reachable(+ Vertex, + Graph, ? Edges)
predicate dgraph_symmetric_closure/2
dgraph_symmetric_closure(+ Graph, - Closure)
predicate dgraph_to_ugraph/2
dgraph_to_ugraph(+ Graph, - UGraph)
predicate dgraph_top_sort/2
dgraph_top_sort(+ Graph, - Vertices)
predicate dgraph_top_sort/3
dgraph_top_sort(+ Graph, - Vertices, ? Vertices0)
predicate dgraph_transitive_closure/2
dgraph_transitive_closure(+ Graph, - Closure)
predicate dgraph_transpose/2
dgraph_transpose(+ Graph, - Transpose)
predicate dgraph_vertices/2
dgraph_vertices(+ Graph, - Vertices)
predicate dif/2
dif( X, Y)
predicate directory_files/2
directory_files(+ Dir,+ List)
predicate directory_map/2
directory_map(+ Dir, 1:P)
predicate discontiguous/1
discontiguous(+ G)
predicate display/1
display(+ T)
predicate display/2
display(+ S, T)
predicate do_not_compile_expressions/0
do_not_compile_expressions
predicate domain_error/3
domain_error(+Type, +Value, +Term)
predicate downcase_text_to_atom/2
downcase_text_to_atom(+Text, -Atom)
predicate downcase_text_to_chars/2
downcase_text_to_chars(+Text, -Chars)
predicate downcase_text_to_codes/2
downcase_text_to_codes(+Text, -Codes)
predicate downcase_text_to_string/2
downcase_text_to_string(+Text, -String)
predicate duplicate_term/2
duplicate_term(? TI,- TF)
predicate dynamic/1
dynamic( + P )
struct dynamic_clause
predicate dynamic_predicate/2
dynamic_predicate(+ P,+ Semantics)
predicate edges/2
edges(+ Graph, - Edges)
predicate elif/1
elif(+ Goal)
predicate else/0
else
predicate empty_assoc/1
empty_assoc(+ Assoc)
predicate empty_heap/1
empty_heap(? Heap)
predicate empty_queue/1
empty_queue(+ Queue)
struct enc_map
predicate endif/0
endif
predicate ensure_loaded/1
ensure_loaded(+ F)
predicate ensure_prompting/0
ensure_prompting
struct env_tmp
predicate environ/2
environ(? EnvVar,+ EnvValue)
predicate erase/1
erase(+ R)
predicate eraseall/1
eraseall(+ K)
predicate erased/1
erased(+ R)
predicate exception/3
exception(+ Exception, + Context, - Action)
predicate exclude/3
exclude( 2:Goal, + List1, ? List2)
predicate exec/3
exec(+ Command, StandardStreams, -PID)
predicate existence_error/2
existence_error(+Type, +Term)
predicate exists/1
exists(+ F)
struct exo_udi_access_t
predicate expand_exprs/2
expand_exprs(- O,+ N)
predicate expand_term/2
expand_term( T,- X)
struct export_atom_hash_entry_struct
struct export_dbref_hash_entry_struct
struct export_functor_hash_entry_struct
struct export_pred_entry_hash_entry_struct
struct ext_op
predicate fail/0
fail
predicate false/0
false
predicate fields/2
fields(+ Line,- Split)
predicate fields/3
fields(+ Line,+ Separators,- Split)
predicate file_exists/1
file_exists(+ _File__)
predicate file_filter/3
file_filter(+ FileIn, + FileOut, + Goal)
predicate file_filter_with_initialization/5
file_filter_with_initialization(+ FileIn, + FileOut, + Goal, + FormatCommand, + Arguments)
predicate file_filter_with_start_end/5
file_filter_with_start_end(+ FileIn, + FileOut, + Goal, + StartGoal, + EndGoal)
predicate file_name_extension/3
file_name_extension( ? BaseFile, ?Extension, ?FullNameO)
predicate file_search_path/2
file_search_path(+Name:atom, -Directory:atom)
predicate file_select/2
file_select(+ FileIn, + Goal)
predicate fileerrors/0
fileerrors
predicate filter/3
filter(+ StreamInp, + StreamOut, + Goal)
predicate findall/3
findall( T,+ G,- L)
predicate findall/4
findall( ?Key, +Goal, +InitialSolutions, -Solutions )
union flagTerm
a flag is represented as a Prolog term
struct flag_info
prolog_flag/2 support, notice flag is initialized as text
predicate flags_type_definition/3
flags_type_definition(TypeName, TypeHandler, TypeValidator)
predicate flatten/2
flatten(+ List, ? FlattenedList)
predicate float/1
float( T)
predicate flush_output/0
flush_output
predicate flush_output/1
flush_output(+Stream)
predicate foldl/5
foldl(: Pred, + List1, + List2, ? AccIn, ? AccOut)
predicate foldl/6
foldl(:Goal, +List, +V0, -V, +W0, -WN)
predicate foldl2/6
foldl2(: Pred, + List, ? X0, ? X, ? Y0, ? Y)
predicate foldl2/7
v
predicate foldl2/8
foldl2(: Pred, + List, ? List1, ? List2, ? X0, ? X, ? Y0, ? Y)
predicate foldl3/9
foldl3(: Pred, + List1, ? List2, ? X0, ? X, ? Y0, ? Y, ? Z0, ? Z)
predicate foldl4/11
foldl4(: Pred, + List1, ? List2, ? X0, ? X, ? Y0, ? Y, ? Z0, ? Z, ? W0, ? W)
predicate forall/2
forall(: Cond,: Action)
struct foreign_context
predicate foreign_directory/1
foreign_directory(? Directory:atom)
predicate format/1
format(+ T)
predicate format/2
format(+ T, :L)
struct format_status
predicate format_to_chars/3
format_to_chars(+ Form, + Args, - Result)
predicate format_to_chars/4
format_to_chars(+ Form, + Args, - Result, - Result0)
predicate freeze/2
freeze(? X,: G)
predicate frozen/2
frozen( X, G)
predicate functor/3
functor( T, F, N)
struct gap_t
predicate garbage_collect_atoms/0
garbage_collect_atoms
predicate gc/0
gc
struct gc_entry_info
struct gc_ma_hash_entry_struct
struct gc_mark_continuation
predicate gen_assoc/3
gen_assoc( ?Key, +Assoc, ?Valu_)
predicate genarg/3
genarg( ?Index, +Term , -Arg )
predicate genarg0/3
genarg0( +Index, +Term , -Arg )
struct generator_choicept
predicate get/1
get(- C)
predicate get/2
get(S, - C)
predicate get_assoc/3
get_assoc(+ Key,+ Assoc,? Value)
predicate get_assoc/5
get_assoc(+ Key,+ Assoc,? Value,+ NAssoc,? NValue)
predicate get_attr/3
get_attr( + Var,+ Module,- Value)
predicate get_attrs/2
get_attrs(+ Var,- Attributes)
predicate get_byte/1
get_byte(- C)
predicate get_byte/2
get_byte(+ S,- C)
predicate get_char/1
get_char(- C)
predicate get_char/2
get_char(+ S,- C)
predicate get_code/1
get_code(- C)
predicate get_code/2
get_code(+ S,- C)
predicate get_label/3
get_label(+ Index, + Tree, ? Label)
predicate get_mutable/2
get_mutable(? D,+ M)
predicate get_next_assoc/4
get_next_assoc(+ Key,+ Assoc,? Next,? Value)
predicate get_prev_assoc/4
get_prev_assoc(+ Key,+ Assoc,? Next,? Value)
predicate get_time/1
get_time(-T)
predicate get_value/2
get_value(+ A,- V)
predicate getcwd/1
getcwd(- D)
predicate getrand/1
getrand(- Key)
struct global_data
struct global_entry
struct global_optyap_data
struct global_page_entry
struct global_pages
struct global_trie_hash
struct global_trie_node
predicate glue/3
glue(+ Words,+ Separator,- Line)
predicate ground/1
ground( T)
predicate grow_heap/1
grow_heap(+ Size)
predicate grow_stack/1
grow_stack(+ Size)
predicate halt/0
halt
predicate halt/1
halt(+ I)
struct halt_hook
predicate has_type/2
has_type(+Type, @Term)
struct hashtable_s
predicate head_queue/2
head_queue(+ Queue, ? Head)
predicate heap_size/2
heap_size(+ Heap, - Size)
predicate heap_to_list/2
heap_to_list(+ Heap, - List)
predicate hidden_atom/1
hidden_atom( +Atom )
predicate hide_atom/1
hide_atom(+ Atom)
predicate hide_predicate/1
hide_predicate(+ Pred)
struct hold_entry
predicate host_id/1
host_id(- Id)
predicate host_name/1
host_name(- Name)
predicate hostname_address/2
hostname_address(? HOSTNAME,? IP_ADDRESS)
struct idb_queue
predicate identical_member/2
identical_member(?Element, ?Set)
predicate if/1
if( : Goal)
predicate if/3
if(? G,? H,? I)
predicate ignore/1
ignore(: Goal)
struct import_atom_hash_entry_struct
struct import_dbref_hash_entry_struct
struct import_functor_hash_entry_struct
predicate import_module/2
import_module( +ImportingModule, +ExportingModule )
struct import_opcode_hash_entry_struct
struct import_pred_entry_hash_entry_struct
predicate include/1
include(+ F)
predicate include/3
include( 2:Pred, + ListIn, ? ListOut)
predicate incore/1
incore( 0:P )
struct index_t
struct init_const_eval
struct init_un_eval
predicate initialization/0
initialization
predicate initialization/1
initialization(+ G)
predicate initialization/2
initialization(+ Goal,+ When)
predicate instance/2
instance(+ R,- T)
predicate instantiation_error/1
instantiation_error(+Term)
predicate integer/1
integer( T)
predicate integer/3
integer(? Int,+ Line,+ RestOfLine)
struct intermediates
predicate intersection/3
intersection(+ Set1, + Set2, + Set3)
predicate is/2
is( X:number, + Y:ground)
predicate is_assoc/1
is_assoc(+ Assoc)
predicate is_b_hash/1
is_b_hash( +Hash )
predicate is_callable/1
is_callable( ?Goal )
predicate is_list/1
is_list( ?List )
predicate is_mutable/1
is_mutable(? D)
predicate is_nonvar/1
is_nonvar(T)
predicate is_of_type/2
is_of_type(+Type, @Term)
predicate is_tabled/1
is_tabled(+ P)
predicate isinf/1
isinf(? X:float)
predicate isnan/1
isnan(? X:float)
struct istack_entry
struct itrie_data
struct itrie_entry
struct jmp_buff_struct
predicate join_queue/3
join_queue(+ Element, + OldQueue, - NewQueue)
predicate jump_queue/3
jump_queue(+ Element, + OldQueue, - NewQueue)
predicate key_statistics/3
key_statistics(+ K,- Entries,- TotalSize)
predicate key_statistics/4
key_statistics(+ K,- Entries,- Size,- IndexSize)
predicate keysort/2
keysort(+ L, S)
predicate kill/2
kill(+SignalId, +Pid)
predicate last/2
last(+ List,? Last)
predicate leash/1
leash(+ M)
predicate length/2
length(? L,? S)
predicate length_queue/2
length_queue(+ Queue, - Length)
predicate library_directory/1
library_directory(?Directory:atom)
predicate list_concat/2
list_concat(+ Lists,? List)
predicate list_directory/2
list_directory(+ Dir, -ListOfFiles)
predicate list_join_queue/3
list_join_queue(+ List, + OldQueue, - NewQueue)
predicate list_jump_queue/3
list_jump_queue(+ List, + OldQueue, + NewQueue)
predicate list_to_assoc/2
list_to_assoc(+ List,? Assoc)
predicate list_to_heap/2
list_to_heap(+ List, - Heap)
predicate list_to_ord_set/2
list_to_ord_set(+List, ?Set)
predicate list_to_queue/2
list_to_queue(+ List, - Queue)
predicate list_to_tree/2
list_to_tree(+ List, - Tree)
predicate listing/0
listing
predicate listing/1
listing(+ P)
predicate listing/2
listing(Stream, + P)
struct live_term
predicate load_absolute_foreign_files/3
load_absolute_foreign_files( Files, Libs, InitRoutine)
predicate load_db/1
load_db(+ Files)
predicate load_files/2
load_files(+Files, +Options)
predicate load_foreign_files/3
load_foreign_files( Files, Libs, InitRoutine)
predicate load_mega_clause/1
load_mega_clause( +Stream )
struct loader_choicept
struct local_optyap_data
struct local_page_entry
predicate log_goal/2
log_goal( +Tag , :Goal )
predicate log_section/1
log_section( +String )
predicate log_title/1
log_title( +String )
predicate log_unit/2
log_unit( +String, + Level )
struct logic_upd_clause
struct logic_upd_index
predicate logsum/3
logsum(+ Log1:float, + Log2:float, - Out:float )
predicate ls/0
ls
struct m
A matrix.
predicate make/0
make
predicate make_diagram/2
make_diagram(+Inputfilename, +Ouputfilename)
predicate make_diagram/5
make_diagram(+Inputfilename, +Ouputfilename, +Predicate, +Depth, +Extension)
predicate make_directory/1
make_directory(+ Dir)
predicate make_queue/1
make_queue(+ Queue)
predicate map_assoc/2
map_assoc(+ Pred,+ Assoc)
predicate map_assoc/3
map_assoc(+ Pred,+ Assoc,? New)
predicate map_tree/3
map_tree(+ Pred, + OldTree, - NewTree)
namespace maplist
predicate maplist/2
maplist(: Pred, ? ListIn)
predicate maplist/3
maplist( 2:Pred, + List1,+ List2)
predicate maplist/4
maplist(3:Pred,+ List1,+ List2,+ List4)
predicate maplist/5
maplist(: Pred, ? L1, ? L2, ? L3, ? L4)
predicate maplist/6
maplist(: Pred, ? L1, ? L2, ? L3, ? L4, ? L5)
predicate mapnodes/3
mapnodes(+ Pred, + TermIn, ? TermOut)
struct match
predicate matlab_cells/2
matlab_cells(+ Size, ? Array)
predicate matlab_cells/3
matlab_cells(+ SizeX, + SizeY, ? Array)
predicate matlab_eval_string/1
matlab_eval_string(+ Command)
predicate matlab_eval_string/2
matlab_eval_string(+ Command, - Answer)
predicate matlab_get_variable/2
matlab_get_variable(+ MatVar, - List)
predicate matlab_initialized_cells/4
matlab_initialized_cells(+ SizeX, + SizeY, + List, ? Array)
predicate matlab_item/3
matlab_item(+ MatVar, + X, ? Val)
predicate matlab_item/4
matlab_item(+ MatVar, + X, + Y, ? Val)
predicate matlab_item1/3
matlab_item1(+ MatVar, + X, ? Val)
predicate matlab_item1/4
matlab_item1(+ MatVar, + X, + Y, ? Val)
predicate matlab_matrix/4
matlab_matrix(+ SizeX, + SizeY, + List, ? Array)
predicate matlab_on/0
matlab_on
predicate matlab_sequence/3
matlab_sequence(+ Min, + Max, ? Array)
predicate matlab_set/4
matlab_set(+ MatVar, + X, + Y, + Value)
predicate matlab_vector/3
matlab_vector(+ Size, + List, ? Array)
predicate matlab_zeros/2
matlab_zeros(+ Size, ? Array)
predicate matlab_zeros/3
matlab_zeros(+ SizeX, + SizeY, ? Array)
predicate matlab_zeros/4
matlab_zeros(+ SizeX, + SizeY, + SizeZ, ? Array)
predicate matrix_agg_cols/3
matrix_agg_cols(+ Matrix,+Operator,+ Aggregate)
predicate matrix_agg_lines/3
matrix_agg_lines(+ Matrix,+Operator,+ Aggregate)
predicate matrix_arg_to_offset/3
matrix_arg_to_offset(+ Matrix,+ Position,- Offset)
predicate matrix_column/3
matrix_column(+ Matrix,+ Column,- _NewMatrix) _
predicate matrix_copy/2
matrix_copy(+ Matrix1,+ Matrix2)
predicate matrix_dec/3
matrix_dec(+ Matrix,+ Position,- Element)
predicate matrix_get/3
matrix_get(+ Matrix,+ Position,- Elem)
predicate matrix_new/3
matrix_new(+ Type,+ Dims,- Matrix)
predicate matrix_new/4
matrix_new(+ Type,+ Dims,+ List,- Matrix)
predicate matrix_new_set/4
matrix_new_set(? Dims,+ OldMatrix,+ Value,- NewMatrix)
predicate matrix_offset_to_arg/3
matrix_offset_to_arg(+ Matrix,- Offset,+ Position)
predicate matrix_op/4
matrix_op(+ Matrix1,+ Matrix2,+ Op,- Result)
predicate matrix_op_to_all/4
matrix_op_to_all(+ Matrix1,+ Op,+ Operand,- Result)
predicate matrix_op_to_cols/4
matrix_op_to_cols(+ Matrix1,+ Cols,+ Op,- Result)
predicate matrix_op_to_lines/4
matrix_op_to_lines(+ Matrix1,+ Lines,+ Op,- Result)
predicate matrix_select/4
matrix_select(+ Matrix,+ Dimension,+ Index,- New)
predicate matrix_shuffle/2
LHS ==> RHS
predicate matrix_shuffle/3
matrix_shuffle(+ Matrix,+ NewOrder,- Shuffle)
predicate matrix_size/2
matrix_size(+ Matrix,- NElems)
predicate matrix_sum/2
matrix_sum(+ Matrix,+ Sum)
predicate matrix_to_list/2
matrix_to_list(+ Matrix,- Elems)
predicate matrix_transpose/2
matrix_transpose(+ Matrix,- Transpose)
predicate matrix_type/2
matrix_type(+ Matrix,- Type)
predicate max/1
max(+ Expression)
predicate max/2
max( X, Vs)
predicate max_assoc/3
max_assoc(+ Assoc,- Key,? Value)
predicate max_list/2
max_list(? Numbers, ? Max)
predicate may_bind_to_type/2
may_bind_to_type(+Type, @Term)
struct mblock
struct md5_state_s
struct mem_blk
struct mem_desc
predicate member/2
member(? Element, ? Set)
predicate memberchk/2
memberchk(+ Element, + Set)
predicate message_queue_create/1
message_queue_create(? Queue)
predicate message_queue_destroy/1
message_queue_destroy(+ Queue)
predicate message_to_string/2
message_to_string(+ Term, - String)
predicate meta_predicate/3
meta_predicate(G1 , Gj , Gn)
predicate min/1
min(+ Expression)
predicate min/2
min( X, Vs)
predicate min_assoc/3
min_assoc(+ Assoc,- Key,? Value)
predicate min_list/2
min_list(? Numbers, ? Min)
predicate min_of_heap/3
min_of_heap(Heap, Key, Datum)
predicate mktemp/2
mktemp( Spec,- File)
predicate mktime/2
mktime(+Datime, - Seconds)
predicate mmapped_array/4
mmapped_array(+ Name, + Size, + Type, + File)
struct mod_entry
Module property: low-level data used to manage modes.
predicate module/1
module(+M)
predicate module/2
module(+ M:atom,+ L:list )
predicate module_property/2
module_property( +Module, ? Property )
predicate module_transparent/1
module_transparent( + Preds )
predicate mpi_barrier/0
mpi_barrier
predicate mpi_bcast2/2
mpi_bcast2(+ Root, ? Data)
predicate mpi_comm_rank/1
mpi_comm_rank(- Rank)
predicate mpi_comm_size/1
mpi_comm_size(- Size)
predicate mpi_finalize/0
mpi_finalize
predicate mpi_gc/0
mpi_gc
predicate mpi_init/0
mpi_init
predicate mpi_irecv/3
mpi_irecv(? Source,? Tag,- Handle)
predicate mpi_isend/4
mpi_isend(+ Data,+ Dest,+ Tag,- Handle)
predicate mpi_msg_size/2
mpi_msg_size( Msg, - MsgSize)
predicate mpi_recv/3
mpi_recv(? Source,? Tag,- Data)
predicate mpi_send/3
mpi_send(+ Data,+ Dest,+ Tag)
predicate mpi_test/2
mpi_test(? Handle,- Status)
predicate mpi_test_recv/3
mpi_test_recv(? Handle,- Status,- Data)
predicate mpi_version/2
mpi_version(- Major,- Minor)
predicate mpi_wait/2
mpi_wait(? Handle,- Status)
predicate mpi_wait_recv/3
mpi_wait_recv(? Handle,- Status,- Data)
predicate multifile/1
multifile( P )
predicate must_be_bound/1
must_be_bound( ?T )
predicate must_be_callable/1
must_be_callable( ?Goal )
predicate must_be_ground/1
must_be_ground( ?T )
predicate must_be_of_type/2
must_be_of_type(+Type, ?Term)
predicate must_be_predicate_indicator/4
must_be_predicate_indicator( Term, Module, Name, Arity )
predicate mutex_create/1
mutex_create(? MutexId)
struct mutex_entry
predicate mutex_unlock_all/0
mutex_unlock_all
predicate name/2
name( A, L)
predicate natural/3
natural(? Nat,+ Line,+ RestOfLine)
predicate nb_beam/2
nb_beam(+ DefaultSize,- Beam)
predicate nb_beam_add/3
nb_beam_add(+ Beam, + Key, + Value)
predicate nb_beam_close/1
nb_beam_close(+ Beam)
predicate nb_beam_del/3
nb_beam_del(+ Beam, - Key, - Value)
predicate nb_beam_empty/1
nb_beam_empty(+ Beam)
predicate nb_beam_peek/3
nb_beam_peek(+ Beam, - Key, - Value)
predicate nb_beam_size/2
nb_beam_size(+ Beam, - Size)
predicate nb_current/2
nb_current(? Name, ? Value)
predicate nb_delete/1
nb_delete(+ Name)
predicate nb_getval/2
nb_getval(+ Name, - Value)
predicate nb_heap/2
nb_heap(+ DefaultSize,- Heap)
predicate nb_heap_add/3
nb_heap_add(+ Heap, + Key, + Value)
predicate nb_heap_close/1
nb_heap_close(+ Heap)
predicate nb_heap_del/3
nb_heap_del(+ Heap, - Key, - Value)
predicate nb_heap_empty/1
nb_heap_empty(+ Heap)
predicate nb_heap_peek/3
nb_heap_peek(+ Heap, - Key, - Value)
predicate nb_heap_size/2
nb_heap_size(+ Heap, - Size)
predicate nb_linkarg/3
nb_linkarg(+ Arg, + Term, + Value)
predicate nb_linkval/2
nb_linkval(+ Name, + Value)
predicate nb_queue/1
nb_queue(- Queue)
predicate nb_queue_close/3
nb_queue_close(+ Queue, - Head, ? Tail)
predicate nb_queue_dequeue/2
nb_queue_dequeue(+ Queue, - Element)
predicate nb_queue_empty/1
nb_queue_empty(+ Queue)
predicate nb_queue_enqueue/2
nb_queue_enqueue(+ Queue, + Element)
predicate nb_queue_peek/2
nb_queue_peek(+ Queue, - Element)
predicate nb_queue_size/2
nb_queue_size(+ Queue, - Size)
predicate nb_set_shared_arg/3
nb_set_shared_arg(+ Arg, + Term, + Value)
predicate nb_set_shared_val/2
nb_set_shared_val(+ Name, + Value)
predicate nb_setarg/3
nb_setarg(+{Arg], + Term, + Value)
predicate nb_setval/2
nb_setval(+ Name,+ Value)
predicate neighbors/3
neighbors(+ Vertex, + Graph, - Vertices)
predicate neighbours/3
neighbours(+ Vertex, + Graph, - Vertices)
predicate new_variables_in_term/3
new_variables_in_term(+CurrentVariables, ? Term, -Variables)
predicate nl/0
nl
predicate nl/1
nl(+ S)
predicate no_source/0
no_source
predicate no_style_check/1
no_style_check(+ X)
predicate nofileerrors/0
nofileerrors
predicate nogc/0
nogc
predicate non_ground/2
non_ground( T, V)
predicate nonvar/1
nonvar( T)
predicate nospy/1
nospy( + P )
predicate nospyall/0
nospyall
predicate notrace/0
notrace
predicate nth/3
nth(? N, ? List, ? Elem)
predicate nth/4
nth(? N, ? List, ? Elem, ? Rest)
predicate nth0/3
nth0(? N, ? List, ? Elem)
predicate nth0/4
nth0(? N, ? List, ? Elem, ? Rest)
predicate nth1/3
nth1(+ Index,? List,? Elem)
predicate nth1/4
nth1(? N, ? List, ? Elem, ? Rest)
predicate nth_clause/3
nth_clause(+ H, I,- R)
predicate nth_instance/3
nth_instance(? Key,? Index,? R)
predicate nth_instance/4
nth_instance(? Key,? Index, T,? R)
predicate number/1
number( T)
predicate number_atom/2
number_atom(? I,? A)
predicate number_chars/2
number_chars(? I,? L)
predicate number_codes/2
number_codes(? I,? L)
predicate number_string/2
number_string(? I,? L)
predicate number_to_chars/2
number_to_chars(+ Number, - Result)
predicate number_to_chars/3
number_to_chars(+ Number, - Result0, - Result)
predicate numbervars/3
numbervars( T,+ N1,- Nn)
predicate numlist/3
numlist(+ Low, + High, - List)
predicate oldl/5
oldl(: Pred, + List1, + List2, ? AccIn, ? AccOut)
predicate on_cleanup/1
on_cleanup(+ CleanUpGoal)
predicate on_signal/3
on_signal(+ Signal,? OldAction,+ Callable)
predicate once/1
once( 0:G)
predicate op
CurrentModule:goal_expansion(+ G,+ M,- NG), user:goal_expansion(+ G,+ M,- NG)
predicate op/3
op(+ P,+ T,+ A)
predicate open/3
open(+ F,+ M,- S)
predicate open/4
open(+ F,+ M,- S,+ Opts)
predicate open_chars_stream/2
open_chars_stream(+ Chars, - Stream)
predicate open_pipe_streams/2
open_pipe_streams(Read, Write)
struct open_query_struct
predicate open_shared_object/2
open_shared_object(+ File, - Handle)
predicate open_shared_object/3
open_shared_object(+ File, - Handle, + Options)
struct operator_entry
struct or_frame
predicate ord_add_element/3
ord_add_element(+ Set1, + Element, ? Set2)
predicate ord_del_element/3
ord_del_element(+ Set1, + Element, ? Set2)
predicate ord_disjoint/2
ord_disjoint(+ Set1, + Set2)
predicate ord_insert/3
ord_insert(+ Set1, + Element, ? Set2)
predicate ord_intersect/2
ord_intersect(+ Set1, + Set2)
predicate ord_intersection/3
ord_intersection(+ Set1, + Set2, ? Intersection)
predicate ord_intersection/4
ord_intersection(+ Set1, + Set2, ? Intersection, ? Diff)
predicate ord_list_to_assoc/2
ord_list_to_assoc(+ List,? Assoc)
predicate ord_member/2
ord_member(+ Element, + Set)
predicate ord_seteq/2
ord_seteq(+ Set1, + Set2)
predicate ord_setproduct/3
ord_setproduct(+ Set1, + Set2, - Set)
predicate ord_subset/2
ord_subset(+ Set1, + Set2)
predicate ord_subtract/3
ord_subtract(+ Set1, + Set2, ? Difference)
predicate ord_symdiff/3
ord_symdiff(+ Set1, + Set2, ? Difference)
predicate ord_union/2
ord_union(+ Sets, ? Union)
predicate ord_union/3
ord_union(+ Set1, + Set2, ? Union)
predicate ord_union/4
ord_union(+ Set1, + Set2, ? Union, ? Diff)
predicate otherwise/0
otherwise
predicate out/2
out(+Format, +Args)
struct parse
predicate partition/4
partition(1:Pred, + List1, ? Included, ? Excluded)
predicate partition/5
partition(2:Pred, + List1, ? Lesser, ? Equal, ? Greater)
predicate path/1
path(-Directories:list)
predicate path_arg/3
path_arg( +Path , +Term, -Arg )
struct path_stack_entry
predicate peek/1
peek( - C)
predicate peek/2
peek(+ S, - C)
predicate peek_byte/1
peek_byte( - C)
predicate peek_byte/2
peek_byte(+Stream, - C)
predicate peek_char/1
peek_char( - C)
predicate peek_char/2
peek_char(+S, - C)
predicate peek_code/1
peek_code( - C)
predicate peek_code/2
peek_code(+ S, - C)
predicate permission_error/3
permission_error(+Action, +Type, +Term)
predicate permutation/2
permutation(+ List,? Perm)
predicate phrase/2
phrase(+ P, L)
predicate phrase/3
phrase(+ P, L, R)
predicate pid/1
pid(- Id)
predicate plus/3
plus(? Int1:int, ? Int2:int, ? Int3:int)
predicate popen/3
popen( +Command, +TYPE, -Stream)
predicate portray_clause/1
portray_clause(+ C)
predicate portray_clause/2
portray_clause(+ S,+ C)
struct pred_entry
predicate predicate_erased_statistics/4
predicate_erased_statistics( P, NCls, Sz, IndexSz)
predicate predicate_property/2
predicate_property( P, Prop)
predicate predicate_statistics/4
predicate_statistics( P, NCls, Sz, IndexSz)
predicate predsort/3
predsort(:Compare, +List, -Sorted) is det
predicate primitive/1
primitive( ?T)
predicate print/2
print(+ S, T)
predicate print_message_lines/3
print_message_lines(+ Stream, + Prefix__, + _Lines)
predicate process/2
process(+ StreamInp, + Goal)
struct profile_data
predicate profile_data/3
profile_data( ?Na/Ar, ?Parameter, -Data_)
namespace prolog
predicate prolog_file_name/2
prolog_file_name( +File, -PrologFileaName)
predicate prolog_file_type/2
prolog_file_type(?Suffix:atom, ?Handler:atom)
predicate prolog_flag/3
prolog_flag(? Flag,- OldValue,+ NewValue)
predicate prolog_flag_property/2
prolog_flag_property(+ Flag,+ Prooperties)
predicate prolog_initialization/1
prolog_initialization( G)
predicate prolog_load_context/2
prolog_load_context(? Key, Value)
predicate prolog_to_os_filename/2
prolog_to_os_filename(+ PrologPath,- OsPath)
predicate prompt/2
prompt(- A,+ B)
predicate prompt1/1
prompt1(+ _A__)
predicate public/1
public( P )
predicate put_assoc/4
put_assoc(+ Key,+ Assoc,+ Val,+ New)
predicate put_attr/3
put_attr(+ Var,+ Module,+ Value)
predicate put_attrs/2
put_attrs(+ Var,+ Attributes)
predicate put_byte/1
put_byte(+ N)
predicate put_byte/2
put_byte(+ S,+ N)
predicate put_char/1
put_char(+ N)
predicate put_char/2
put_char(+ S,+ A)
predicate put_code/1
put_code(+ N)
predicate put_code/2
put_code(+ S,+ N)
predicate put_label/4
put_label(+ Index, + OldTree, + Label, - NewTree)
predicate putenv/2
putenv(+ E,+ S)
predicate pwd/0
pwd
predicate qend_program/0
qend_program
predicate qload_file/1
qload_file(+ F)
predicate qload_module/1
qload_module(+ M)
struct qq_struct_t
predicate qsave_file/2
'$cvt_qsave_flag'(autoload(_B), G, autoload(_B))
predicate qsave_module/1
qsave_module(+ Module x)
predicate qsave_module/2
qsave_module(+ Module, +State)
predicate qsave_program/2
qsave_program(+ F, Opts)
struct query_goal_answer_frame
struct query_goal_solution_frame
struct queue_entry
predicate queue_to_list/2
queue_to_list(+ Queue, - List)
predicate raakau/3
raakau(Vertices, InitialValue, Tree)
predicate random/1
random(- Number)
predicate random/3
random(+ LOW, + HIGH, - NUMBER)
predicate randseq/3
randseq(+ LENGTH, + MAX, - Numbers)
predicate randset/3
randset(+ LENGTH, + MAX, - Numbers)
predicate rannum/1
@groupdef prandom Van Gelder Random Number Generator

% % The following code produces the same random numbers as my previous ranpkg.pl, but is more accurately documented and slightly more efficient * predicate ranstart/0
ranstart * predicate ranstart/1
ranstart(+ Seed) * predicate ranunif/2
ranunif(+ Range,- I) * predicate rational/1 * predicate rational_term_to_forest/4
rational_term_to_forest(? TI,- TF, -Extras, ?More) * predicate rational_term_to_tree/4 * predicate rb_apply/4
rb_apply(+ T,+ Key,+ G,- TN) * predicate rb_clone/3
rb_clone(+ T,+ NT,?Nodes) * predicate rb_del_max/4
rb_del_max(+ T,- Key,- Val,- TN) * predicate rb_del_min/4
rb_del_min(+ T,- Key,- Val,- TN) * predicate rb_delete/3
rb_delete(+ T,+ Key,- TN) * predicate rb_delete/4
rb_delete(+ T,+ Key,- Val,- TN) * predicate rb_empty/1
rb_empty(? T) * predicate rb_fold/4
rb_fold(+ T,+ G,+ Acc0, - AccF) * predicate rb_insert/4
rb_insert(+ T0,+ Key,? Value,+ TF) * predicate rb_key_fold/4
rb_key_fold(+ T,+ G,+ Acc0, - AccF) * predicate rb_keys/2
rb_keys(+ T,+ Keys) * predicate rb_lookup/3
rb_lookup(+ Key,- Value,+ T) * predicate rb_lookupall/3
rb_lookupall(+ Key,- Value,+ T) * predicate rb_map/3
rb_map(+ T,+ G,- TN) * predicate rb_max/3
rb_max(+ T,- Key,- Value) * predicate rb_min/3
rb_min(+ T,- Key,- Value) * predicate rb_new/1
rb_new(? T) * predicate rb_next/4
rb_next(+ T, + Key,- Next,- Value) * predicate rb_partial_map/4
rb_partial_map(+ T,+ Keys,+ G,- TN) * predicate rb_previous/4
rb_previous(+T, +Key, -Previous, -Value) * predicate rb_rewrite/3
rb_rewrite(+T, +Key, +NewVal) * predicate rb_rewrite/4
rb_rewrite(+T, +Key, ?OldVal, +NewVal) * predicate rb_size/2
rb_size(+ T,- Size) * predicate rb_update/4
rb_update(+ T,+ Key,+ NewVal,- TN) * predicate rb_update/5
rb_update(+ T,+ Key,- OldVal,+ NewVal,- TN) * predicate rb_visit/2
rb_visit(+ T,- Pairs) * struct re_guts * predicate reachable/3
reachable(+ Node, + Graph, - Vertices) * predicate read/1
read(- T) * predicate read/2
read(+ Stream, -Term ) * predicate read_clause/3
read_clause( +Stream, -Clause, ?Opts) * struct read_data_t * predicate read_from_chars/2
read_from_chars( + Chars, - Term) * predicate read_line_to_string/2
read_line_to_string( +Stream, -String) * predicate read_link/3
read_link(+ SymbolicLink, -Link, -NewPath) * predicate read_stream_to_codes/3
read_stream_to_codes( +Stream, -Codes, ?Tail) * predicate read_stream_to_terms/3
read_stream_to_terms( +Stream, -Terms, ?Tail) * predicate read_term_from_atom/3
read_term_from_atom( +Atom , -T , +Options ) * predicate read_term_from_atomic/3
read_term_from_atomic( +Atomic , - T , +Options ) * predicate read_term_from_string/3
read_term_from_string( +String , - T , + Options ) * predicate reconsult/1
reconsult(+ F ) * struct record_list * predicate recorda/3 * predicate recorda_at/3
recorda_at(+ R0, T,- R) * predicate recordaifnot/3
recordaifnot(+ K, T,- R) * predicate recorded/3 * predicate recordz/3
recordz(+ K, T,- R) * predicate recordz_at/3
recordz_at(+ R0, T,- R) * predicate recordzifnot/3
recordzifnot(+ K, T,- R) * predicate reexport/1
reexport(+F) * predicate reexport/2
reexport(+F, +Decls ) * struct regex_t * namespace regexp * predicate regexp/3
regexp(+ RegExp,+ String,+ Opts) * predicate regexp/4
regexp(+ RegExp,+ String,+ Opts,? SubMatchVars) * struct regmatch_t * struct regstore_t * predicate remove_duplicates/2
remove_duplicates(+ List, ? Pruned) * predicate remove_from_path/1
remove_from_path(+Directory:atom) * predicate rename/2
rename(+F , +G) * struct renv * predicate repeat/0
repeat * predicate representation_error/1
representation_error(+Reason) * struct rerr * predicate reset_static_array/1
reset_static_array(+ Name) * predicate restore/1
restore(+ F) * predicate retract/1
retract(+ C) * predicate retract/2
retract(+ C,- R) * predicate retractall/1
retractall(+ G) * predicate reverse/2
reverse(+ List, ? Reversed) * predicate rl_copy/2
rl_copy(+Range-List Id,-New Range-List Id) * predicate rl_free/1
rl_free(+Range-List Id) * predicate rl_freeze/1
rl_freeze(+Range-List Id) * predicate rl_in/2
rl_in(+Range-List Id,?Number) * predicate rl_new/1
rl_new( ? AllTrees ) * predicate rl_new/2
rl_new(+Maximum Interval value, -Range-List Id) * predicate rl_print/1
rl_print(+Range-List Id) * predicate rl_set_all/2
rl_set_all( + Tree, Els) * predicate rl_set_all_in/1
rl_set_all_in(+Range-List Id) * predicate rl_set_in/2
rl_set_in(+Range-List Id,+Number) * predicate rl_set_out/2
rl_set_out(+Range-List Id,+Number) * predicate rl_size/2
rl_size(+Range-List Id,-Size in bytes) * struct rl_struct * namespace rltree * struct rwlock_t * struct s_buffer * struct s_node * struct s_yap_error_descriptor
all we need to know about an error/throw * predicate same_length/2
same_length(? List1, ? List2) * predicate save_program/1
YAP can save and read images of its current state to files, known as saved states. * predicate save_program/2
save_program(+ F, : G) * predicate scan_integer/3
scan_integer(? Int,+ Line,+ RestOfLine) * predicate scan_natural/3
scan_natural(? Nat,+ Line,+ RestOfLine) * predicate scan_to_list/2
scan_to_list( +Stream, -Tokens ) * struct scanner_extra_alloc * struct scanner_extra_params * struct scratch_block_struct * struct scratch_buf_struct_t
thread view of the scratch buffer * struct scratch_user_buf_struct_t
user view of the scratch buffer * predicate search_for/2
search_for(+ Char,+ Line) * predicate see/1
see(+ S) * predicate seeing/1
seeing(- S) * predicate seen/0
seen * predicate select/3
select(? Element, ? List, ? Residue) * predicate selectchk/3
selectchk(? Element, ? List, ? Residue) * predicate selectlist/3
selectlist(1:Pred, + ListIn, ? ListOut) * predicate selectlist/4
selectlist( 2:Pred, + ListIn, + ListInAux, ? ListOut) * predicate selectlist/5
selectlist( 2:Pred, + ListIn, + ListInAux, ? ListOut, ? ListOutAux) * union seq_val_t * predicate serve_queue/3
serve_queue(+ OldQueue, + Head, - NewQueue) * predicate set_alarm/3
set_alarm(+Seconds, +Execute, -ID) * predicate set_base_module/1
set_base_module( +Expor tingModule ) * predicate set_error/1
set_error(+ S) * predicate set_input/1
set_input(+ S) * predicate set_output/1
set_output(+ S) * predicate set_prolog_flag/2
set_prolog_flag(+ Flag,+ Value) * predicate set_value/2
set_value(+ A,+ C) * predicate setarg/3
setarg(+ I,+ S,? T) * predicate setenv/2
setenv(+ Name,+ Value) * predicate setof/3
setof( X,+ P,- B) * predicate setrand/1
setrand(+ Key) * predicate setup_call_cleanup/3
setup_call_cleanup(: Setup,: Goal, : CleanUpGoal) * predicate sh/0
sh * predicate shell/0
shell * predicate shell/1
shell(+ Command) * predicate shell/2
shell(+ Command,- Status) * predicate show_table/1
show_table(+ P) * predicate showprofres/0
showprofres * predicate showprofres/1
showprofres( N) * struct si_callback_h * struct signame * predicate simple/1
simple( T) * predicate singleton_vs_numbervars/3
singleton_vs_numbervars( t,+ _N1,- Nn) * predicate skip/1
skip(+ N) * predicate skip/2
skip(+ S,- C) * predicate skip_whitespace/2
skip_whitespace(+ Line,+ RestOfLine) * predicate socket/2
socket(+ DOMAIN,- SOCKET) * predicate socket/4
socket(+ DOMAIN,+ TYPE,+ PROTOCOL,- SOCKET) * predicate socket_accept/2
socket_accept(+ SOCKET, - STREAM) * predicate socket_accept/3
socket_accept(+ SOCKET, - CLIENT, - STREAM) * predicate socket_bind/2
socket_bind(+ SOCKET, ? PORT) * predicate socket_buffering/4
socket_buffering(+ SOCKET, - MODE, - OLD, + NEW) * predicate socket_close/1
socket_close(+ SOCKET) * predicate socket_connect/3
socket_connect(+ SOCKET, + PORT, - STREAM) * predicate socket_listen/2
socket_listen(+ SOCKET, + LENGTH) * predicate socket_select/5
socket_select(+ SOCKETS, - NEWSTREAMS, + TIMEOUT, + STREAMS, - READSTREAMS) * predicate sort/2
sort(+ L,- S) * predicate source/0
source * predicate source_location/3
start input for a meta-clause * predicate source_mode/2
source_mode(- O,+ N) * predicate source_module/1
source_module(-Mod) * struct spinlock_t * predicate splay_del/3
splay_del(+ Item,+ Tree,- NewTree) * predicate splay_init/1
splay_init(- NewTree) * predicate splay_insert/4
splay_insert(+ Key,? Val,+ Tree,- NewTree) * predicate splay_join/3
splay_join(+ LeftTree,+ RighTree,- NewTree) * predicate splay_split/5
splay_split(+ Key,? Val,+ Tree,- LeftTree,- RightTree) * predicate split/2
split(+ Line,- Split) * predicate split/3
split(+ Line,+ Separators,- Split) * predicate split_quoted/5
split_quoted(+ Line,+ Separators, GroupQuotes, SingleQuotes, - Split) * predicate split_unquoted/3
split_unquoted(+ Line,+ Separators,- Split) * predicate spy/1
spy( + P ) * struct ssz_t * predicate stack_dump/0
stack_dump * predicate stack_dump/1
stack_dump(+N) * predicate stash_predicate/1
stash_predicate(+ Pred) * union statarray_elements * predicate static_array/3
static_array(+ Name, + Size, + Type) * struct static_array_entry * predicate static_array_location/2
static_array_location(+ Name, - Ptr) * predicate static_array_properties/3
static_array_properties(+Name,+Size,+Type) * predicate static_array_to_term/2
static_array_to_term(? Name, ? Term) * struct static_clause * struct static_index * struct static_mega_clause * predicate statistics/2
statistics(? Param,- Info) * struct stream_desc * predicate stream_position/2
stream_position(+ Stream,- StreamPosition) * predicate stream_position/3
stream_position(+ Stream,- StreamPosition, +NewPosition) * predicate stream_position_data/3
stream_position_data(+ Field,+ StreamPosition,- Info) * predicate stream_property/2
stream_property( Stream, Prop ) * predicate string_to_atom/2
string_to_atom(?String, ?Atom) * predicate string_to_atomic/2
string_to_atomic(?S, ?Atomic) * struct struct_dbentry * struct struct_param * struct struct_param2 * predicate sub_atom/5
sub_atom(+ A,? Bef, ? Size, ? After, ? At_out) * predicate sub_string/5
sub_string(+ S,? Bef, ? Size, ? After, ? S_out) * struct subgoal_entry * struct subgoal_frame * struct subgoal_trie_hash * struct subgoal_trie_node * predicate subsumes/2
subsumes(? Term1, ? Term2) * predicate subsumes_chk/2
subsumes_chk(? Term1, ? Term2) * predicate subsumes_term/2
subsumes_term(? Subsumer, ? Subsumed) * predicate succ/2
succ(? Int1:int, ? Int2:int) * predicate suffix/2
suffix(? Suffix, ? List) * predicate sum_list/2
sum_list(? Numbers, ? Total) * predicate sum_list/3
sum_list(? Numbers, + SoFar, ? Total) * predicate sumlist/2
sumlist(? Numbers, ? Total) * predicate sumlist/4
sumlist(: Pred, + List, ? AccIn, ? AccOut) * predicate sumnodes/4
sumnodes(+ Pred, + Term, ? AccIn, ? AccOut) * struct sus_record_struct * struct sus_tag_struct * struct swi_reverse_hash * predicate system/0
system * predicate system/1
system(+ S) * predicate system/2
system(+ Command,- Res) * predicate system_error/2
system_error( +Error, +Cause) * predicate system_module/1
system_module( + Mod) * predicate system_predicate/1
system_predicate( ?P ) * predicate system_predicate/2
system_predicate( ?A, ?P ) * predicate tab/1
tab(+ N) * predicate tab/2
tab(+ S,+ N) * predicate table/1
table( + P ) * struct table_entry * predicate table_statistics/1
table_statistics(+ P) * predicate tabling_mode/2
tabling_mode(+ P,? Mode) * predicate tell/1
tell(+ S) * predicate telling/1
telling(- S) * struct term_array * predicate term_attvars/2
term_attvars(+ Term,- AttVars) * predicate term_expansion/2
term_expansion( T,- X) * predicate term_factorized/3
term_factorized(? TI,- TF, ?SubTerms) * predicate term_hash/2
term_hash(+ Term, ? Hash) * predicate term_hash/4
term_hash(+ Term, + Depth, + Range, ? Hash) * predicate term_subsumer/3
term_subsumer(? T1, ? T2, ? Subsumer) * predicate term_variables/2
term_variables(? Term, - Variables) * predicate term_variables/3
term_variables(? Term, - Variables, +ExternalVars) * predicate term_variables_difference/3
term_variables_difference(? Term1, - Term2, +Vars) * predicate term_variables_union/3
term_variables_union(? Term1, - Term2, +Vars) * struct text_cvt * predicate thread_at_exit/1
thread_at_exit(: Term) * predicate thread_create/1
thread_create(: Goal) * predicate thread_create/2
thread_create(: Goal, - Id) * predicate thread_create/3
thread_create(: Goal, - Id, + Options) * predicate thread_exit/1
thread_exit(+ Term) * predicate thread_get_message/1
thread_get_message(? Term) * predicate thread_get_message/2
thread_get_message(+ Queue, ? Term) * predicate thread_join/2
thread_join(+ Id, - Status) * predicate thread_local/1
thread_local( +Functor/Arity) * predicate thread_peek_message/1
thread_peek_message(? Term) * predicate thread_peek_message/2
thread_peek_message(+ Queue, ? Term) * predicate thread_property/2
thread_property(? Id, ? Property) * predicate thread_self/1
thread_self(- Id) * predicate thread_send_message/1
thread_send_message(+ Term) * predicate thread_send_message/2
thread_send_message(+ QueueOrThreadId, + Term) * predicate thread_sleep/1
thread_sleep(+ Time) * predicate thread_statistics/3
thread_statistics(+ Id, + Key, - Value) * predicate throw/1
throw(+ Ball) * predicate time/1
time(:Goal) % % Time the execution of Goal * predicate tmpdir/1
tmpdir(- File) * predicate tmpnam/1
tmpnam(- File) * predicate told/0
told * predicate top_sort/2
top_sort(+ Graph, - Sort) * predicate top_sort/3
top_sort(+ Graph, - Sort0, - Sort) * predicate trace/0
trace * predicate trace_goal/4
trace_goal( +G, +M, +GoalNumber, +CP) * predicate transitive_closure/2
transitive_closure(+ Graph, + Closure) * predicate translate_message/3
translate_message(+Term, +Lines, -Lines0) * struct translation_entry * predicate transpose/2
transpose(+ Graph, - NewGraph) * predicate tree_size/2
tree_size(+ Tree, - Size) * predicate tree_to_list/2
tree_to_list(+ Tree, - List) * predicate trie_check_entry/3
trie_check_entry(+ Trie,+ Term,- Ref) * predicate trie_close/1
trie_close(+ Id) * predicate trie_close_all/0
trie_close_all * struct trie_data * struct trie_engine * struct trie_entry * predicate trie_get_entry/2
trie_get_entry(+ Ref,- Term) * struct trie_hash * predicate trie_load/2
trie_load(- Trie,+ FileName) * predicate trie_max_stats/4
trie_max_stats(- Memory,- Tries,- Entries,- Nodes) * predicate trie_mode/1
trie_mode(? Mode) * struct trie_node * predicate trie_print/1
trie_print(+ Trie) * predicate trie_put_entry/4
trie_put_entry(+Mode,+ Trie,+ Term,- Ref) * predicate trie_remove_entry/1
trie_remove_entry(+ Ref) * predicate trie_remove_subtree/1
trie_remove_subtree(+ Ref) * predicate trie_save/2
trie_save(+ Trie,+ FileName) * predicate trie_stats/4
trie_stats(- Memory,- Tries,- Entries,- Nodes) * predicate trie_usage/4
trie_usage(+ Trie,- Entries,- Nodes,- VirtualNodes) * predicate true/0
true * predicate ttyget/1
ttyget(- C) * predicate ttyget0/1
ttyget0(- C) * predicate ttynl/0
ttynl * predicate ttyput/1
ttyput(+ N) * predicate ttyskip/1
ttyskip(- C) * predicate type_error/2
type_error(+Type, +Term) * struct udi_control_block * struct udi_info * struct udi_p_args * predicate ugraph_to_dgraph/2
ugraph_to_dgraph( +UGraph, -Graph) * predicate undgraph_add_edges/3
undgraph_add_edges(+ Graph, + Edges, - NewGraph) * predicate undgraph_add_vertices/3
undgraph_add_vertices(+ Graph, + Vertices, - NewGraph) * predicate undgraph_complement/2
undgraph_complement(+ Graph, - NewGraph) * predicate undgraph_del_edges/3
undgraph_del_edges(+ Graph, + Edges, - NewGraph) * predicate undgraph_del_vertices/3
undgraph_del_vertices(+ Graph, + Vertices, - NewGraph) * predicate undgraph_edges/2
undgraph_edges(+ Graph, - Edges) * predicate undgraph_neighbours/3
undgraph_neighbours(+ Vertex, + Graph, - Vertices) * predicate undgraph_new/1
undgraph_new(+ Graph) * predicate undgraph_vertices/2
undgraph_vertices(+ Graph, - Vertices) * predicate unhide_atom/1
unhide_atom(+ Atom) * struct unif_record * predicate unifiable/3
unifiable(? Term1, ? Term2, - Bindings) * predicate unify_with_occurs_check/2 * struct union_direct * struct union_slots * predicate unix/1
unix(+ S) * predicate unknown/2
no need for code at this point * predicate unnumbervars/1
unnumbervars(+ Term) * predicate unset_alarm/1
unset_alarm(+ID) * predicate upcase_text_to_atom/2
upcase_text_to_atom(+Text, -Atom) * predicate upcase_text_to_chars/2
upcase_text_to_chars(+Text, -Chars) * predicate upcase_text_to_codes/2
upcase_text_to_codes(+Text, -Codes) * predicate upcase_text_to_string/2
upcase_text_to_string(+Text, -String) * predicate update_array/3
update_array(+ Name, + Index, ? Value) * predicate update_mutable/2
update_mutable(+ D,+ M) * predicate use_module/1
use_module( +Files ) * predicate use_module/2
use_module(+Files, +Imports) * predicate use_module/3
use_module(? M,? F,+ L) * struct v_record * predicate var/1
var( T) * predicate var/2
?X == ?Y * predicate variables_in_term/3
variables_in_term( +t, +_SetOfVariables, +ExtendedSetOfVariables ) * predicate variables_within_term/3
variables_within_term(+ Variables,? Term, - OutputVariables) * predicate variant/2
variant(? Term1, ? Term2) * struct various_codes * predicate varnumbers/2
varnumbers(+ Term, Term) * struct vcell * predicate version/0
version * predicate version/1
version(- Message) * predicate vertices/2
vertices(+ Graph, - Vertices) * predicate vertices_edges_to_ugraph/3
vertices_edges_to_ugraph(+ Vertices, + Edges, - Graph) * struct vfs * struct vfs_stat * predicate virtual_alarm/3
virtual_alarm(+Interval, 0:Goal, -Left) * struct visited * struct visitel * struct vlist_struct_t * predicate wait/1
wait(G) * predicate when/2
when(+ C,: G) * predicate with_output_to/2
with_output_to(+ Ouput,: Goal) * predicate with_output_to_chars/2
with_output_to_chars(? Goal, - Chars) * predicate with_output_to_chars/3
with_output_to_chars(? Goal, ? Chars0, - Chars) * predicate with_output_to_chars/4
with_output_to_chars(:Goal, -Stream, -Codes, ?Tail) is det * struct worker_local * predicate working_directory/2
working_directory( ?CurDir,? NextDir) * predicate write/2
write(+ S, T) * predicate write_canonical/1
write_canonical(+ T) * predicate write_canonical/2
write_canonical(+ S,+ T) * predicate write_depth/3
write_depth( ?TermDepth, ?ListDepth, ?TermArity ) * struct write_globs * predicate write_term/2
write_term(+ T, + Opts) * predicate write_term/3
write_term(+ S, + T, + Opts) * predicate write_to_chars/2
write_to_chars(+ Term, - Result) * predicate write_to_chars/3
write_to_chars(+ Term, - Result0, - Result) * predicate writeq/2
writeq(+ S, ? T) * struct x_el * struct yami * struct yapSourceLocation * struct yap_back_data_type * struct yap_boot_params * struct yap_error_prolog_source
a Prolog goal that caused a bug * predicate yap_flag/2
yap_flag( ?Param, ?Value) * struct yap_io_position * struct yapchlookahead

Updated on 12 May 2022 at 22:48:35 WEST