Search this manual
Type below to search for where concepts, predicates, modes, properties, types, applications, authors, etc., are defined or referred to in this manual. Use _ to show all entries in the index.Symbols
- clause/2 (iso_strict predicate)
- mfclause/2 (iso_strict predicate)
- !!/0 (in det_hook_rt)
- !/0 (basiccontrol predicate)
- # /2 (in arithmetic)
- #>/2 (clpfd_rt predicate)
- #>=/2 (clpfd_rt predicate)
- #</2 (clpfd_rt predicate)
- #=</2 (clpfd_rt predicate)
- #=/2 (clpfd_rt predicate)
- #\=/2 (clpfd_rt predicate)
- $/1 (in pillow)
- $/2 (in argnames)
- $~/3 (argnames predicate)
- &-Prolog (in ciaointro)
- '<-'/1 (in bf)
- '<-'/2 (in bf)
- ','/2 (in basic_props)
- 'compiler/c_itf' (in assrt_lib)
- 'persdb/ll' (in persdb_rt)
- 'sr/af' (in bf)
- 'sr/afall' (in bf)
- 'sr/bfall' (in bf)
- >> /2 (in arithmetic)
- >/2 (arithmetic predicate)
- >=/2 (arithmetic predicate)
- <& / 1 (in ciaochanges)
- << /2 (in arithmetic)
- <-/1 (in bf)
- <-/2 (in bf)
- </2 (arithmetic predicate)
- * /2 (in arithmetic)
- ** /2 (in arithmetic)
- */2 (in assertions_props)
- + /1 (in arithmetic)
- + /2 (in arithmetic)
- ++ /1 (in arithmetic)
- ++ /2 (in fsyntax)
- ++/1 (modes instantiation mode)
- ++/2 (modes instantiation mode)
- +/1 (modes instantiation mode)
- +/2 (modes instantiation mode)
- ,/2 (basiccontrol predicate)
- - /1 (in arithmetic)
- - /2 (in arithmetic)
- ->/2 (basiccontrol predicate)
- -- /1 (in arithmetic)
- -->/2 (in classic)
- --/1 (modes instantiation mode)
- --/2 (modes instantiation mode)
- -/1 (modes instantiation mode)
- -/2 (modes instantiation mode)
- . /2 (in fsyntax)
- .>. (in clpq)
- .>./2 (in clpq)
- .>=./2 (in clpq)
- .<>./2 (in clpq)
- .<./2 (in clpq)
- ../2 (in clpfd)
- ./2 (toplevel predicate)
- ./my_program -file input.txt -file input2.txt --output_file out.txt -create-dir --decode --unsorte (in getopts)
- .=<./2 (in clpq)
- .=./2 (in clpq)
- .asr files (in assrt_lib)
- .ciaorc (in CommandLineUse)
- .emacs (in CommandLineUse)
- / /2 (in arithmetic)
- // /2 (in arithmetic)
- /\ /2 (in arithmetic)
- /etc/bashrc (in Install)
- /etc/csh.cshrc (in Install)
- /etc/csh.login (in Install)
- /etc/skel (in Install)
- /usr/share/emacs/.../lisp/site-init.pl (in Install)
- :- index p(+,?,...?) (in indexer)
- :- index p(?,...,+,...?) (in indexer)
- :- use_package(t_clpq) (in tabling)
- ::/2 (in assertions)
- := /2 (in fsyntax)
- ;/2 (basiccontrol predicate)
- =>/2 (in assertions)
- =</2 (arithmetic predicate)
- =../2 (term_basic predicate)
- =/2 (term_basic predicate)
- =:=/2 (arithmetic predicate)
- ==/2 (term_compare property)
- =\=/2 (arithmetic predicate)
- =~/1 (in regexp)
- ? /2 (in fsyntax)
- ?/1 (modes instantiation mode)
- ?/2 (modes instantiation mode)
- ?=/2 (in andorra)
- ?\=/2 (in andorra)
- @>/2 (term_compare predicate)
- @>=/2 (term_compare predicate)
- @</2 (term_compare predicate)
- @/1 (modes instantiation mode)
- @/2 (modes instantiation mode)
- @=</2 (term_compare predicate)
- ['-file', 'input.txt', '-file', 'input2.txt', '--output_file', 'out.txt', '-create-dir', '--decode', '--unsorte'] (in getopts)
- \ /1 (in arithmetic)
- \+/1 (basiccontrol predicate)
- \/ /2 (in arithmetic)
- \=/2 (term_basic predicate)
- \==/2 (term_compare predicate)
- ^ /1 (in fsyntax)
- ^/2 (aggregates predicate)
- ^^ /1 (in fsyntax)
- | /2 (in fsyntax)
- |/2 (in basiccontrol)
- ~ /1 (in fsyntax)
- ~/.bashrc (in Install)
- ~/.ciaorc (in classic)
- ~/.cshrc (in Install)
- ~/.emacs (in Install)
- ~/.zshrc (in Install)
A
- A. Ciepielewski (debugger author)
- AAF91 (cite)
- AC19a (cite)
- AC19b (cite)
- AC19c (cite)
- AKNL86 (cite)
- AKPS92 (cite)
- ASCII code (in arithmetic)
- Alejandro Serrano (vndict author)
- Alvaro Sevilla San Mateo (unittest author)
- Amadeo Casas (native_props author)
- Angel Fernandez Pineda (librowser author)
- Anil Nair (indexer author)
- Ann Mulkers (bitcodesets author)
- Anne Mulkers (in ciaointro)
- Apt97 (cite)
- AtomName/Arity (in getopts)
- Austrian Research Institute for AI (in ciaointro)
- a_string/1 (in foreign_interface)
- abolish/1 (dynamic_rt predicate)
- abort (in debugger)
- abort/0 (exceptions predicate)
- abs/1 (in arithmetic)
- absolute_file_name/2 (iso_incomplete predicate)
- absolute_file_name/7 (streams udreexp)
- acknowledgments (in ciaointro)
- actI_alloc_named/2 (actmod_dist predicate)
- actI_init_named/2 (actmod_rt predicate)
- actI_receive_response/2 (actmod_rt predicate)
- actI_send_call/3 (actmod_rt predicate)
- actI_send_cast/3 (actmod_rt predicate)
- actchn/1 (actmod_dist regular type)
- actchn_send/2 (actmod_dist predicate)
- actchn_unwatch_response/1 (actmod_dist predicate)
- actchn_watch_response/2 (actmod_dist predicate)
- action_hook/3 (in source_tree)
- active module (in actmod)
- active module instance (in actmod)
- active modules (in ExtendLang)
- active object (in actmod)
- actmod (actmod library)
- actmod_call/1 (actmod_rt predicate)
- actmod_cast/1 (actmod_rt predicate)
- actmod_check_bin/1 (actmod_process predicate)
- actmod_compile/1 (actmod_process predicate)
- actmod_compile_all/0 (actmod_process predicate)
- actmod_dist (actmod_dist library)
- actmod_get_self/1 (actmod_rt predicate)
- actmod_get_self_mod/1 (actmod_rt predicate)
- actmod_holder (in actmod_process)
- actmod_join/1 (actmod_process predicate)
- actmod_kill/2 (actmod_process predicate)
- actmod_load_dynmod/1 (actmod_process predicate)
- actmod_locate.cleanup_actI/2 (actmod_dist predicate)
- actmod_locate.remote_address/4 (actmod_dist predicate)
- actmod_process (actmod_process library)
- actmod_publish.save_addr/6 (actmod_dist predicate)
- actmod_rt (actmod_rt library)
- actmod_spawn/3 (actmod_process predicate)
- actmod_terminate/2 (actmod_process predicate)
- actor (in actmod)
- actref/1 (actmod_dist regular type)
- actref_send/2 (actmod_rt predicate)
- actref_to_actchn/2 (actmod_dist predicate)
- acyclic_term/1 (cyclic_terms predicate)
- add_after/4 (lists predicate)
- add_assoc/4 (assoc predicate)
- add_before/4 (lists predicate)
- add_clause_trans/2 (packages declaration)
- add_edges/3 (ugraphs predicate)
- add_goal_trans/1 (in packages)
- add_goal_trans/2 (packages declaration)
- add_lines/4 (messages_basic predicate)
- add_sentence_trans/1 (in packages)
- add_sentence_trans/2 (packages declaration)
- add_term_trans/1 (in packages)
- add_term_trans/2 (packages declaration)
- add_vertices/3 (ugraphs predicate)
- address/1 (foreign_interface_properties regular type)
- agg_expression/1 (native_props_cost regular type)
- aggregates (aggregates library)
- (in unittest)
- (in unittest_props)
- (in persdb_rt)
- (in conc_aggregates)
- (in conc_aggregates)
- (in conc_aggregates)
- (in actmod_rt)
- (in build_foreign_interface)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in iso_strict)
- (in assrt_lib)
- (in source_tree)
- (in random_aggregates)
- (in random_aggregates)
- (in glob)
- (in menu_generator)
- aggregation predicates (in aggregates)
- alias path (in builder)
- alias_file/1 (symfnames predicate)
- all_different/1 (clpfd_rt predicate)
- analyzer output (in assertions)
- ancestors (in debugger)
- andorra (andorra library)
- answer variable (in toplevel)
- any_term/1 (foreign_interface_properties regular type)
- append/2 (llists predicate)
- append/3 (classic_predicates udreexp)
- apply_dict (in unittest)
- approx/1 (native_props_cost regular type)
- apropos/1 (librowser predicate)
- apropos_spec/1 (librowser regular type)
- archive (in archive_files)
- archive_files (archive_files library)
- archive_files/4 (archive_files predicate)
- aref/3 (arrays predicate)
- arefa/3 (arrays predicate)
- arefl/3 (arrays predicate)
- arg/2 (terms predicate)
- arg/3 (term_basic predicate)
- argnames (argnames library)
- argnames/1 (argnames declaration)
- argspec/1 (indexer regular type)
- arithexpression (in modes)
- arithexpression/1 (arithmetic regular type)
- arithmetic (arithmetic library)
- arithpreds (in lazy_lib)
- arity (in Conventions)
- array_to_list/2 (arrays predicate)
- arrays (arrays library)
- asbody_to_conj/2 (formulae predicate)
- aset/4 (arrays predicate)
- ask/2 (terms_check predicate)
- assert/1 (dynamic_rt predicate)
- assert/2 (dynamic_rt predicate)
- assert_body_type/1 (formulae predicate)
- asserta/1 (dynamic_rt predicate)
- asserta/2 (dynamic_rt predicate)
- asserta_fact/1 (datafacts_rt predicate)
- asserta_fact/2 (datafacts_rt predicate)
- assertion body syntax (in assertions_props)
- assertion information (in ciaodump)
- assertion language (in ciaointro)
- assertion normalizer (in ciaodump)
- assertion reader/normalizer (in assrt_lib)
- assertion status (in assertions)
- assertion_body/7 (assrt_lib predicate)
- assertion_read/9 (assrt_lib predicate)
- assertions (assertions library)
- (in toplevel)
- (in debugger)
- (in profile)
- (in callgraph)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in modules)
- (in packages)
- (in condcomp)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in assertions)
- (in assertions)
- (in assertions_props)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in doccomments)
- (in rtchecks)
- (in unittest)
- (in unittest_props)
- (in unittestdecls)
- (in unittest_statistics)
- (in noprelude)
- (in pure)
- (in hiord_rt)
- (in traits)
- (in argnames)
- (in fsyntax)
- (in dcg)
- (in dcg_phrase)
- (in global_vars)
- (in mutables)
- (in indexer)
- (in block)
- (in freeze)
- (in when)
- (in andorra)
- (in det_hook)
- (in det_hook_rt)
- (in lazy)
- (in lazy_lib)
- (in bf)
- (in id)
- (in odd)
- (in aggregates)
- (in datafacts)
- (in datafacts_rt)
- (in dynamic)
- (in dynamic_rt)
- (in dynamic_clauses)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_platformbased)
- (in regp_webbased)
- (in actmod_process)
- (in actmod_rt)
- (in clpq)
- (in clpr)
- (in clpfd)
- (in clpfd_rt)
- (in tabling)
- (in attr)
- (in attr_rt)
- (in attributes)
- (in foreign_interface)
- (in foreign_interface_properties)
- (in foreign_compilation)
- (in build_foreign_interface)
- (in classic)
- (in classic_predicates)
- (in iso_strict)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in ttyout)
- (in runtime_ops)
- (in listing)
- (in lists)
- (in hiordlib)
- (in sort)
- (in llists)
- (in idlists)
- (in numlists)
- (in strings)
- (in fuzzy_search)
- (in diff)
- (in dict)
- (in vndict)
- (in arrays)
- (in assoc)
- (in keys)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in queues)
- (in sets)
- (in bitcodesets)
- (in lsets)
- (in streams)
- (in stream_basic)
- (in io_basic)
- (in stream_utils)
- (in tokenize)
- (in read)
- (in read_from_string)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in messages_basic)
- (in runtime_control)
- (in system_info)
- (in assrt_lib)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in io_alias_redirection)
- (in port_reify)
- (in io_port_reify)
- (in errhandle)
- (in terms)
- (in terms_check)
- (in terms_vars)
- (in cyclic_terms)
- (in fastrw)
- (in modblobs)
- (in formulae)
- (in counters)
- (in between)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in sockets_io)
- (in http)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in pillow)
- (in html)
- (in json)
- (in color_space)
- (in glob)
- (in regexp)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in file_locks)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- assertions/assertions_basic (in toplevel)
- (in debugger)
- (in profile)
- (in callgraph)
- (in modules)
- (in packages)
- (in condcomp)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in doccomments)
- (in rtchecks)
- (in unittest)
- (in unittest_props)
- (in unittestdecls)
- (in unittest_statistics)
- (in noprelude)
- (in pure)
- (in hiord_rt)
- (in traits)
- (in argnames)
- (in fsyntax)
- (in dcg)
- (in dcg_phrase)
- (in global_vars)
- (in mutables)
- (in indexer)
- (in block)
- (in freeze)
- (in when)
- (in andorra)
- (in det_hook)
- (in det_hook_rt)
- (in lazy)
- (in lazy_lib)
- (in bf)
- (in id)
- (in odd)
- (in aggregates)
- (in datafacts)
- (in datafacts_rt)
- (in dynamic)
- (in dynamic_rt)
- (in dynamic_clauses)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_platformbased)
- (in regp_webbased)
- (in actmod_process)
- (in actmod_rt)
- (in clpq)
- (in clpr)
- (in clpfd)
- (in clpfd_rt)
- (in tabling)
- (in attr)
- (in attr_rt)
- (in attributes)
- (in foreign_interface)
- (in foreign_interface_properties)
- (in foreign_compilation)
- (in build_foreign_interface)
- (in classic)
- (in classic_predicates)
- (in iso_strict)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in ttyout)
- (in runtime_ops)
- (in listing)
- (in lists)
- (in hiordlib)
- (in sort)
- (in llists)
- (in idlists)
- (in numlists)
- (in strings)
- (in fuzzy_search)
- (in diff)
- (in dict)
- (in vndict)
- (in arrays)
- (in assoc)
- (in keys)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in queues)
- (in sets)
- (in bitcodesets)
- (in lsets)
- (in streams)
- (in stream_basic)
- (in io_basic)
- (in stream_utils)
- (in tokenize)
- (in read)
- (in read_from_string)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in messages_basic)
- (in runtime_control)
- (in system_info)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in io_alias_redirection)
- (in port_reify)
- (in io_port_reify)
- (in errhandle)
- (in terms)
- (in terms_check)
- (in terms_vars)
- (in cyclic_terms)
- (in fastrw)
- (in modblobs)
- (in formulae)
- (in counters)
- (in between)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in sockets_io)
- (in http)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in pillow)
- (in html)
- (in json)
- (in color_space)
- (in glob)
- (in regexp)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in file_locks)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- assertions/native_props (in rtchecks)
- assertions_basic (in assertions)
- assertions_props (assertions_props library)
- assertz/1 (dynamic_rt predicate)
- assertz/2 (dynamic_rt predicate)
- assertz_fact/1 (datafacts_rt predicate)
- assertz_fact/2 (datafacts_rt predicate)
- assoc (assoc library)
- assoc_to_list/2 (assoc predicate)
- assrt_body/1 (assertions_props regular type)
- assrt_lib (assrt_lib library)
- assrt_status/1 (assertions_props regular type)
- assrt_type/1 (assertions_props regular type)
- assrt_write (assrt_write library)
- async.ftypes/2 (actmod_dist predicate)
- async.run/2 (actmod_dist predicate)
- at_end_of_stream/0 (streams udreexp)
- at_end_of_stream/1 (iso_incomplete predicate)
- atan/1 (in arithmetic)
- atm/1 (basic_props regular type)
- atm_or_atm_list/1 (basic_props regular type)
- atm_or_int/1 (streams udreexp)
- atom/1 (term_typing property)
- atom_chars/2 (classic_predicates udreexp)
- atom_codes/2 (atomic_basic predicate)
- atom_concat/2 (terms predicate)
- atom_concat/3 (atomic_basic predicate)
- atom_length/2 (atomic_basic predicate)
- atom_lock_state/2 (concurrency predicate)
- atom_number/2 (atomic_basic predicate)
- atom_number/3 (atomic_basic predicate)
- atom_to_term/2 (actmod_dist predicate)
- atomic/1 (term_typing property)
- atomic_basic (atomic_basic library)
- atomic_basic:number_codes/2 (in ciaochanges)
- atomic_to_json_str/2 (json predicate)
- atomiclst_to_json_strlist/2 (json predicate)
- attach_attribute/2 (attributes predicate)
- attr (attr library)
- attr_rt (attr_rt library)
- attr_rt:attribute_goals/4 (clpfd_rt predicate)
- attr_rt:unify_hook/3 (clpfd_rt predicate)
- attributed variables (in attr)
- attributes (attributes library)
- attvar/1 (attr_rt predicate)
- auto-documenter command args, setting (in CiaoMode)
- auto-documenter command, setting (in CiaoMode)
- auto-documenter default format, setting (in CiaoMode)
- auto-documenter working dir, setting (in CiaoMode)
- auto-fill (in CiaoMode)
- auto-indentation (in CiaoMode)
B
- BA82 (cite)
- BBP81 (cite)
- BCC04 (cite)
- BCHP96 (cite)
- BGH99 (cite)
- BLGH04 (cite)
- BLGPH04 (cite)
- Bristol University (in ciaointro)
- Bue95 (cite)
- Byr80 (cite)
- backup file (in persdb_rt)
- backup_file/1 (system_extra predicate)
- bagof/3 (aggregates predicate)
- bash (in Install)
- basic_props (basic_props library)
- basic_props:filter/2 (in ciaochanges)
- basic_props:num_code/1 (in ciaochanges)
- basic_props:regtype/1 (in regtypes)
- basiccontrol (basiccontrol library)
- basiccontrol:fail/0 (in ciaochanges)
- basicmodes (basicmodes library)
- between (between library)
- between/3 (classic_predicates udreexp)
- bf (bf library)
- binary directory (in Install)
- bind_ins/1 (basic_props property)
- bind_socket/3 (sockets predicate)
- binding_port_call/1 (process_channel predicate)
- bitcode_to_listofbitcode/2 (bitcodesets predicate)
- bitcode_to_set/2 (bitcodesets predicate)
- bitcode_to_set/3 (bitcodesets predicate)
- bitcode_to_set_array/2 (bitcodesets predicate)
- bitcodesets (bitcodesets library)
- bitset_empty/1 (bitcodesets predicate)
- bitset_equal/2 (bitcodesets predicate)
- bitset_intersect/3 (bitcodesets predicate)
- bitset_member/2 (bitcodesets predicate)
- bitset_member_SoS/2 (bitcodesets predicate)
- bitset_size/2 (bitcodesets predicate)
- bitset_subset/2 (bitcodesets predicate)
- bitset_subtract/3 (bitcodesets predicate)
- bitset_subtract_list/3 (bitcodesets predicate)
- bitset_union/3 (bitcodesets predicate)
- bitset_union_list/2 (bitcodesets predicate)
- bitset_union_list_list_s/4 (bitcodesets predicate)
- block (block library)
- block/1 (block declaration)
- body/1 (pretty_print regular type)
- body2list/2 (formulae predicate)
- bound_random/3 (unittest_props property)
- box-type debugger (in debugger)
- breadth first execution (in id)
- breadth-first execution (in ExtendLang)
- breakpoins (in debugger)
- breakpoint (in debugger)
- breakpoints (in debugger)
- breakpt/6 (debugger predicate)
- browse/2 (librowser predicate)
- buffer (in CiaoMode)
- bugs, reporting (in Troubleshooting)
- build_foreign_interface (build_foreign_interface library)
- build_foreign_interface/1 (build_foreign_interface predicate)
- build_foreign_interface_explicit_decls/1 (in build_foreign_interface)
- build_foreign_interface_explicit_decls/2 (build_foreign_interface predicate)
- builder (builder library)
- built-in profiler (in profile)
- builtin directives (in packages)
- builtin modules (in modules)
- bundle (in ciaointro)
- bundle/bundle_paths (in builder)
- bundle_fetch (in builder)
- bundle_flags (in archive_files)
- bundle_path/3 (in builder)
- bundle_paths (in unittest)
- bundles (bundles library)
- byrd-box model (in CiaoMode)
- bytelist/1 (basic_props regular type)
- bytes_to_file/2 (stream_utils predicate)
C
- C/3 (term_basic predicate)
- CCH06 (cite)
- CD96 (cite)
- CGH93 (cite)
- CGI (in http)
- CH00a (cite)
- CH00b (cite)
- CH00c (cite)
- CH00d (cite)
- CH01 (cite)
- CH95 (cite)
- CH99a (cite)
- CH99b (cite)
- CHGT98 (cite)
- CHL04 (cite)
- CHV96 (cite)
- CLI95 (cite)
- CLIP group (in ciaointro)
- CM81 (cite)
- COS96 (cite)
- Cab04 (cite)
- Car87 (cite)
- Car88 (cite)
- Check(X) (in native_props_cardinality)
- Christian Holzbauer (in ciaointro)
- Christian Holzbaur (clpq author)
- Ciao Prolog (in getopts)
- Ciao auto-documenter (in CiaoMode)
- Ciao basic language (in BasicLang)
- Ciao engine (in ciaointro)
- Ciao engine builtins (in stream_basic)
- Ciao mode version (in CiaoMode)
- Ciao object file (in ciaodump)
- Ciao preprocessor (in ciaointro)
- Ciao top-level (in CiaoMode)
- Ciao, why this name (in ciaointro)
- CiaoMode (CiaoMode library)
- CiaoPP (in foreign_interface)
- CiaoPP Program Processor (in CiaoMode)
- Claudio Vaucheret (andorra author)
- Col78 (cite)
- Col82 (cite)
- CommandLineUse (CommandLineUse library)
- Context-sensitive (in CommandLineUse)
- Conventions (Conventions library)
- Cygwin (in ciaochanges)
- c_assrt_body/1 (assertions_props regular type)
- c_double/1 (foreign_interface_properties regular type)
- c_double_list/1 (foreign_interface_properties regular type)
- c_float/1 (foreign_interface_properties regular type)
- c_int/1 (foreign_interface_properties regular type)
- c_int16/1 (foreign_interface_properties regular type)
- c_int32/1 (foreign_interface_properties regular type)
- c_int64/1 (foreign_interface_properties regular type)
- c_int8/1 (foreign_interface_properties regular type)
- c_int_list/1 (foreign_interface_properties regular type)
- c_itf (in toplevel)
- c_itf_props (in callgraph)
- c_itf_props:moddesc/1 (in ciaochanges)
- c_long/1 (foreign_interface_properties regular type)
- c_short/1 (foreign_interface_properties regular type)
- c_size/1 (foreign_interface_properties regular type)
- c_uint/1 (foreign_interface_properties regular type)
- c_uint16/1 (foreign_interface_properties regular type)
- c_uint32/1 (foreign_interface_properties regular type)
- c_uint64/1 (foreign_interface_properties regular type)
- c_uint8/1 (foreign_interface_properties regular type)
- c_uint8_list/1 (foreign_interface_properties regular type)
- c_uintptr/1 (foreign_interface_properties regular type)
- c_ulong/1 (foreign_interface_properties regular type)
- c_ushort/1 (foreign_interface_properties regular type)
- cache (in factsdb)
- call/1 (hiord_rt predicate)
- call/2 (meta_props property)
- call/N (in hiord_rt)
- call_det/2 (classic_predicates udreexp)
- call_graph/2 (callgraph predicate)
- call_handler_det/1 (in ciaochanges)
- call_in_module/2 (in debugger)
- call_with_std_redirect/3 (io_port_reify predicate)
- callable/1 (basic_props property)
- callgraph (callgraph library)
- callme/2 (meta_props predicate)
- calls assertion (in assertions)
- calls/1 (assertions declaration)
- calls/2 (assertions declaration)
- can_highlight/1 (syntax_highlight predicate)
- canonic_html_term/1 (html regular type)
- canonic_xml_term/1 (html regular type)
- cardinality/3 (native_props_cardinality property)
- catch/3 (exceptions predicate)
- cd/1 (classic_predicates udreexp)
- ceiling/1 (in arithmetic)
- cgi (cgi library)
- cgi_read_request/1 (cgi predicate)
- cgi_write_response/1 (cgi predicate)
- cgoal/1 (basic_props regular type)
- change, author (in CiaoMode)
- change, comment (in CiaoMode)
- changelog (in CiaoMode)
- changelog entry (in CiaoMode)
- changing the executables used (in CiaoMode)
- channel_bindings/2 (process_channel predicate)
- char_code/2 (classic_predicates udreexp)
- char_codes/2 (classic_predicates udreexp)
- char_conversion/2 (in iso_strict)
- character string (in assertions)
- character_code/1 (basic_props regular type)
- character_count/2 (streams udreexp)
- check assertion (in assertions)
- check/1 (assertions predicate)
- check_code_and_assrt_syntax/1 (assrt_lib predicate)
- chmod/2 (classic_predicates udreexp)
- chmod/3 (classic_predicates udreexp)
- chn_actref/2 (actmod_dist predicate)
- ciao (in Install)
- ciao, global description (in ciaointro)
- ciao-env (in Install)
- ciao-shell (in Install)
- ciao_c_headers_dir/1 (system_info predicate)
- ciao_lib_dir/1 (in ciaochanges)
- ciao_root/1 (in ciaochanges)
- ciaoc (in Install)
- ciaoc.bat (in ciaoc)
- ciaoc_aux (in actmod_process)
- ciaoc_sdyn (in builder)
- ciaopp (in ciao)
- ciaosh (in Install)
- cl_option/2 (getopts predicate)
- classic (classic library)
- classic_predicates (classic_predicates library)
- classical Prolog (in classic)
- clause (in Conventions)
- clause/1 (pretty_print regular type)
- clause/2 (dynamic_rt predicate)
- clause/3 (dynamic_rt predicate)
- clause_of/7 (in assrt_lib)
- clause_read/7 (assrt_lib predicate)
- clauses/1 (pretty_print regular type)
- clean_file_tree/2 (source_tree predicate)
- cleanup (in unittest)
- cleanup(CleanupPred) (in unittest)
- cleanup/2 (unittest_props property)
- cleanup_binding/1 (process_channel predicate)
- cleanup_code_and_related_assertions/0 (assrt_lib predicate)
- clearerr/1 (streams udreexp)
- clique/1 (native_props_shfrg property)
- clique_1/1 (native_props_shfrg property)
- clockfreq_option/1 (runtime_control regular type)
- clockfreq_result/1 (runtime_control regular type)
- close/1 (iso_incomplete predicate)
- close/2 (iso_incomplete predicate)
- close_file/1 (classic_predicates udreexp)
- close_input/1 (stream_utils predicate)
- close_option/1 (iso_incomplete regular type)
- close_options/1 (iso_incomplete regular type)
- close_output/1 (stream_utils predicate)
- close_predicate/1 (datafacts_rt predicate)
- close_redirect/2 (process_channel predicate)
- close_std_redirect/1 (io_port_reify predicate)
- closed (in datafacts_rt)
- closure_under_union/2 (lsets predicate)
- clp_entailed/1 (in ciaochanges)
- clp_meta/1 (in ciaochanges)
- clpfd (clpfd library)
- clpfd/clpfd_debug (in clpfd_rt)
- clpfd/clpfd_options (in clpfd_rt)
- clpfd_debug_rt (in clpfd_rt)
- clpfd_doc (in clpfd_rt)
- clpfd_rt (clpfd_rt library)
- clpq (clpq library)
- clpq_entailed/1 (in clpq)
- clpq_meta/1 (in clpq)
- clpr (clpr library)
- clterm/1 (pretty_print regular type)
- code-related information (in ciaodump)
- code_class/2 (streams udreexp)
- collect_singletons/2 (llists predicate)
- color/1 (color_space property)
- color_space (color_space library)
- color_to_hex/2 (color_space predicate)
- coloring, syntax (in CiaoMode)
- combine_attributes/2 (attributes predicate)
- command (in debugger)
- comment assertion (in assertions)
- comment string (in assertions_props)
- comment/2 (assertions declaration)
- comments, machine readable (in assertions)
- comp assertion (in assertions)
- comp/1 (assertions declaration)
- comp/2 (assertions declaration)
- comp_menu_node/3 (menu_generator predicate)
- company-ciao (in company-ciao)
- company-mode (in company-ciao)
- companyciao, intro (in company-ciao)
- comparator/1 (term_compare regular type)
- compare/3 (term_compare predicate)
- compat/2 (basic_props property)
- compatibility properties (in regtypes)
- compatible (in assertions_props)
- compile/1 (toplevel predicate)
- compiler (compiler library)
- compiler, standalone (in ciaoc)
- compiler/c_itf (in assrt_lib)
- compiler_and_opts/2 (foreign_compilation predicate)
- compiling (in CiaoMode)
- compiling programs (in CommandLineUse)
- compiling, from command line (in ciaoc)
- complete proof procedure (in id)
- complete_dict/3 (vndict predicate)
- complete_dict_alpha/3 (vndict predicate)
- complete_vars_dict/3 (vndict predicate)
- complete_vars_dict_alpha/3 (vndict predicate)
- complex argument property (in assertions_props)
- complex goal property (in assertions_props)
- complex_arg_property/1 (assertions_props regular type)
- complex_goal_property/1 (assertions_props regular type)
- compound/1 (classic_predicates udreexp)
- comps_to_goal/3 (assrt_lib predicate)
- comps_to_goal/4 (assrt_lib predicate)
- conc_aggregates (conc_aggregates library)
- concurrency (concurrency library)
- concurrent (in datafacts_rt)
- concurrent predicate (in datafacts)
- concurrent predicates (in datafacts)
- concurrent updates (in persdb_rt)
- concurrent/1 (datafacts_rt declaration)
- condcomp (condcomp library)
- (in toplevel)
- (in debugger)
- (in profile)
- (in callgraph)
- (in modules)
- (in packages)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in doccomments)
- (in rtchecks)
- (in unittest)
- (in unittest_props)
- (in unittestdecls)
- (in unittest_statistics)
- (in noprelude)
- (in pure)
- (in hiord_rt)
- (in traits)
- (in argnames)
- (in fsyntax)
- (in dcg)
- (in dcg_phrase)
- (in global_vars)
- (in mutables)
- (in indexer)
- (in block)
- (in freeze)
- (in when)
- (in andorra)
- (in det_hook)
- (in det_hook_rt)
- (in lazy)
- (in lazy_lib)
- (in bf)
- (in id)
- (in odd)
- (in aggregates)
- (in datafacts)
- (in datafacts_rt)
- (in dynamic)
- (in dynamic_rt)
- (in dynamic_clauses)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_platformbased)
- (in regp_webbased)
- (in actmod_process)
- (in actmod_rt)
- (in clpq)
- (in clpr)
- (in clpfd)
- (in clpfd_rt)
- (in tabling)
- (in attr)
- (in attr_rt)
- (in attributes)
- (in foreign_interface)
- (in foreign_interface_properties)
- (in foreign_compilation)
- (in build_foreign_interface)
- (in classic)
- (in classic_predicates)
- (in iso_strict)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in ttyout)
- (in runtime_ops)
- (in listing)
- (in lists)
- (in hiordlib)
- (in sort)
- (in llists)
- (in idlists)
- (in numlists)
- (in strings)
- (in fuzzy_search)
- (in diff)
- (in dict)
- (in vndict)
- (in arrays)
- (in assoc)
- (in keys)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in queues)
- (in sets)
- (in bitcodesets)
- (in lsets)
- (in streams)
- (in stream_basic)
- (in io_basic)
- (in stream_utils)
- (in tokenize)
- (in read)
- (in read_from_string)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in messages_basic)
- (in runtime_control)
- (in system_info)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in io_alias_redirection)
- (in port_reify)
- (in io_port_reify)
- (in ctrlcclean)
- (in errhandle)
- (in terms)
- (in terms_check)
- (in terms_vars)
- (in cyclic_terms)
- (in fastrw)
- (in modblobs)
- (in formulae)
- (in counters)
- (in between)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in sockets_io)
- (in http)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in pillow)
- (in html)
- (in json)
- (in color_space)
- (in glob)
- (in regexp)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in file_locks)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- config_common (in datadir)
- config_common:data_root_dir/1 (in datadir)
- conj_disj_type/1 (formulae regular type)
- conj_to_list/2 (formulae predicate)
- conj_to_llist/2 (formulae predicate)
- connect_to_socket/3 (sockets predicate)
- connect_to_socket_type/4 (sockets predicate)
- const_head/1 (term_basic predicate)
- constant/1 (basic_props regular type)
- constraint logic programming (in ExtendLang)
- constraint/1 (native_props_polyhedral property)
- consult/1 (toplevel predicate)
- contains1/2 (lists predicate)
- contains_ro/2 (lists predicate)
- control (in odd)
- copy_args/3 (terms predicate)
- copy_extract_attr/3 (in ciaochanges)
- copy_extract_attr_nc/3 (in ciaochanges)
- copy_file/2 (classic_predicates udreexp)
- copy_file/3 (classic_predicates udreexp)
- copy_file_or_dir/2 (source_tree predicate)
- copy_file_tree/4 (source_tree predicate)
- copy_file_tree/5 (source_tree predicate)
- copy_files/2 (system_extra predicate)
- copy_files/3 (system_extra predicate)
- copy_files_nofail/3 (system_extra predicate)
- copy_option/1 (classic_predicates udreexp)
- copy_options/1 (classic_predicates udreexp)
- copy_stream/3 (stream_utils predicate)
- copy_term/2 (term_basic predicate)
- copy_term/3 (attr_rt predicate)
- copy_term_nat/2 (term_basic predicate)
- core/lib/rtchecks/rtchecks_rt_propimpl.pl (in rtchecks)
- cos/1 (in arithmetic)
- cost/4 (native_props_cost property)
- cost_expression/1 (native_props_cost regular type)
- costb/4 (native_props_cost property)
- counters (counters library)
- covered/1 (native_props_nfdet property)
- covered/2 (native_props_shfrg property)
- create/2 (persdb_rt predicate)
- create_dict/2 (vndict predicate)
- create_link/2 (system_extra predicate)
- create_mutable/2 (mutables predicate)
- create_pretty_dict/2 (vndict predicate)
- create_rel_link/2 (system_extra predicate)
- creating executables (in CiaoMode)
- creep (in debugger)
- cross_product/2 (lists predicate)
- csh (in Install)
- csh-compatible shell (in Install)
- ctrlc_clean/1 (ctrlcclean predicate)
- ctrlcclean (ctrlcclean library)
- ctrlcclean/0 (ctrlcclean predicate)
- ctype (in foreign_interface)
- current input (in read)
- current input stream (in stream_basic)
- current output stream (in stream_basic)
- current/2 (global_vars predicate)
- current_atom/1 (runtime_control predicate)
- current_debugged/1 (debugger predicate)
- current_env/2 (classic_predicates udreexp)
- current_executable/1 (classic_predicates udreexp)
- current_fact/1 (datafacts_rt predicate)
- current_fact/2 (datafacts_rt predicate)
- current_fact_nb/1 (datafacts_rt predicate)
- current_file_find/3 (source_tree predicate)
- current_host/1 (classic_predicates udreexp)
- current_infixop/4 (operators predicate)
- current_input/1 (iso_incomplete predicate)
- current_key/2 (classic_predicates udreexp)
- current_module/1 (runtime_control predicate)
- current_op/3 (classic_predicates udreexp)
- current_output/1 (iso_incomplete predicate)
- current_postfixop/3 (operators predicate)
- current_predicate/1 (dynamic_rt predicate)
- current_predicate/2 (dynamic_rt predicate)
- current_prefixop/3 (operators predicate)
- current_prolog_flag/2 (runtime_control predicate)
- current_stream/3 (streams udreexp)
- customize (in CiaoMode)
- cycle/2 (lazy_lib predicate)
- cyclic_term/1 (term_basic predicate)
- cyclic_terms (cyclic_terms library)
- cyg2win/3 (classic_predicates udreexp)
- cyg2win_a/3 (classic_predicates udreexp)
D
- D.H.D. Warren (in ciaointro)
- D.L. Bowen (in ciaointro)
- DECsystem-10 Prolog User's Manual (in ciaointro)
- DEDC96 (cite)
- DL93 (cite)
- DLGH97 (cite)
- DLGHL97 (cite)
- DS99 (cite)
- Daniel Cabeza (Install author)
- (toplevel author)
- (debugger author)
- (debugger author)
- (ciao-shell author)
- (ciaodump author)
- (CiaoMode author)
- (modules author)
- (packages author)
- (basiccontrol author)
- (term_typing author)
- (term_basic author)
- (term_compare author)
- (arithmetic author)
- (basic_props author)
- (isomodes author)
- (hiord_rt author)
- (argnames author)
- (fsyntax author)
- (freeze author)
- (bf author)
- (odd author)
- (aggregates author)
- (datafacts author)
- (datafacts_rt author)
- (dynamic_clauses author)
- (dynamic_clauses_rt author)
- (persdb_rt author)
- (actmod author)
- (clpq author)
- (clpr author)
- (attr author)
- (attr_rt author)
- (attributes author)
- (classic author)
- (classic_predicates author)
- (iso_char author)
- (iso_misc author)
- (runtime_ops author)
- (hiordlib author)
- (strings author)
- (stream_basic author)
- (io_basic author)
- (read author)
- (read_from_string author)
- (write author)
- (operators author)
- (messages_basic author)
- (runtime_control author)
- (system_info author)
- (libpaths author)
- (system author)
- (cyclic_terms author)
- (fastrw author)
- (random author)
- (sockets author)
- (http_client author)
- (pillow author)
- (html author)
- (file_locks author)
- (in ciaointro)
- (in CiaoMode)
- David H.D. Warren (aggregates author)
- David Trallero (in CiaoMode)
- Dij65 (cite)
- dG12 (cite)
- dGCHS12 (cite)
- damerau_lev_dist/3 (fuzzy_search predicate)
- data (in dynamic_rt)
- data declaration (in debugging_in_ciaopp)
- data file (in persdb_rt)
- data predicate (in datafacts)
- data/1 (datafacts_rt declaration)
- database initialization (in persdb_rt)
- datadir (datadir library)
- datafacts (datafacts library)
- (in exceptions)
- (in unittest)
- (in global_vars)
- (in mutables)
- (in det_hook_rt)
- (in aggregates)
- (in datafacts_rt)
- (in dynamic_rt)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod_dist)
- (in actmod_process)
- (in actmod_rt)
- (in attr_rt)
- (in build_foreign_interface)
- (in classic)
- (in iso_strict)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in read)
- (in operators)
- (in format)
- (in runtime_control)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in io_port_reify)
- (in ctrlcclean)
- (in modblobs)
- (in counters)
- (in syntax_highlight)
- (in librowser)
- (in random_aggregates)
- (in http_server)
- (in messages)
- (in menu_generator)
- (in symfnames)
- datafacts_rt (datafacts_rt library)
- (in exceptions)
- (in unittest)
- (in global_vars)
- (in mutables)
- (in det_hook_rt)
- (in aggregates)
- (in datafacts)
- (in dynamic_rt)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod_dist)
- (in actmod_process)
- (in actmod_rt)
- (in attr_rt)
- (in build_foreign_interface)
- (in classic)
- (in iso_strict)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in read)
- (in operators)
- (in format)
- (in runtime_control)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in io_port_reify)
- (in ctrlcclean)
- (in modblobs)
- (in counters)
- (in syntax_highlight)
- (in librowser)
- (in random_aggregates)
- (in http_server)
- (in messages)
- (in menu_generator)
- (in symfnames)
- datafacts_rt:asserta_fact/1 (in factsdb_rt)
- datafacts_rt:assertz_fact/1 (in factsdb_rt)
- datafacts_rt:current_fact/1 (in factsdb_rt)
- datafacts_rt:retract_fact/1 (in factsdb_rt)
- datime/1 (classic_predicates udreexp)
- datime/9 (classic_predicates udreexp)
- datime_atom/1 (system_extra predicate)
- datime_atom/2 (system_extra predicate)
- datime_string/1 (system_extra predicate)
- datime_string/2 (system_extra predicate)
- datime_struct/1 (classic_predicates udreexp)
- datime_to_string/2 (system_extra predicate)
- dcg (dcg library)
- (in unittest)
- (in dcg_phrase)
- (in mutables)
- (in clpfd_rt)
- (in attr)
- (in attr_rt)
- (in build_foreign_interface)
- (in classic)
- (in iso_strict)
- (in hiordlib)
- (in format)
- (in assrt_lib)
- (in librowser)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in html)
- (in json)
- (in regexp_code)
- (in parse_shell_args)
- (in opendoc)
- dcg/dcg_phrase (in dcg)
- dcg_phrase (dcg_phrase library)
- dcg_phrase_rt (in classic)
- debug (in debugger)
- debug (interpreted) mode (in debugger)
- debug options (in debugger)
- debug/0 (debugger predicate)
- debug_message/1 (messages predicate)
- debug_message/2 (messages predicate)
- debug_module/1 (debugger predicate)
- debug_module_source/1 (debugger predicate)
- debugger (debugger library)
- debugger_lib (in debugger)
- debugging (in debugger)
- debugging tools (in debugger)
- debugging, source-level (in CiaoMode)
- debugging/0 (debugger predicate)
- debugging_in_ciaopp (debugging_in_ciaopp library)
- debugrtc/0 (debugger udreexp)
- dec10_io (dec10_io library)
- deccounter/2 (counters predicate)
- decl assertion (in assertions)
- decl/1 (assertions declaration)
- decl/2 (assertions declaration)
- declarations, user defined (in modules)
- decomp_menu_node/3 (menu_generator predicate)
- deductive database (in persdb_rt)
- default (in toplevel)
- default modules (in modules)
- default_error_message/1 (errhandle predicate)
- define_flag (in unittest)
- define_flag/3 (unittest predicate)
- del(Pos, Elem) (in diff)
- del_assoc/4 (assoc predicate)
- del_attr/2 (attr_rt predicate)
- del_attr_local/1 (attr_rt predicate)
- del_dir_if_empty/1 (system_extra predicate)
- del_edges/3 (ugraphs predicate)
- del_env/1 (classic_predicates udreexp)
- del_file_nofail/1 (system_extra predicate)
- del_files_nofail/1 (system_extra predicate)
- del_max_assoc/4 (assoc predicate)
- del_min_assoc/4 (assoc predicate)
- del_vertices/3 (ugraphs predicate)
- delaying predicate execution (in ExtendLang)
- delete/3 (classic_predicates udreexp)
- delete_directory/1 (classic_predicates udreexp)
- delete_file/1 (classic_predicates udreexp)
- delete_glob/2 (source_tree predicate)
- delete_modblob/1 (modblobs predicate)
- delete_non_ground/3 (lists predicate)
- delete_on_ctrlc/2 (ctrlcclean predicate)
- delete_var_from_list_of_lists/4 (lsets predicate)
- denorm_goal_prop/3 (assrt_lib predicate)
- deploy_data_root_dir/1 (datadir predicate)
- deprecated/1 (basic_props property)
- depth limit (in id)
- depth-first iterative deepening (in id)
- describe/1 (librowser predicate)
- det/1 (native_props_nfdet property)
- det_hook (det_hook library)
- det_hook_rt (det_hook_rt library)
- det_try/3 (det_hook_rt predicate)
- detach_attribute/1 (attributes predicate)
- detcond/1 (andorra regular type)
- detect_language/2 (syntax_highlight predicate)
- determinate goal (in andorra)
- determinate/2 (andorra declaration)
- dev_null/1 (classic_predicates udreexp)
- development environment (in EmacsUse)
- dgraph/1 (graphs regular type)
- dgraph_to_ugraph/2 (graphs predicate)
- dic_get/3 (dict predicate)
- dic_lookup/3 (dict predicate)
- dic_lookup/4 (dict predicate)
- dic_node/2 (dict predicate)
- dic_replace/4 (dict predicate)
- dict (dict library)
- dict2varnamesl/2 (vndict predicate)
- dict_types (in vndict)
- dictionary/1 (assertions_props regular type)
- dictionary/5 (dict predicate)
- diff (diff library)
- diff/4 (diff predicate)
- diff_item/1 (diff regular type)
- diff_vars/3 (terms_vars predicate)
- difference/3 (lists predicate)
- digit/3 (http_grammar predicate)
- directives (in modules)
- directory_files/2 (classic_predicates udreexp)
- directoryname/1 (persdb_rt regular type)
- discard_to_end/1 (stream_utils predicate)
- discontiguous/1 (modules declaration)
- disj_to_list/2 (formulae predicate)
- disj_to_llist/2 (formulae predicate)
- display (in debugger)
- display/1 (streams udreexp)
- (io_basic predicate)
- (in io_basic)
- (in write)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- display/2 (iso_incomplete predicate)
- display_list/1 (messages_basic predicate)
- displayq/1 (streams udreexp)
- displayq/2 (iso_incomplete predicate)
- dist_get_reg_protocol/1 (actmod_dist predicate)
- dist_init/3 (actmod_dist predicate)
- dist_init_args/3 (actmod_dist predicate)
- dist_log/1 (actmod_rt predicate)
- dist_send/2 (actmod_dist predicate)
- dist_set_reg_protocol/1 (actmod_dist predicate)
- distributed execution (in actmod)
- dlgraph/1 (graphs regular type)
- dlgraph_to_lgraph/2 (graphs predicate)
- dlist/3 (lists predicate)
- do_interface/1 (build_foreign_interface predicate)
- do_not_free/2 (foreign_interface_properties property)
- do_on_abolish/1 (dynamic_rt predicate)
- doc/2 (assertions declaration)
- doc_props (in format)
- doc_structure/1 (in ciaochanges)
- doccomments (doccomments library)
- docstring/1 (assertions_props property)
- documentation generator (in DevEnv)
- domain/3 (clpfd_rt predicate)
- drop/3 (lazy_lib predicate)
- dropWhile/3 (lazy_lib predicate)
- dump/3 (in ciaochanges)
- dump_constraints/3 (in ciaochanges)
- dynamic (dynamic library)
- dynamic declaration (in debugging_in_ciaopp)
- dynamic predicate (in datafacts)
- dynamic/1 (dynamic_rt predicate)
- dynamic_clauses (dynamic_clauses library)
- dynamic_clauses_rt (dynamic_clauses_rt library)
- dynamic_handling/0 (iso_strict declaration)
- dynamic_rt (dynamic_rt library)
- dynamic_search_path/1 (toplevel predicate)
E
- Edison Mera (debugger author)
- EmacsUse (EmacsUse library)
- Emilio Jesus Gallego Arias (clpfd author)
- Enrico Pontelli (in ciaointro)
- edges/2 (ugraphs predicate)
- edges_to_lgraph/2 (graphs predicate)
- edges_to_ugraph/2 (graphs predicate)
- elisp_string/1 (emacs regular type)
- emacs (emacs library)
- (in ciaointro)
- (in ciaointro)
- (in GettingStarted)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in Install)
- (in CommandLineUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in EmacsUse)
- (in debugger)
- (in debugger)
- (in debugger)
- (in debugger)
- (in debugger)
- (in debugger)
- (in debugger)
- (in ciao-shell)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in AdvCiaoEmacs)
- (in AdvCiaoEmacs)
- (in AdvCiaoEmacs)
- (in flycheck-ciao)
- (in flycheck-ciao)
- (in flycheck-ciao)
- (in flycheck-ciao)
- (in flycheck-ciao)
- (in flycheck-ciao)
- (in company-ciao)
- (in company-ciao)
- (in company-ciao)
- (in syntax_highlight)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- (in emacs)
- emacs Ciao mode (in CiaoMode)
- emacs interface (in DevEnv)
- emacs lisp (in emacs)
- emacs menu bar (in CiaoMode)
- emacs mode (in ciao-shell)
- emacs mode setup (in Install)
- emacs mode, loading several (in CiaoMode)
- emacs server (in emacs)
- emacs, intro (in EmacsUse)
- emacs_batch (in syntax_highlight)
- emacs_edit/1 (emacs predicate)
- emacs_edit_nowait/1 (emacs predicate)
- emacs_eval/1 (emacs predicate)
- emacs_eval_nowait/1 (emacs predicate)
- embedded debugger (in debugger)
- empty_assoc/1 (assoc predicate)
- empty_dir/1 (system_extra predicate)
- eng_backtrack/2 (concurrency predicate)
- eng_call/3 (concurrency predicate)
- eng_call/4 (concurrency predicate)
- eng_cut/1 (concurrency predicate)
- eng_debug_level/1 (system_info predicate)
- eng_goal_id/1 (concurrency predicate)
- eng_is_sharedlib/0 (system_info predicate)
- eng_kill/1 (concurrency predicate)
- eng_killothers (in concurrency)
- eng_killothers/0 (concurrency predicate)
- eng_release/1 (concurrency predicate)
- eng_status/0 (concurrency predicate)
- eng_wait/1 (concurrency predicate)
- engine module (in noprelude)
- engine(foreign_types) (in random)
- engine_path (in build_foreign_interface)
- ensure_datadir/2 (datadir predicate)
- ensure_loaded/1 (toplevel predicate)
- ensure_loaded/2 (compiler predicate)
- entry assertion (in assertions)
- entry declaration (in debugging_in_ciaopp)
- entry/1 (assertions declaration)
- environment variable (in Install)
- environment variable definitions (in Install)
- environment variables (in Install)
- eq/3 (menu_generator predicate)
- equal_lists/2 (lists predicate)
- equiv/2 (basic_props property)
- erase/1 (datafacts_rt predicate)
- errhandle (errhandle library)
- error term (in runtime_control)
- error(a,b) (in unittest)
- error_free/1 (basic_props property)
- error_message/1 (messages predicate)
- error_message/2 (messages predicate)
- error_message/3 (messages predicate)
- error_protect/2 (errhandle predicate)
- eval/1 (basic_props property)
- eval_template_file/3 (text_template predicate)
- eval_template_string/3 (text_template predicate)
- evaluable functors (in arithmetic)
- example (in basic_props)
- example/1 (basic_props property)
- examples (in CommandLineUse)
- examples/nameserver/nameserver.pl (in regp_platformbased)
- exception(error(a,b)) (in unittest)
- exception/1 (native_props_exceptions property)
- exception/2 (native_props_exceptions property)
- exceptions (exceptions library)
- executable (in ciaoc)
- executables, dynamic (in ciaoc)
- executables, generating (in CommandLineUse)
- executables, how to run (in ciaoc)
- executables, lazy load (in ciaoc)
- executables, self-contained (in ciaoc)
- executables, static (in ciaoc)
- executables, types (in ciaoc)
- execution visualizers (in debugger)
- exemaker (in toplevel)
- exists_menu_flag/2 (menu_generator predicate)
- exit assertion (in assertions)
- exit/1 (assertions declaration)
- exit/2 (assertions declaration)
- exit_port/1 (port_reify regular type)
- exp/1 (in arithmetic)
- exp/2 (in native_props_cost)
- exp_float_random/1 (unittest_props property)
- exp_float_random_extended/1 (unittest_props property)
- expansion (in packages)
- expansions (in Conventions)
- export/1 (modules declaration)
- exports (in ciaodump)
- extensibility (in ciaointro)
- extra_compiler_options (in foreign_interface_properties)
- extra_compiler_opts/1 (foreign_interface_properties declaration)
- extra_compiler_opts/2 (foreign_interface_properties declaration)
- extra_linker_options/1 (in foreign_interface_properties)
- extra_linker_opts/1 (foreign_interface_properties declaration)
- extra_linker_opts/2 (foreign_interface_properties declaration)
- extract_paths/2 (classic_predicates udreexp)
F
- F.C.N. Pereira (in ciaointro)
- Francisco Bueno (pldiff author)
- (assertions author)
- (regtypes author)
- (native_props author)
- (meta_props author)
- (debugging_in_ciaopp author)
- (indexer author)
- (andorra author)
- (factsdb author)
- (factsdb_rt author)
- (idlists author)
- (vndict author)
- (graphs author)
- (ugraphs author)
- (lgraphs author)
- (bitcodesets author)
- (read_from_string author)
- (assrt_write author)
- (sockets_io author)
- (symfnames author)
- (in ciaointro)
- Function applications (in fsyntax)
- Functional definitions (in fsyntax)
- fact (in Conventions)
- fact/1 (in native_props_cost)
- facts (in factsdb_rt)
- facts/2 (factsdb_rt declaration)
- factsdb (factsdb library)
- factsdb_rt (factsdb_rt library)
- fail (in debugger)
- fail/0 (basiccontrol predicate)
- fails/1 (basic_props property)
- false assertion (in assertions)
- false/0 (basiccontrol predicate)
- false/1 (assertions predicate)
- fast_read/1 (fastrw predicate)
- fast_read/2 (fastrw predicate)
- fast_write/1 (fastrw predicate)
- fast_write/2 (fastrw predicate)
- fastrw (fastrw library)
- fd_close/1 (classic_predicates udreexp)
- fd_constraints (in clpfd_rt)
- fd_dup/2 (classic_predicates udreexp)
- fd_expr/1 (clpfd_rt regular type)
- fd_labeling (in clpfd_rt)
- fd_optim (in clpfd_rt)
- fd_range_expr/1 (clpfd_rt regular type)
- fd_term (in clpfd_rt)
- fdvar/1 (clpfd_rt regular type)
- feature terms (in ExtendLang)
- fetch_url/3 (http_client predicate)
- fiber (in actmod_process)
- fibers (in regp_platformbased)
- fibers_data (in actmod_rt)
- fibers_rt (in regp_platformbased)
- file_alias (in factsdb_rt)
- file_alias/2 (factsdb_rt predicate)
- file_buffer (in build_foreign_interface)
- file_directory_base_name/3 (in ciaochanges)
- file_exists/1 (classic_predicates udreexp)
- file_exists/2 (classic_predicates udreexp)
- file_locks (file_locks library)
- file_properties/6 (classic_predicates udreexp)
- file_property/2 (classic_predicates udreexp)
- file_search_path/2 (stream_basic predicate)
- file_srctype/1 (source_tree regular type)
- file_to_bytes/2 (stream_utils predicate)
- file_to_line/2 (system_extra predicate)
- file_to_string/2 (stream_utils predicate)
- file_to_terms/2 (terms_io predicate)
- file_to_terms/3 (terms_io predicate)
- filebased_common (in regp_filebased)
- filed predicate (in factsdb)
- fileerrors/0 (runtime_control predicate)
- filter/2 (basic_props property)
- filter/3 (hiordlib predicate)
- find_executable/2 (classic_predicates udreexp)
- find_name/4 (vndict predicate)
- findall/3 (aggregates predicate)
- findall/4 (aggregates predicate)
- findnsols/4 (aggregates predicate)
- findnsols/5 (aggregates predicate)
- finite_solutions/1 (native_props_cardinality property)
- fixed_absolute_file_name/3 (streams udreexp)
- flag/1 (pretty_print regular type)
- flag_values/1 (basic_props regular type)
- flags (in runtime_control)
- flatten/2 (llists predicate)
- float/1 (term_typing property)
- float_fractional_part/1 (in arithmetic)
- float_integer_part/1 (in arithmetic)
- float_random/1 (unittest_props property)
- floor/1 (in arithmetic)
- flt/1 (basic_props regular type)
- flush_output/0 (streams udreexp)
- flush_output/1 (iso_incomplete predicate)
- flycheck-ciao (in flycheck-ciao)
- flycheckciao, intro (in flycheck-ciao)
- fmode/2 (classic_predicates udreexp)
- fnct.decl_at_mod/2 (actmod_dist predicate)
- fnct.prop/2 (actmod_dist predicate)
- foldl/4 (hiordlib predicate)
- foldl/5 (hiordlib predicate)
- foldl/6 (hiordlib predicate)
- foldl/7 (hiordlib predicate)
- foldl/8 (hiordlib predicate)
- foldr/4 (hiordlib predicate)
- foo.pl (in rtchecks)
- foo_rtc.pl (in rtchecks)
- forall/2 (classic_predicates udreexp)
- force_lazy/1 (toplevel predicate)
- force_set_actref/1 (actmod_rt predicate)
- foreign/1 (foreign_interface_properties property)
- foreign/2 (foreign_interface_properties property)
- foreign__gluecode (in build_foreign_interface)
- foreign_compilation (foreign_compilation library)
- foreign_interface (foreign_interface library)
- foreign_interface_properties (foreign_interface_properties library)
- foreign_low/1 (foreign_interface_properties property)
- foreign_low/2 (foreign_interface_properties property)
- form_assignment/1 (http_forms regular type)
- form_decode_value/3 (http_forms predicate)
- form_default/3 (http_forms predicate)
- form_dict/1 (http_forms regular type)
- form_empty_value/1 (http_forms predicate)
- form_encode_value/3 (http_forms predicate)
- form_value/1 (http_forms regular type)
- format (format library)
- format/2 (classic_predicates udreexp)
- format/3 (classic_predicates udreexp)
- format_control/1 (classic_predicates udreexp)
- format_to_string (in actmod_dist)
- format_to_string(Format, Arguments, String) (in format)
- format_to_string/3 (classic_predicates udreexp)
- formatting commands (in assertions)
- formatting conventions, for emacs (in CiaoMode)
- formulae (formulae library)
- formulae:assert_body_type/1 (in ciaochanges)
- free variable (in sockets)
- freeze (freeze library)
- freeze/2 (freeze predicate)
- frozen/2 (freeze predicate)
- fsyntax (fsyntax library)
- (in Conventions)
- (in unittest)
- (in fsyntax)
- (in lazy_lib)
- (in datadir)
- (in actmod_dist)
- (in actmod_process)
- (in actmod_rt)
- (in clpfd_rt)
- (in attr_rt)
- (in build_foreign_interface)
- (in hiordlib)
- (in logged_process)
- (in pretty_print)
- (in syntax_highlight)
- (in source_tree)
- (in json)
- (in archive_files)
- (in opendoc)
- (in openpg)
- (in emacs)
- fun_eval/1 (in fsyntax)
- fun_return/1 (in fsyntax)
- func/1 (in assertions_props)
- functional (in fsyntax)
- functional syntax (in ExtendLang)
- functor/3 (term_basic predicate)
- fuzzy_search (fuzzy_search library)
- fuzzy_search/5 (fuzzy_search predicate)
G
- GNU Library General Public License (LGPL) (in ciao)
- GNU emacs (in DevEnv)
- GdW94 (cite)
- Generate (in iso_misc)
- Gerda Janssens (in ciaointro)
- German Puebla (assertions author)
- GlobalChangeLog (in CiaoMode)
- Goal (in when)
- Gopal Gupta (in ciaointro)
- g_assrt_body/1 (assertions_props regular type)
- garbage collection (in runtime_control)
- garbage_collect/0 (runtime_control predicate)
- gc/0 (runtime_control predicate)
- gc_option/1 (runtime_control regular type)
- gc_result/1 (runtime_control regular type)
- gcd/2 (in arithmetic)
- gen_assoc/3 (assoc predicate)
- generate_asr_file/2 (assrt_lib predicate)
- generate_from_calls_n/2 (unittest_props property)
- generate_offline_menu/2 (menu_generator predicate)
- get1_code/1 (streams udreexp)
- get1_code/2 (streams udreexp)
- get_a_ext/1 (system_info predicate)
- get_actI/2 (actmod_rt predicate)
- get_addr_stream/2 (actmod_dist predicate)
- get_alias_path/0 (libpaths predicate)
- get_arch/1 (system_info predicate)
- get_assertions_and_code/5 (in assrt_lib)
- get_assoc/3 (assoc predicate)
- get_assoc/5 (assoc predicate)
- get_attr/3 (attr_rt predicate)
- get_attr_local/2 (attr_rt predicate)
- get_attribute/2 (attributes predicate)
- get_byte/1 (iso_incomplete predicate)
- get_byte/2 (iso_incomplete predicate)
- get_char/1 (classic_predicates udreexp)
- get_char/2 (classic_predicates udreexp)
- get_ciao_ext/1 (system_info predicate)
- get_code/1 (iso_incomplete predicate)
- get_code/2 (iso_incomplete predicate)
- get_code_and_related_assertions/5 (assrt_lib predicate)
- get_code_and_related_assertions_opts/6 (assrt_lib predicate)
- get_cookies/1 (cgi predicate)
- get_debugger_state/1 (debugger predicate)
- get_exec_ext/1 (system_info predicate)
- get_file_srctype/2 (source_tree predicate)
- get_form_input/1 (in ciaochanges)
- get_form_value/3 (http_forms predicate)
- get_form_value_atm/3 (http_forms predicate)
- get_form_value_string/3 (http_forms predicate)
- get_gid/1 (classic_predicates udreexp)
- get_grnam/1 (classic_predicates udreexp)
- get_home/1 (classic_predicates udreexp)
- get_line/1 (stream_utils predicate)
- get_line/2 (stream_utils predicate)
- get_menu_configs/1 (menu_generator predicate)
- get_menu_flag/3 (menu_generator predicate)
- get_menu_flags/1 (menu_generator predicate)
- get_menu_flags/2 (menu_generator predicate)
- get_mutable/2 (mutables predicate)
- get_next_assoc/4 (assoc predicate)
- get_numcores/1 (classic_predicates udreexp)
- get_os/1 (system_info predicate)
- get_pid/1 (classic_predicates udreexp)
- get_platform/1 (system_info predicate)
- get_prev_assoc/4 (assoc predicate)
- get_primes/2 (numlists predicate)
- get_pwnam/1 (classic_predicates udreexp)
- get_so_ext/1 (system_info predicate)
- get_statistical_summary/2 (unittest udreexp)
- get_stream/2 (io_alias_redirection predicate)
- get_tmp_dir/1 (classic_predicates udreexp)
- get_uid/1 (classic_predicates udreexp)
- getcounter/2 (counters predicate)
- getct/2 (streams udreexp)
- getct1/2 (streams udreexp)
- getenvstr/2 (classic_predicates udreexp)
- getopts (getopts library)
- getopts/1 (in getopts)
- getopts/4 (getopts predicate)
- getval/2 (global_vars predicate)
- glob (glob library)
- glob/2 (glob predicate)
- glob/3 (glob predicate)
- glob_pattern/1 (glob regular type)
- global variables (in ExtendLang)
- global_vars (global_vars library)
- gmax/3 (in when)
- gnd/1 (basic_props regular type)
- gndstr/1 (basic_props regular type)
- go/1 (modes instantiation mode)
- go/2 (modes instantiation mode)
- goals (in Conventions)
- grammar rule (in strings)
- graphs (graphs library)
- ground/1 (term_typing property)
- gsusp.guard/4 (actmod_dist predicate)
- gsusp.run/2 (actmod_dist predicate)
- guard/1 (in menu)
H
- H. Ait-Kaci (in toplevel)
- HBC12 (cite)
- HBC96 (cite)
- HBC99 (cite)
- HBPLG99 (cite)
- HBdlBP95 (cite)
- HC93 (cite)
- HC94 (cite)
- HC97 (cite)
- HCC95 (cite)
- HG91 (cite)
- HPB99 (cite)
- HPBLG05 (cite)
- HTML (in pillow)
- HTTP (in http)
- Her00 (cite)
- Her86 (cite)
- Her96 (cite)
- Her99 (cite)
- Hog84 (cite)
- Hol90 (cite)
- Hol92 (cite)
- Hol94 (cite)
- halt/0 (exceptions predicate)
- halt/1 (exceptions predicate)
- hard side-effects (in native_props_sideff)
- hash (in indexer)
- hash_term/2 (indexer predicate)
- head (in Conventions)
- head pattern (in assertions_props)
- head_pattern/1 (assertions_props property)
- hello (in ciao-shell)
- help (in CommandLineUse)
- hex/1 (color_space property)
- higher-order (in ExtendLang)
- highlight_file_to_html_string/3 (syntax_highlight predicate)
- highlight_file_to_html_term/3 (syntax_highlight predicate)
- highlight_string_to_html_string/3 (syntax_highlight predicate)
- highlight_to_html/3 (in syntax_highlight)
- hiord (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in unittest)
- (in unittest_props)
- (in hiord_rt)
- (in global_vars)
- (in lazy_lib)
- (in aggregates)
- (in actmod_process)
- (in actmod_rt)
- (in build_foreign_interface)
- (in iso_strict)
- (in iso_incomplete)
- (in lists)
- (in hiordlib)
- (in fuzzy_search)
- (in diff)
- (in assoc)
- (in stream_utils)
- (in assrt_lib)
- (in process)
- (in process_channel)
- (in port_reify)
- (in io_port_reify)
- (in source_tree)
- (in random_aggregates)
- (in sockets_io)
- (in http_client)
- (in http_server)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in glob)
- (in text_template)
- (in menu_generator)
- (in system_extra)
- (in emacs)
- hiord_rt (hiord_rt library)
- hiordlib (hiordlib library)
- hms_time/1 (http_date regular type)
- hook_menu_check_flag_value/3 (menu predicate)
- hook_menu_default_option/3 (menu predicate)
- hook_menu_flag_help/3 (menu predicate)
- hook_menu_flag_values/3 (menu predicate)
- hostname_address/2 (sockets predicate)
- hsl/1 (in color_space)
- hsl_to_hsv/2 (color_space predicate)
- hsl_to_rgb/2 (color_space predicate)
- hsv/1 (color_space property)
- hsv_to_rgb/2 (color_space predicate)
- html (html library)
- html2terms/2 (html predicate)
- html_expansion/2 (html predicate)
- html_template/3 (html predicate)
- html_term/1 (html regular type)
- http (http library)
- http/http_server (in cgi)
- http_auth_params/3 (http_grammar predicate)
- http_bind/1 (http_server predicate)
- http_client (http_client library)
- http_crlf/2 (http_grammar predicate)
- http_date (http_date library)
- http_date/1 (http_date regular type)
- http_date_str/3 (http_date predicate)
- http_doc (in pillow)
- http_field/3 (http_grammar predicate)
- http_forms (http_forms library)
- http_grammar (http_grammar library)
- http_http/4 (http_grammar predicate)
- http_line/3 (http_grammar predicate)
- http_line_atm/3 (http_grammar predicate)
- http_lines/3 (http_grammar predicate)
- http_lo_up_token/3 (http_grammar predicate)
- http_loop/1 (http_server predicate)
- http_lws/2 (http_grammar predicate)
- http_lws0/2 (http_grammar predicate)
- http_media_type/5 (http_grammar predicate)
- http_messages (http_messages library)
- http_parse_form/2 (http_forms predicate)
- http_protect/4 (http_server predicate)
- http_request_param/1 (http_client udreexp)
- http_request_str/4 (http_messages predicate)
- http_response_param/1 (http_client udreexp)
- http_response_str/3 (http_messages predicate)
- http_serve_fetch/2 (http_server predicate)
- http_server (http_server library)
- http_server_hooks (in http_server)
- http_shutdown/1 (http_server predicate)
- http_sp/2 (http_grammar predicate)
- http_status_line/3 (http_grammar predicate)
- http_token/3 (http_grammar predicate)
- http_type_params/3 (http_grammar predicate)
- httpserv.file_path/2 (http_server predicate)
- httpserv.handle/3 (http_server predicate)
- hw (in CommandLineUse)
- hw.pls (in CommandLineUse)
I
- IMDEA Software Institute (in ciaointro)
- INFOPATH (in Install)
- INRIA (in ciaointro)
- ISO Prolog standard (in StdLibs)
- ISO-Prolog (in ciaointro)
- ISO-Prolog builtins (in BasicLang)
- Ignacio Casso (unittest author)
- Install (Install library)
- Isabel Garcia-Contreras (fuzzy_search author)
- id (id library)
- identifier of a location (in persdb_rt)
- idlists (idlists library)
- if/3 (basiccontrol predicate)
- ignore_nosuccess/1 (system_extra predicate)
- impl_defined/1 (modules declaration)
- import/2 (modules declaration)
- import_opt/1 (actmod regular type)
- imports (in ciaodump)
- in/1 (modes instantiation mode)
- in/2 (modes instantiation mode)
- inccounter/2 (counters predicate)
- include/1 (toplevel predicate)
- indep/1 (native_props_shfrg property)
- indep/2 (native_props_shfrg property)
- index/1 (indexer declaration)
- indexer (indexer library)
- indexspecs/1 (indexer regular type)
- indexvar/1 (native_props_cost regular type)
- indomain/1 (clpfd_rt predicate)
- info (in Install)
- initial (in toplevel)
- (in debugger)
- (in profile)
- (in callgraph)
- (in modules)
- (in packages)
- (in condcomp)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in doccomments)
- (in rtchecks)
- (in unittest)
- (in unittest_props)
- (in unittestdecls)
- (in unittest_statistics)
- (in noprelude)
- (in pure)
- (in hiord_rt)
- (in traits)
- (in argnames)
- (in fsyntax)
- (in dcg)
- (in dcg_phrase)
- (in global_vars)
- (in mutables)
- (in indexer)
- (in block)
- (in freeze)
- (in when)
- (in andorra)
- (in det_hook)
- (in det_hook_rt)
- (in lazy)
- (in lazy_lib)
- (in bf)
- (in id)
- (in odd)
- (in aggregates)
- (in datafacts)
- (in datafacts_rt)
- (in dynamic)
- (in dynamic_rt)
- (in dynamic_clauses)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_platformbased)
- (in regp_webbased)
- (in actmod_process)
- (in actmod_rt)
- (in clpq)
- (in clpr)
- (in clpfd)
- (in clpfd_rt)
- (in tabling)
- (in attr)
- (in attr_rt)
- (in attributes)
- (in foreign_interface)
- (in foreign_interface_properties)
- (in foreign_compilation)
- (in build_foreign_interface)
- (in classic)
- (in classic_predicates)
- (in iso_strict)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in ttyout)
- (in runtime_ops)
- (in listing)
- (in lists)
- (in hiordlib)
- (in sort)
- (in llists)
- (in idlists)
- (in numlists)
- (in strings)
- (in fuzzy_search)
- (in diff)
- (in dict)
- (in vndict)
- (in arrays)
- (in assoc)
- (in keys)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in queues)
- (in sets)
- (in bitcodesets)
- (in lsets)
- (in streams)
- (in stream_basic)
- (in io_basic)
- (in stream_utils)
- (in tokenize)
- (in read)
- (in read_from_string)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in messages_basic)
- (in runtime_control)
- (in system_info)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in io_alias_redirection)
- (in port_reify)
- (in io_port_reify)
- (in ctrlcclean)
- (in errhandle)
- (in terms)
- (in terms_check)
- (in terms_vars)
- (in cyclic_terms)
- (in fastrw)
- (in modblobs)
- (in formulae)
- (in counters)
- (in between)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in sockets_io)
- (in http)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in pillow)
- (in html)
- (in json)
- (in color_space)
- (in glob)
- (in regexp)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in file_locks)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- initialization file (in CommandLineUse)
- initialization/1 (modules declaration)
- initialize_db/0 (persdb_rt predicate)
- inner (in rtchecks)
- ins(Pos, Elem) (in diff)
- insert/3 (sets predicate)
- insert_last/3 (lists predicate)
- inst/2 (basic_props property)
- installation, checking the (in Install)
- installation, configuration (in Install)
- instance/2 (terms_check property)
- instantiation mode (in AssrtLang)
- instantiation properties (in regtypes)
- instantiation state (in Conventions)
- int/1 (basic_props regular type)
- int_to_bitcode/2 (bitcodesets predicate)
- integer/1 (term_typing property)
- integer_str/3 (http_grammar predicate)
- inter-process communication (in actmod)
- intercept/3 (exceptions predicate)
- interface file (in packages)
- internal_module_id/1 (basic_props regular type)
- interpreting (in CiaoMode)
- intersect_vars/3 (terms_vars predicate)
- intersection/3 (lists predicate)
- intervals/2 (in ciaochanges)
- intexpression/1 (arithmetic regular type)
- intlist/1 (numlists regular type)
- intset_delete/3 (lists predicate)
- intset_in/2 (lists predicate)
- intset_insert/3 (lists predicate)
- intset_sequence/3 (lists predicate)
- io_alias_redirection (io_alias_redirection library)
- io_basic (io_basic library)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- io_mode/1 (streams udreexp)
- io_once_port_reify/3 (io_port_reify predicate)
- io_once_port_reify/4 (io_port_reify predicate)
- io_port_reify (io_port_reify library)
- is/2 (arithmetic predicate)
- is_array/1 (arrays predicate)
- is_assoc/1 (assoc predicate)
- is_det/1 (native_props_nfdet property)
- iso-prolog, compliance (in ciaointro)
- iso/1 (basic_props property)
- iso_char (iso_char library)
- iso_incomplete (iso_incomplete library)
- iso_misc (iso_misc library)
- iso_strict (iso_strict library)
- isomodes (isomodes library)
- (in Conventions)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in assertions_props)
- (in modes)
- (in basicmodes)
- (in unittest)
- (in hiord_rt)
- (in when)
- (in det_hook_rt)
- (in odd)
- (in aggregates)
- (in datafacts_rt)
- (in dynamic_rt)
- (in dynamic_clauses_rt)
- (in concurrency)
- (in conc_aggregates)
- (in actmod_process)
- (in foreign_compilation)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in old_database)
- (in listing)
- (in lists)
- (in sort)
- (in llists)
- (in idlists)
- (in strings)
- (in dict)
- (in arrays)
- (in ugraphs)
- (in lgraphs)
- (in stream_basic)
- (in io_basic)
- (in stream_utils)
- (in read)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in runtime_control)
- (in system_info)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in port_reify)
- (in io_port_reify)
- (in fastrw)
- (in between)
- (in syntax_highlight)
- (in source_tree)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in html)
- (in glob)
- (in text_template)
- (in messages)
- (in system_extra)
- (in parse_shell_args)
- (in symfnames)
- (in emacs)
- issue_debug_messages/1 (messages predicate)
- istty/1 (system_extra predicate)
- iterative deepening-based execution (in ExtendLang)
- iterative-deepening (in id)
- ivar/1 (native_props_shfrg property)
J
- JL87 (cite)
- JL88 (cite)
- JSON (in pillow)
- Jan Maluzynski (in ciaointro)
- Joaquin Arias (tabling author)
- Johan Andersson (in CiaoMode)
- Johan Bevemyr (in CiaoMode)
- Johan Widen (in ciaointro)
- John Gallagher (in ciaointro)
- Jose F. Morales (Install author)
- (debugger author)
- (builder author)
- (ciao-shell author)
- (ciaodump author)
- (bundles author)
- (condcomp author)
- (exceptions author)
- (native_props author)
- (doccomments author)
- (unittest author)
- (debugging_in_ciaopp author)
- (hiord_rt author)
- (traits author)
- (argnames author)
- (fsyntax author)
- (dcg_phrase author)
- (global_vars author)
- (indexer author)
- (block author)
- (det_hook author)
- (det_hook_rt author)
- (lazy author)
- (lazy_lib author)
- (datadir author)
- (actmod author)
- (actmod_dist author)
- (clpfd author)
- (foreign_interface author)
- (foreign_interface_properties author)
- (foreign_compilation author)
- (build_foreign_interface author)
- (classic author)
- (classic_predicates author)
- (iso_misc author)
- (hiordlib author)
- (diff author)
- (io_basic author)
- (tokenize author)
- (read author)
- (read_from_string author)
- (messages_basic author)
- (runtime_control author)
- (system_info author)
- (pathnames author)
- (process author)
- (process_channel author)
- (logged_process author)
- (port_reify author)
- (io_port_reify author)
- (errhandle author)
- (modblobs author)
- (source_tree author)
- (version_strings author)
- (librowser author)
- (random_aggregates author)
- (sockets_io author)
- (http_client author)
- (http_server author)
- (json author)
- (color_space author)
- (glob author)
- (text_template author)
- (system_extra author)
- (parse_shell_args author)
- (archive_files author)
- (in ciaointro)
- Jose Luis Bueno (unittest author)
- Jose Manuel Gomez Perez (persdb_rt author)
- Jose Morales (in CiaoMode)
- json (json library)
- json/1 (json regular type)
- json_as_atm/2 (json predicate)
- json_as_num/2 (json predicate)
- json_attr/1 (json regular type)
- json_attrs/1 (json regular type)
- json_get/3 (json predicate)
- json_get_atm/3 (json predicate)
- json_list/1 (json regular type)
- json_to_string/2 (json predicate)
- json_val/1 (json regular type)
K
- K. Shen (debugger author)
- K.U. Leuven (in ciaointro)
- Kalyan Muthukumar (in ciaointro)
- Kevin Greene (in ciaointro)
- Kim Marriott (in ciaointro)
- Knu84 (cite)
- Kor85 (cite)
- key sequences (in CiaoMode)
- key_lookup/4 (keys predicate)
- keyboard (in CiaoMode)
- keylist/1 (classic_predicates udreexp)
- keypair/1 (classic_predicates udreexp)
- keys (keys library)
- keys_and_values/3 (keys predicate)
- keys_and_values/4 (keys predicate)
- keysort/2 (classic_predicates udreexp)
- keyword/1 (persdb_rt predicate)
- kill/2 (classic_predicates udreexp)
L
- L. Byrd (in ciaointro)
- L.M. Pereira (in ciaointro)
- LGBH05 (cite)
- LGBH10 (cite)
- LGHD96 (cite)
- LPdoc (in ciaointro)
- Lena Flood (arrays author)
- Linkoping U. (in ciaointro)
- LogIn (in toplevel)
- label/1 (clpfd_rt predicate)
- labeling/2 (clpfd_rt predicate)
- lang/1 (syntax_highlight regular type)
- language bindings (in ciaointro)
- language extensions (in BasicLang)
- last/2 (classic_predicates udreexp)
- lazy (lazy library)
- lazy/1 (in lazy)
- lazy_foldl/4 (lazy_lib predicate)
- lazy_foldr/4 (lazy_lib predicate)
- lazy_lib (lazy_lib library)
- lazy_map/3 (lazy_lib predicate)
- lbitcode_to_llist/2 (bitcodesets predicate)
- lbitcode_to_llistS/2 (bitcodesets predicate)
- leap (in debugger)
- leash/1 (debugger predicate)
- leaves_choicepoints/1 (native_props_nfdet property)
- length/2 (classic_predicates udreexp)
- levenshtein_dist/3 (fuzzy_search predicate)
- lformat/1 (messages_basic predicate)
- lformat_text/1 (messages_basic regular type)
- lgraph/2 (lgraphs regular type)
- lgraphs (lgraphs library)
- libpaths (libpaths library)
- libraries (in librowser)
- libraries used (in ciaodump)
- library(glob) (in process)
- library(indexer/hash) (in indexer)
- library(iso_char) (in io_basic)
- library(isomodes) (in assertions_props)
- library_directory/1 (stream_basic predicate)
- librowser (librowser library)
- line/1 (stream_utils regular type)
- line_count/2 (streams udreexp)
- line_position/2 (streams udreexp)
- linear/1 (native_props_shfrg property)
- lines_to_value/2 (http_forms predicate)
- linker_and_opts/2 (foreign_compilation predicate)
- list/1 (basic_props regular type)
- list/2 (basic_props regular type)
- list1/2 (lists regular type)
- list_breakpt/0 (debugger predicate)
- list_concat/2 (lists predicate)
- list_functor/1 (term_basic regular type)
- list_insert/2 (lists predicate)
- list_lookup/3 (lists predicate)
- list_lookup/4 (lists predicate)
- list_of_lists/1 (lists regular type)
- list_to_assoc/2 (assoc predicate)
- list_to_conj/2 (formulae predicate)
- list_to_conj/3 (formulae predicate)
- list_to_disj/2 (formulae predicate)
- list_to_disj2/2 (formulae predicate)
- list_to_list_of_lists/2 (lists predicate)
- listing (listing library)
- listing/0 (listing predicate)
- listing/1 (listing predicate)
- lists (lists library)
- (in assertions)
- (in assertions)
- (in unittest)
- (in unittest_statistics)
- (in aggregates)
- (in persdb_rt)
- (in actmod_dist)
- (in regp_platformbased)
- (in actmod_process)
- (in actmod_rt)
- (in build_foreign_interface)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in llists)
- (in numlists)
- (in fuzzy_search)
- (in diff)
- (in vndict)
- (in assoc)
- (in lsets)
- (in read)
- (in assrt_lib)
- (in libpaths)
- (in system)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in cyclic_terms)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in sockets_io)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in html)
- (in json)
- (in glob)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in opendoc)
- (in emacs)
- lists:nth/3 (in ciaochanges)
- lists:reverse/3 (in ciaochanges)
- literal (in rtchecks)
- literals (in Conventions)
- llist_to_conj/2 (formulae predicate)
- llist_to_disj/2 (formulae predicate)
- llist_to_lbitcode/2 (bitcodesets predicate)
- llists (llists library)
- load_compilation_module/1 (packages declaration)
- load_test_module/1 (unittestdecls declaration)
- load_test_module/2 (unittestdecls declaration)
- load_test_package/1 (unittestdecls declaration)
- loading mode (in debugger)
- loading programs (in CommandLineUse)
- loalpha/3 (http_grammar predicate)
- locating errors (in CiaoMode)
- location_t/1 (messages udreexp)
- lock_atom/1 (concurrency predicate)
- lock_file/3 (file_locks predicate)
- log of changes (in CiaoMode)
- log/1 (in arithmetic)
- log/2 (in native_props_cost)
- log10/1 (in native_props_cost)
- log2/1 (in native_props_cost)
- logged_process (logged_process library)
- logged_process_call/3 (logged_process predicate)
- long (in rtchecks)
- lpdoc (in ciao)
- (in ciaointro)
- (in ciaointro)
- (in ciaochanges)
- (in DevEnv)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in CiaoMode)
- (in assertions)
- (in assertions)
- (in assertions)
- (in assertions_props)
- (in assertions_props)
- (in unittest)
- lpdoc command args, setting (in CiaoMode)
- lpdoc command, setting (in CiaoMode)
- lpdoc default format, setting (in CiaoMode)
- lsets (lsets library)
M
- MANPATH (in Install)
- MCC (in ciaointro)
- MH89 (cite)
- Makefile (in ciaoc)
- Manuel C. Rodriguez (debugger author)
- Manuel Carro (Install author)
- (ciaodump author)
- (freeze author)
- (when author)
- (det_hook author)
- (det_hook_rt author)
- (bf author)
- (id author)
- (odd author)
- (datafacts author)
- (datafacts_rt author)
- (concurrency author)
- (conc_aggregates author)
- (attr author)
- (attr_rt author)
- (attributes author)
- (foreign_interface author)
- (foreign_interface_properties author)
- (foreign_compilation author)
- (build_foreign_interface author)
- (hiordlib author)
- (assoc author)
- (ugraphs author)
- (read author)
- (write author)
- (operators author)
- (runtime_control author)
- (system_info author)
- (system author)
- (io_alias_redirection author)
- (sockets author)
- (getopts author)
- (file_locks author)
- (in ciaointro)
- Manuel Hermenegildo (Install author)
- (CommandLineUse author)
- (EmacsUse author)
- (debugger author)
- (ciao-shell author)
- (ciaodump author)
- (CiaoMode author)
- (basiccontrol author)
- (term_typing author)
- (term_basic author)
- (term_compare author)
- (arithmetic author)
- (assertions author)
- (assertions_props author)
- (regtypes author)
- (basic_props author)
- (native_props author)
- (modes author)
- (isomodes author)
- (basicmodes author)
- (doccomments author)
- (unittest author)
- (unittest_props author)
- (unittest_examples author)
- (argnames author)
- (fsyntax author)
- (bf author)
- (id author)
- (aggregates author)
- (persdb_rt author)
- (actmod author)
- (classic author)
- (classic_predicates author)
- (iso_char author)
- (read author)
- (read_from_string author)
- (write author)
- (runtime_control author)
- (assrt_lib author)
- (pillow author)
- (html author)
- (glob author)
- (system_extra author)
- (in ciaointro)
- (in ciaointro)
- (in CiaoMode)
- Manuel V. Hermenegildo (messages_basic author)
- Maria Jose Garcia de la Banda (in ciaointro)
- Masanobu Umeda (in CiaoMode)
- Mats Carlsson (debugger author)
- Maurice Bruynooghe (in ciaointro)
- Melbourne U. (in ciaointro)
- Miguel Angel Sanchez Ordaz (AdvCiaoEmacs author)
- Monash U. (in ciaointro)
- Mye86 (cite)
- mailbox (in actmod)
- main module (in CiaoMode)
- main/0 (in ciaochanges)
- main/1 (in ciaochanges)
- major version number (in CiaoMode)
- make_directory/1 (classic_predicates udreexp)
- make_directory/2 (classic_predicates udreexp)
- make_exec/2 (toplevel predicate)
- make_persistent/2 (persdb_rt predicate)
- make_po/1 (toplevel predicate)
- make_wam/1 (compiler predicate)
- man (in Install)
- manuals (in Install)
- map/3 (assoc predicate)
- map_assoc/2 (assoc predicate)
- map_assoc/3 (assoc predicate)
- maplist/2 (hiordlib predicate)
- maplist/3 (hiordlib predicate)
- maplist/4 (hiordlib predicate)
- maplist/5 (hiordlib predicate)
- maplist/6 (hiordlib predicate)
- markdown (in modes)
- marshalling (in ExtraLibs)
- match_def/3 (source_tree predicate)
- match_posix/2 (regexp predicate)
- match_posix/3 (in regexp)
- match_posix/4 (regexp predicate)
- match_posix_matches/3 (regexp predicate)
- match_posix_rest/3 (regexp predicate)
- match_pred/2 (regexp predicate)
- match_shell/2 (regexp predicate)
- match_shell/3 (regexp predicate)
- match_struct/4 (regexp predicate)
- match_term/2 (regexp_code predicate)
- max/2 (in native_props_cost)
- max/3 (in when)
- max_assoc/3 (assoc predicate)
- maxdepth/1 (debugger predicate)
- maximize/2 (clpfd_rt predicate)
- measure_t/1 (native_props_cost regular type)
- member (in menu_generator)
- member/2 (basic_props property)
- member_0/2 (idlists predicate)
- member_var/2 (terms_vars predicate)
- memberchk/2 (idlists predicate)
- memo/1 (basic_props property)
- memory management (in runtime_control)
- memory_option/1 (runtime_control regular type)
- memory_result/1 (runtime_control regular type)
- menu (menu library)
- menu/1 (menu_generator predicate)
- menu/2 (menu_generator predicate)
- menu/3 (menu_generator predicate)
- menu/4 (menu_generator predicate)
- menu_default/3 (menu predicate)
- menu_flag_values/1 (menu_generator regular type)
- menu_generator (menu_generator library)
- menu_opt/6 (menu predicate)
- menu_rt (in menu)
- merge/3 (sets predicate)
- merge_each/3 (lsets predicate)
- merge_list_of_lists/2 (lsets predicate)
- merge_lists/3 (lsets predicate)
- message/2 (messages_basic predicate)
- message_info/1 (messages_basic regular type)
- message_lns/4 (messages_basic predicate)
- message_t/1 (messages regular type)
- message_type/1 (messages_basic regular type)
- message_type_visible/1 (messages_basic predicate)
- messages (messages library)
- messages/1 (messages_basic predicate)
- messages_basic (messages_basic library)
- meta_predicate/1 (modules declaration)
- meta_predname/1 (persdb_rt regular type)
- meta_props (meta_props library)
- metaprops (in modes)
- metaspec/1 (modules regular type)
- mfclause/2 (dynamic_clauses_rt predicate)
- mimetypes (in http_server)
- min/2 (in native_props_cost)
- min_assoc/3 (assoc predicate)
- minimize/2 (clpfd_rt predicate)
- minimum/3 (hiordlib predicate)
- minor version number (in CiaoMode)
- mkpath (in system_extra)
- mkpath/1 (system_extra predicate)
- mkpath/2 (system_extra predicate)
- mkpath/3 (system_extra predicate)
- mkpath_mode/1 (system_extra predicate)
- mkpath_mode/2 (system_extra predicate)
- mkpath_mode/3 (system_extra predicate)
- mktemp/2 (classic_predicates udreexp)
- mktemp_in_tmp/2 (classic_predicates udreexp)
- mktempdir_in_tmp/2 (system_extra predicate)
- mod/2 (in arithmetic)
- modblob_path/2 (modblobs predicate)
- modblobs (modblobs library)
- mode (in Conventions)
- mode spec (in Conventions)
- mode_of_module/2 (compiler predicate)
- modedef/1 (assertions declaration)
- modes (modes library)
- modif_time/2 (classic_predicates udreexp)
- modif_time0/2 (classic_predicates udreexp)
- modular interface (in ciaoc)
- module (in modules)
- module declaration (in debugging_in_ciaopp)
- module qualification (in modules)
- module/2 (modules declaration)
- module/3 (modules declaration)
- module_of/2 (compiler predicate)
- module_split/3 (runtime_control predicate)
- modulename/1 (modules regular type)
- modules (modules library)
- month/1 (http_date regular type)
- most_general_instance/3 (terms_check predicate)
- most_specific_generalization/3 (terms_check predicate)
- move_file/2 (system_extra predicate)
- move_files/2 (system_extra predicate)
- move_if_diff/3 (system_extra predicate)
- moving changelog entries (in CiaoMode)
- mshare/1 (native_props_shfrg property)
- mshare/2 (native_props_shfrg property)
- multi-paradigm (in ciao)
- multi/1 (native_props_nfdet property)
- multiarchitecture installation (in Install)
- multidet/1 (in ciaochanges)
- multifile (in modules)
- multifile predicate (in modules)
- multifile/1 (toplevel predicate)
- multifile:alias_file/1 (in symfnames)
- multipart/form-data (in http_forms)
- multipart_form_data (in http_forms)
- mut_exclusive/1 (native_props_nfdet property)
- mutable (in ExtendLang)
- mutable/1 (mutables predicate)
- mutables (mutables library)
- my_url/1 (cgi predicate)
N
- Nai85 (cite)
- Nai91 (cite)
- Name (in foreign_interface_properties)
- Naming term arguments (in argnames)
- Nataliia Stulova (unittest author)
- New Mexico State University (in ciaointro)
- n = arity (in getopts)
- n_assrt_body/5 (in assertions_props)
- nabody/1 (assertions_props property)
- name server (in regp_platformbased)
- name/2 (atomic_basic predicate)
- name_to_method/2 (http_messages predicate)
- named_actRef/2 (actmod_rt predicate)
- native/1 (basic_props property)
- native/1,2 (in ciaochanges)
- native/2 (basic_props property)
- native_props (in basiccontrol)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in unittest)
- (in indexer)
- (in aggregates)
- (in conc_aggregates)
- (in lists)
- (in hiordlib)
- (in io_basic)
- (in write)
- (in messages_basic)
- (in pathnames)
- (in terms)
- (in modblobs)
- (in random_aggregates)
- (in archive_files)
- native_props_cardinality (native_props_cardinality library)
- native_props_cost (native_props_cost library)
- native_props_exceptions (native_props_exceptions library)
- native_props_nfdet (native_props_nfdet library)
- native_props_polyhedral (native_props_polyhedral library)
- native_props_rtc (in native_props)
- native_props_shfrg (native_props_shfrg library)
- native_props_sideff (native_props_sideff library)
- nativeprops (in basiccontrol)
- near/3 (unittest_props property)
- needs_ciao_ctx/1 (foreign_interface_properties property)
- neighbors/3 (ugraphs predicate)
- neq/3 (menu_generator predicate)
- new_array/1 (arrays predicate)
- new_atom/1 (runtime_control predicate)
- new_declaration/1 (packages declaration)
- new_declaration/2 (packages declaration)
- new_modblob/4 (modblobs predicate)
- nl/0 (streams udreexp)
- nl/1 (iso_incomplete predicate)
- nlist/1 (in basic_props)
- nlist/2 (basic_props regular type)
- nnegint/1 (basic_props regular type)
- no (in rtchecks)
- no_choicepoints/1 (native_props_nfdet property)
- no_exception/1 (native_props_exceptions property)
- no_exception/2 (native_props_exceptions property)
- no_rtcheck/1 (basic_props property)
- no_signal/1 (native_props_exceptions property)
- no_signal/2 (native_props_exceptions property)
- no_swapslash/3 (classic_predicates udreexp)
- nobreakall/0 (debugger predicate)
- nobreakpt/6 (debugger predicate)
- nocontainsx/2 (lists predicate)
- nodebug (in debugger)
- nodebug/0 (debugger predicate)
- nodebug_module/1 (debugger predicate)
- nodebugrtc/0 (debugger udreexp)
- nofileerrors/0 (runtime_control predicate)
- nogc/0 (runtime_control predicate)
- non_det/1 (native_props_nfdet property)
- non_empty_dictionary/1 (dict regular type)
- non_empty_list/1 (term_basic regular type)
- nondet/1 (native_props_nfdet property)
- nonground/1 (native_props_shfrg property)
- nonsingle/1 (lists predicate)
- nonvar/1 (term_typing property)
- noprelude (noprelude library)
- (in BasicLang)
- (in modules)
- (in condcomp)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in atomic_basic)
- (in arithmetic)
- (in arithmetic)
- (in datafacts_rt)
- (in dynamic_rt)
- (in concurrency)
- (in attributes)
- (in stream_basic)
- (in io_basic)
- (in runtime_control)
- (in system)
- (in ctrlcclean)
- (in errhandle)
- (in terms_check)
- norm_filter/2 (in source_tree)
- norm_goal_prop/3 (assrt_lib predicate)
- normalize_assertion/9 (assrt_lib predicate)
- normalize_assertions/3 (in assrt_lib)
- normalize_assertions_pass_one/1 (in assrt_lib)
- normalize_assertions_pass_two/1 (in assrt_lib)
- nortchecks (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in atomic_basic)
- (in arithmetic)
- (in basic_props)
- (in hiord_rt)
- (in freeze)
- (in aggregates)
- (in datafacts_rt)
- (in persdb_rt)
- (in attributes)
- (in sort)
- (in dict)
- (in stream_basic)
- (in io_basic)
- (in read)
- (in write)
- (in messages_basic)
- (in runtime_control)
- (in system_info)
- (in assrt_lib)
- (in system)
- (in terms_check)
- (in menu_generator)
- nospy (in debugger)
- nospy/1 (debugger predicate)
- nospyall/0 (debugger predicate)
- not_bitset_member/2 (bitcodesets predicate)
- not_covered/1 (native_props_nfdet property)
- not_fails (in unittest)
- not_fails/1 (native_props_nfdet property)
- not_further_inst/1 (in assertions_props)
- not_further_inst/2 (basic_props property)
- not_mut_exclusive/1 (native_props_nfdet property)
- notation (in Conventions)
- note_message/1 (messages predicate)
- note_message/2 (messages predicate)
- note_message/3 (messages predicate)
- notrace/0 (debugger predicate)
- now/1 (classic_predicates udreexp)
- nth/3 (classic_predicates udreexp)
- null/1 (foreign_interface_properties regular type)
- null_dict/1 (vndict regular type)
- num/1 (basic_props regular type)
- num_solutions/2 (native_props_cardinality property)
- number/1 (term_typing property)
- number_chars/2 (classic_predicates udreexp)
- number_codes/2 (atomic_basic predicate)
- number_codes/3 (atomic_basic predicate)
- number_lattice (in native_props_cost)
- number_lattice/1 (native_props_cost regular type)
- numbervars/3 (classic_predicates udreexp)
- numeric_constant/1 (native_props_cost regular type)
- numlist/1 (numlists regular type)
- numlists (numlists library)
- nums_from/2 (lazy_lib predicate)
- nums_from_inc/3 (lazy_lib predicate)
O
- Oscar Portela Arjona (fastrw author)
- Other functionality (in fsyntax)
- odd (odd library)
- old_database (old_database library)
- old_or_new/1 (dict regular type)
- on-line help (in CiaoMode)
- on_abort/1 (modules declaration)
- once/1 (classic_predicates udreexp)
- once_port_reify/2 (port_reify predicate)
- op/3 (packages declaration)
- open/3 (iso_incomplete predicate)
- open/4 (iso_incomplete predicate)
- open_input/2 (stream_utils predicate)
- open_option_list/1 (streams udreexp)
- open_output/2 (stream_utils predicate)
- open_predicate/1 (datafacts_rt predicate)
- open_redirect/3 (process_channel predicate)
- open_std_redirect/3 (io_port_reify predicate)
- opendoc (opendoc library)
- opendoc/1 (opendoc predicate)
- opendoc/2 (opendoc predicate)
- openpg (openpg library)
- openpg/1 (openpg predicate)
- openpg/2 (openpg predicate)
- operations file (in persdb_rt)
- operator (in Conventions)
- operator definitions (in read)
- operator table (in packages)
- operator_specifier/1 (basic_props regular type)
- operators (operators library)
- opt_suff/1 (in ciaochanges)
- optional_message/2 (messages predicate)
- optional_message/3 (messages predicate)
- ord_delete/3 (sets predicate)
- ord_disjoint/2 (sets predicate)
- ord_intersect/2 (sets predicate)
- ord_intersect_all/2 (lsets predicate)
- ord_intersect_lists/2 (lsets predicate)
- ord_intersection/3 (sets predicate)
- ord_intersection_diff/4 (sets predicate)
- ord_list_to_assoc/2 (assoc predicate)
- ord_member/2 (sets predicate)
- ord_member_list_of_lists/2 (lsets predicate)
- ord_split_lists/4 (lsets predicate)
- ord_split_lists_from_list/4 (lsets predicate)
- ord_subset/2 (sets predicate)
- ord_subset_diff/3 (sets predicate)
- ord_subtract/3 (sets predicate)
- ord_test_member/3 (sets predicate)
- ord_union/3 (sets predicate)
- ord_union_change/3 (sets predicate)
- ord_union_diff/4 (sets predicate)
- ord_union_symdiff/4 (sets predicate)
- otherwise/0 (basiccontrol predicate)
- out/1 (modes instantiation mode)
- out/2 (modes instantiation mode)
- output_html/1 (html predicate)
- output_to_file/2 (stream_utils predicate)
P
- P. Lincoln (in toplevel)
- PARSING/2 (http_grammar predicate)
- PATH (in Install)
- PBH00 (cite)
- PBH97 (cite)
- PH99 (cite)
- PRINTING/2 (http_grammar predicate)
- PRO (cite)
- PW80 (cite)
- Pablo Chico (assoc author)
- Pablo Chico de Guzman Huerta (tabling author)
- Par97 (cite)
- Paulo Moura (in ciaochanges)
- Pawel Pietrzak (in ciaointro)
- Pedro Lopez (regtypes author)
- Peter Olin (in CiaoMode)
- Peter Stuckey (in ciaointro)
- PiLLoW on-line tutorial (in pillow)
- Pierre Deransart (in ciaointro)
- Predefined evaluable functors (in fsyntax)
- Procedure Box (in debugger)
- Prolog flag (in runtime_control)
- Prolog shell scripts (in ciao-shell)
- PrologName (in foreign_interface_properties)
- package (in modules)
- package file (in modules)
- package/1 (packages declaration)
- package/2 (in assrt_lib)
- packages (packages library)
- pair/1 (graphs regular type)
- parallel Prolog (in ciaointro)
- parallel programming (in ExtendLang)
- parallelizing compiler (in ciaointro)
- parametric property (in meta_props)
- parametric regular type abstractions (in meta_props)
- parametric type functor (in regtypes)
- parse_integer/3 (http_grammar predicate)
- parse_shell_args (parse_shell_args library)
- parse_shell_args/2 (parse_shell_args predicate)
- parse_spec (in listing)
- partition/4 (hiordlib predicate)
- passerta_fact/1 (persdb_rt predicate)
- passertz_fact/1 (persdb_rt predicate)
- patch number (in CiaoMode)
- patch/3 (diff predicate)
- path alias (in toplevel)
- path aliases (in ciaoc)
- path list separator character (in libpaths)
- path/1 (andorra regular type)
- path_basename/2 (pathnames predicate)
- path_concat/3 (pathnames predicate)
- path_concat_list/2 (pathnames predicate)
- path_dirname/2 (pathnames predicate)
- path_get_relative/3 (pathnames predicate)
- path_is_absolute/1 (pathnames predicate)
- path_is_basename/1 (pathnames predicate)
- path_is_relative/1 (pathnames predicate)
- path_is_root/1 (pathnames predicate)
- path_norm/2 (pathnames predicate)
- path_relocate/4 (pathnames predicate)
- path_split/3 (pathnames predicate)
- path_split_list/2 (pathnames predicate)
- path_splitext/3 (pathnames predicate)
- pathname (in pathnames)
- pathname/1 (pathnames regular type)
- pathnames (pathnames library)
- patterns (in librowser)
- pause/1 (classic_predicates udreexp)
- pcurrent_fact/1 (in ciaochanges)
- pe_type/1 (basic_props property)
- peek_byte/1 (iso_incomplete predicate)
- peek_byte/2 (iso_incomplete predicate)
- peek_char/1 (classic_predicates udreexp)
- peek_char/2 (classic_predicates udreexp)
- peek_code/1 (iso_incomplete predicate)
- peek_code/2 (iso_incomplete predicate)
- perl (in CiaoMode)
- perms_term/1 (system_extra regular type)
- persdb (in persdb_rt)
- persdb/persdb_decl (in persdb_rt)
- persdb_cache (in persdb_rt)
- persdb_rt (persdb_rt library)
- persistence set (in persdb_rt)
- persistent (in persdb_rt)
- persistent predicate (in persdb_rt)
- persistent/2 (persdb_rt declaration)
- persistent_dir (in persdb_rt)
- persistent_dir/2 (persdb_rt predicate)
- persistent_dir/2-4 (in persdb_rt)
- persistent_dir/4 (persdb_rt predicate)
- pgloc/1 (openpg regular type)
- phrase/2 (in ciaochanges)
- phrase/3 (in ciaochanges)
- pillow (pillow library)
- pipe/2 (streams udreexp)
- platform-dependent (in ciaoc)
- platform-independent (in ciaoc)
- point_to/3 (ugraphs predicate)
- pop_prolog_flag/1 (runtime_control predicate)
- port_call/1 (port_reify predicate)
- port_reify (port_reify library)
- portray/1 (write predicate)
- portray_attribute/2 (write predicate)
- portray_clause/1 (classic_predicates udreexp)
- portray_clause/2 (classic_predicates udreexp)
- posix_regexp/1 (regexp_code regular type)
- possible_exceptions/2 (native_props_exceptions property)
- possible_signals/2 (native_props_exceptions property)
- possibly_fails/1 (native_props_nfdet property)
- possibly_nondet/1 (native_props_nfdet property)
- possibly_not_covered/1 (native_props_nfdet property)
- possibly_not_mut_exclusive/1 (native_props_nfdet property)
- powerset/2 (lists predicate)
- powerset_of_set_of_sets/2 (lsets predicate)
- precomp_level/1 (source_tree regular type)
- pred (in modes)
- pred assertion (in assertions)
- pred/1 (assertions declaration)
- pred/2 (assertions declaration)
- predefined flags (in runtime_control)
- predfunctor/1 (assertions_props regular type)
- predicate (in modules)
- predicate abstractions (in fsyntax)
- predicate declarations (in ciaodump)
- predicate definition (in Conventions)
- predicate name (in Conventions)
- predicate spec (in Conventions)
- predicate/n (in unittest)
- predicate_property/2 (runtime_control predicate)
- predicate_property/3 (runtime_control predicate)
- predname/1 (basic_props regular type)
- prelude (in toplevel)
- (in debugger)
- (in profile)
- (in callgraph)
- (in BasicLang)
- (in BasicLang)
- (in modules)
- (in packages)
- (in condcomp)
- (in basiccontrol)
- (in exceptions)
- (in term_typing)
- (in term_basic)
- (in term_compare)
- (in assertions)
- (in assertions_props)
- (in regtypes)
- (in basic_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in modes)
- (in isomodes)
- (in basicmodes)
- (in meta_props)
- (in doccomments)
- (in rtchecks)
- (in unittest)
- (in unittest_props)
- (in unittestdecls)
- (in unittest_statistics)
- (in noprelude)
- (in noprelude)
- (in pure)
- (in hiord_rt)
- (in traits)
- (in argnames)
- (in fsyntax)
- (in dcg)
- (in dcg_phrase)
- (in global_vars)
- (in mutables)
- (in indexer)
- (in block)
- (in freeze)
- (in when)
- (in andorra)
- (in det_hook)
- (in det_hook_rt)
- (in lazy)
- (in lazy_lib)
- (in bf)
- (in id)
- (in odd)
- (in aggregates)
- (in datafacts)
- (in dynamic)
- (in dynamic_clauses)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in datadir)
- (in factsdb)
- (in factsdb_rt)
- (in conc_aggregates)
- (in actmod)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_platformbased)
- (in regp_webbased)
- (in actmod_process)
- (in actmod_rt)
- (in clpq)
- (in clpr)
- (in clpfd)
- (in clpfd_rt)
- (in tabling)
- (in attr)
- (in attr_rt)
- (in foreign_interface)
- (in foreign_interface_properties)
- (in foreign_compilation)
- (in build_foreign_interface)
- (in classic)
- (in classic_predicates)
- (in iso_strict)
- (in iso_char)
- (in iso_misc)
- (in iso_incomplete)
- (in dec10_io)
- (in old_database)
- (in ttyout)
- (in runtime_ops)
- (in listing)
- (in lists)
- (in hiordlib)
- (in sort)
- (in llists)
- (in idlists)
- (in numlists)
- (in strings)
- (in fuzzy_search)
- (in diff)
- (in dict)
- (in vndict)
- (in arrays)
- (in assoc)
- (in keys)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in queues)
- (in sets)
- (in bitcodesets)
- (in lsets)
- (in streams)
- (in stream_utils)
- (in tokenize)
- (in read)
- (in read_from_string)
- (in write)
- (in operators)
- (in format)
- (in terms_io)
- (in messages_basic)
- (in system_info)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in pathnames)
- (in process)
- (in process_channel)
- (in logged_process)
- (in io_alias_redirection)
- (in port_reify)
- (in io_port_reify)
- (in terms)
- (in terms_vars)
- (in cyclic_terms)
- (in fastrw)
- (in modblobs)
- (in formulae)
- (in counters)
- (in between)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in version_strings)
- (in librowser)
- (in random)
- (in random_aggregates)
- (in sockets)
- (in sockets_io)
- (in http)
- (in http_client)
- (in http_server)
- (in url)
- (in http_forms)
- (in cgi)
- (in http_messages)
- (in http_date)
- (in http_grammar)
- (in pillow)
- (in html)
- (in json)
- (in color_space)
- (in glob)
- (in regexp)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in file_locks)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- preprocessing programs (in CiaoMode)
- preprocessor (in DevEnv)
- preprocessor command args, setting (in CiaoMode)
- preprocessor command, setting (in CiaoMode)
- pretract_fact/1 (persdb_rt predicate)
- pretractall_fact/1 (persdb_rt predicate)
- pretty_print (pretty_print library)
- pretty_print/2 (pretty_print predicate)
- pretty_print/3 (pretty_print predicate)
- pretty_print/4 (pretty_print predicate)
- prettyvars/1 (classic_predicates udreexp)
- prettyvars/2 (vndict predicate)
- print (in debugger)
- print/1 (classic_predicates udreexp)
- print/2 (classic_predicates udreexp)
- print_assertions/1 (assrt_lib predicate)
- print_profile/0 (profile predicate)
- print_statistical_summary/1 (unittest_statistics predicate)
- print_unformatted_assertions/1 (assrt_lib predicate)
- printable_char/1 (classic_predicates udreexp)
- printdepth (in debugger)
- printq/1 (classic_predicates udreexp)
- printq/2 (classic_predicates udreexp)
- procedure call sites (in Conventions)
- procedures (in Conventions)
- process (process library)
- process/1 (process regular type)
- process_arg/1 (process regular type)
- process_call/3 (process predicate)
- process_channel (process_channel library)
- process_channel/1 (process_channel regular type)
- process_cmd/1 (process regular type)
- process_fork/2 (process predicate)
- process_is_joined/1 (process predicate)
- process_join/1 (process predicate)
- process_kill/1 (process predicate)
- process_option/1 (process regular type)
- process_pid/2 (process predicate)
- process_pipe/2 (process predicate)
- process_send_signal/2 (process predicate)
- process_terminate/1 (process predicate)
- prod(Index,LowerBound,UpperBound,Exp) (in native_props_cost)
- prod/4 (in native_props_cost)
- profile (profile library)
- profile/1 (profile predicate)
- profile/2 (profile predicate)
- profile_opt/1 (profile regular type)
- profiler (in profile)
- profiling (in profile)
- program (in Conventions)
- program assertions (in assertions)
- program development environment (in CiaoMode)
- program development tools (in Install)
- program transformations (in CiaoMode)
- programming environment (in DevEnv)
- project files (in ciaoc)
- prolog flag (in toplevel)
- prolog flags (in regexp)
- prolog-emacs interface (in emacs)
- prolog.el (in CiaoMode)
- prolog_flag/3 (runtime_control predicate)
- prolog_predicate/N (in foreign_interface)
- prolog_sys:predicate_property/2 (in ciaochanges)
- prompt (in menu_generator)
- prompt/2 (runtime_control predicate)
- prop assertion (in assertions)
- prop/1 (assertions declaration)
- prop/2 (assertions declaration)
- prop_abs/1 (meta_props property)
- prop_apply/3 (assrt_lib predicate)
- prop_argvar/2 (assrt_lib predicate)
- prop_unapply/3 (assrt_lib predicate)
- properties (in Conventions)
- properties of computations (in regtypes)
- properties of execution states (in regtypes)
- properties, basic (in basic_props)
- properties, native (in native_props)
- property (in assertions)
- property abstraction (in meta_props)
- property compatibility (in basic_props)
- property declarations (in ciaodump)
- property_conjunction/1 (assertions_props regular type)
- property_starterm/1 (assertions_props regular type)
- propfunctor/1 (assertions_props regular type)
- providing information to the compiler (in assertions)
- prune_dict/3 (vndict predicate)
- public domain (in ciao)
- pure (pure library)
- pure Prolog (in modules)
- push_prolog_flag/2 (runtime_control predicate)
- put_assoc/4 (assoc predicate)
- put_assoc/5 (assoc predicate)
- put_attr/3 (attr_rt predicate)
- put_attr_local/2 (attr_rt predicate)
- put_byte/1 (iso_incomplete predicate)
- put_byte/2 (iso_incomplete predicate)
- put_char/1 (classic_predicates udreexp)
- put_char/2 (classic_predicates udreexp)
- put_code/1 (streams udreexp)
- put_code/2 (iso_incomplete predicate)
- put_value/5 (in assoc)
Q
- Quoting functors (in fsyntax)
- q_delete/3 (queues predicate)
- q_empty/1 (queues predicate)
- q_insert/3 (queues predicate)
- q_member/2 (queues predicate)
- qprot.collect/3 (actmod_dist predicate)
- qprot.dec/4 (actmod_dist predicate)
- qprot.enc/3 (actmod_dist predicate)
- qprot.join_answers/7 (actmod_dist predicate)
- qprot.prepare_query/4 (actmod_dist predicate)
- query (in toplevel)
- query strings (in http_forms)
- queues (queues library)
- quoted string (in arithmetic)
- quoted_process_call/3 (logged_process predicate)
R
- RRR96 (cite)
- Remy Haemmerle (global_vars author)
- Richard A. O'Keefe (aggregates author)
- Roger Nasr (in ciaointro)
- random (random library)
- random/1 (random predicate)
- random/3 (random predicate)
- random_aggregates (random_aggregates library)
- random_findall/4 (random_aggregates predicate)
- reachability/4 (callgraph predicate)
- read (read library)
- (in doccomments)
- (in factsdb_rt)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in iso_incomplete)
- (in tokenize)
- (in read_from_string)
- (in terms_io)
- (in assrt_lib)
- (in process_channel)
- (in source_tree)
- (in librowser)
- (in sockets_io)
- (in symfnames)
- read/1 (classic_predicates udreexp)
- read/2 (classic_predicates udreexp)
- read_asr_file/2 (assrt_lib predicate)
- read_bytes/3 (stream_utils predicate)
- read_bytes_to_end/2 (stream_utils predicate)
- read_from_atom/2 (read_from_string predicate)
- read_from_atom_atmvars/2 (read_from_string predicate)
- read_from_string (read_from_string library)
- read_from_string/2 (read_from_string predicate)
- read_from_string/3 (read_from_string predicate)
- read_from_string_atmvars/2 (read_from_string predicate)
- read_from_string_atmvars/3 (read_from_string predicate)
- read_from_string_opts/4 (read_from_string predicate)
- read_option/1 (classic_predicates udreexp)
- read_string_to_end/2 (stream_utils predicate)
- read_term/2 (classic_predicates udreexp)
- read_term/3 (classic_predicates udreexp)
- read_term/[2,3] (in read)
- read_tokens/2 (tokenize predicate)
- read_top_level/3 (classic_predicates udreexp)
- rebuild_foreign_interface/1 (build_foreign_interface predicate)
- rebuild_foreign_interface_explicit_decls/2 (build_foreign_interface predicate)
- receive_output/2 (process_channel predicate)
- recorda/3 (classic_predicates udreexp)
- recorded/3 (classic_predicates udreexp)
- records (in ExtendLang)
- recordz/3 (classic_predicates udreexp)
- recursive level (in toplevel)
- recycle_term/2 (cyclic_terms predicate)
- redefining/1 (modules declaration)
- redefinition of builtins (in modules)
- reexport/1 (modules declaration)
- reexport/2 (modules declaration)
- reference/1 (datafacts_rt regular type)
- references, to Ciao (in ciaointro)
- referring to Ciao (in ciaointro)
- regexp (regexp library)
- regexp_code (regexp_code library)
- registry protocols (in actmod_dist)
- regp_filebased (regp_filebased library)
- regp_platformbased (regp_platformbased library)
- regp_platformserver (in regp_platformbased)
- regp_webbased (regp_webbased library)
- regp_webserver (in regp_webbased)
- regtype assertion (in regtypes)
- regtype/1 (regtypes declaration)
- regtype/2 (regtypes declaration)
- regtypes (regtypes library)
- (in profile)
- (in callgraph)
- (in assertions_props)
- (in native_props_shfrg)
- (in native_props_nfdet)
- (in native_props_cardinality)
- (in native_props_exceptions)
- (in native_props_sideff)
- (in native_props_polyhedral)
- (in native_props_cost)
- (in unittest)
- (in indexer)
- (in lazy_lib)
- (in dynamic_rt)
- (in dynamic_clauses_rt)
- (in persdb_rt)
- (in actmod)
- (in actmod_dist)
- (in actmod_process)
- (in actmod_rt)
- (in clpfd)
- (in clpfd_rt)
- (in foreign_interface_properties)
- (in dec10_io)
- (in numlists)
- (in diff)
- (in vndict)
- (in assoc)
- (in graphs)
- (in ugraphs)
- (in lgraphs)
- (in assrt_lib)
- (in system)
- (in process)
- (in process_channel)
- (in logged_process)
- (in port_reify)
- (in io_port_reify)
- (in terms_check)
- (in modblobs)
- (in formulae)
- (in pretty_print)
- (in assrt_write)
- (in syntax_highlight)
- (in source_tree)
- (in random)
- (in sockets)
- (in sockets_io)
- (in http_client)
- (in url)
- (in http_messages)
- (in http_date)
- (in json)
- (in glob)
- (in regexp_code)
- (in text_template)
- (in messages)
- (in menu_generator)
- (in getopts)
- (in system_extra)
- (in parse_shell_args)
- (in archive_files)
- (in opendoc)
- (in openpg)
- (in emacs)
- regular expresions (in librowser)
- regular type (in regtypes)
- regular type definitions (in regtypes)
- regular type expression (in regtypes)
- regular types (in regtypes)
- rel_data/1 (assrt_lib predicate)
- relations/2 (native_props_cardinality property)
- relpath/3 (system_extra predicate)
- rem/2 (in arithmetic)
- remote_address/3 (in actmod_dist)
- remove_dir/1 (source_tree predicate)
- remove_file_or_dir/1 (source_tree predicate)
- remove_glob/2 (source_tree predicate)
- remove_menu_config/1 (menu_generator predicate)
- rename/2 (vndict predicate)
- rename_file/2 (classic_predicates udreexp)
- repeat/0 (basiccontrol predicate)
- repeat/2 (lazy_lib predicate)
- replace_all/4 (regexp predicate)
- replace_first/4 (regexp predicate)
- replace_strings/3 (system_extra predicate)
- replace_strings_in_file/3 (system_extra predicate)
- reporting bugs (in Troubleshooting)
- resource_id/1 (native_props_cost property)
- resources_basic.pl (in native_props_cost)
- resources_decl (in native_props_cost)
- restore_flags_list/1 (in menu_generator)
- restore_menu_config/1 (menu_generator predicate)
- restore_menu_flags/2 (menu_generator predicate)
- restore_menu_flags_list/1 (menu_generator predicate)
- retract/1 (dynamic_rt predicate)
- retract_fact/1 (datafacts_rt predicate)
- retract_fact_nb/1 (datafacts_rt predicate)
- retractall/1 (dynamic_rt predicate)
- retractall_fact/1 (datafacts_rt predicate)
- retry (in debugger)
- returns/2 (foreign_interface_properties property)
- reverse/2 (classic_predicates udreexp)
- reverse/3 (lists predicate)
- rgb/1 (color_space property)
- rgb_to_hex/2 (color_space predicate)
- rmtempdir/1 (system_extra predicate)
- rooted_subgraph/3 (ugraphs predicate)
- round/1 (in arithmetic)
- rsize/2 (native_props_cost property)
- rtcheck/1 (basic_props property)
- rtcheck/2 (basic_props property)
- rtchecks (rtchecks library)
- rtchecks_asrloc (in rtchecks)
- rtchecks_cached (in rtchecks)
- rtchecks_callloc (in rtchecks)
- rtchecks_entry (in rtchecks)
- rtchecks_exit (in rtchecks)
- rtchecks_level (in rtchecks)
- rtchecks_namefmt (in rtchecks)
- rtchecks_opt (in rtchecks)
- rtchecks_predloc (in rtchecks)
- rtchecks_pretty (in errhandle)
- rtchecks_shallow (in rtchecks)
- rtchecks_test (in rtchecks)
- rtchecks_tr (in unittest)
- rtchecks_trust (in rtchecks)
- rules (in Conventions)
- run-time checks (in assertions)
- run_tests/3 (unittest predicate)
- run_tests/4 (in ciaochanges)
- run_tests_in_dir_rec/3 (unittest predicate)
- run_tests_in_module/1 (unittest predicate)
- run_tests_in_module/2 (unittest predicate)
- run_tests_in_module/3 (unittest predicate)
- run_tests_in_module_check_exp_assrts/1 (unittest predicate)
- running programs (in CommandLineUse)
- running unit tests (in unittest)
- runtime_control (runtime_control library)
- runtime_ops (runtime_ops library)
S
- SICS (in ciaointro)
- SICStus (in CiaoMode)
- SICStus Prolog (in ciaointro)
- SMH15 (cite)
- SMH18a (cite)
- SMH18b (cite)
- SS86 (cite)
- SYSCALL/1 (hiord_rt predicate)
- Sacha Varma (html author)
- Samir Genaim (clpq author)
- Saumya Debray (in ciaointro)
- Seif Haridi (in ciaointro)
- SmallerThan(X, Y) (in hiordlib)
- Some scoping issues (in fsyntax)
- Swe95 (cite)
- Swedish Institute of Computer Science (in ciaointro)
- Syntax-based highlighting (in CiaoMode)
- s_assrt_body/1 (assertions_props regular type)
- save_addr/5 (in actmod_dist)
- save_menu_config/1 (menu_generator predicate)
- scratchpad directory (in CiaoMode)
- script header, inserting automatically (in CiaoMode)
- scripts (in Install)
- second_prompt/2 (classic_predicates udreexp)
- see/1 (classic_predicates udreexp)
- seeing/1 (classic_predicates udreexp)
- seen/0 (classic_predicates udreexp)
- select/3 (classic_predicates udreexp)
- select_socket/5 (sockets predicate)
- semaphore (in concurrency)
- semidet/1 (native_props_nfdet property)
- send_input/2 (process_channel predicate)
- send_signal/1 (exceptions predicate)
- send_signal/2 (exceptions predicate)
- sequence/2 (basic_props regular type)
- sequence_or_list/2 (basic_props regular type)
- sequence_to_list/2 (lists predicate)
- serve_socket/3 (sockets_io predicate)
- set_cookie/2 (cgi predicate)
- set_debug_mode/1 (toplevel predicate)
- set_debug_module/1 (compiler predicate)
- set_debug_module_source/1 (compiler predicate)
- set_env/2 (classic_predicates udreexp)
- set_exec_mode/2 (classic_predicates udreexp)
- set_exec_perms/2 (system_extra predicate)
- set_fact/1 (datafacts_rt predicate)
- set_file_owner/2 (system_extra predicate)
- set_file_perms/2 (system_extra predicate)
- set_heap_limit/1 (in ciaochanges)
- set_input/1 (iso_incomplete predicate)
- set_menu_flag/3 (menu_generator predicate)
- set_nodebug_mode/1 (toplevel predicate)
- set_nodebug_module/1 (compiler predicate)
- set_output/1 (iso_incomplete predicate)
- set_prolog_flag/2 (runtime_control predicate)
- set_reg_dir/1 (in regp_filebased)
- set_stream/3 (io_alias_redirection predicate)
- set_stream_position/2 (iso_incomplete predicate)
- set_to_bitcode/2 (bitcodesets predicate)
- setarg/3 (odd predicate)
- setcounter/2 (counters predicate)
- setenvstr/2 (classic_predicates udreexp)
- setof/3 (aggregates predicate)
- setproduct/3 (sets predicate)
- setproduct_lists/4 (lsets predicate)
- sets (sets library)
- setup (in unittest)
- setup(SetupPred) (in unittest)
- setup/2 (unittest_props property)
- setval/2 (global_vars predicate)
- sformat/3 (classic_predicates udreexp)
- sh (in Install)
- sh-compatible shell (in Install)
- sharing sets (in native_props_shfrg)
- shell scripts (in ciaoc)
- shell/0 (classic_predicates udreexp)
- shell/1 (classic_predicates udreexp)
- shell/2 (classic_predicates udreexp)
- shell_regexp/1 (regexp_code regular type)
- short (in rtchecks)
- show_menu_config/1 (menu_generator predicate)
- show_menu_configs/0 (menu_generator predicate)
- show_message/2 (messages predicate)
- show_message/3 (messages predicate)
- show_message/4 (messages predicate)
- show_test_output/2 (unittest predicate)
- shutdown_type/1 (sockets regular type)
- sideff/2 (basic_props property)
- sideff_hard/1 (native_props_sideff property)
- sideff_pure/1 (native_props_sideff property)
- sideff_soft/1 (native_props_sideff property)
- sign/1 (in arithmetic)
- signal/1 (native_props_exceptions property)
- signal/2 (native_props_exceptions property)
- signals/2 (in ciaochanges)
- simple_client.pl (in actmod)
- simple_message/1 (messages predicate)
- simple_message/2 (messages predicate)
- sin/1 (in arithmetic)
- singleton_actRef/2 (actmod_rt predicate)
- size/2 (native_props_cost property)
- size/3 (native_props_cost property)
- size/4 (native_props_cost property)
- size_lb/2 (native_props_cost property)
- size_metric (in native_props_cost)
- size_metric/3 (native_props_cost property)
- size_metric/4 (native_props_cost property)
- size_o/2 (native_props_cost property)
- size_of/2 (in foreign_interface)
- size_of/3 (foreign_interface_properties property)
- size_term/1 (native_props_cost regular type)
- size_ub/2 (native_props_cost property)
- skip (in debugger)
- skip_code/1 (streams udreexp)
- skip_code/2 (streams udreexp)
- skip_line/0 (streams udreexp)
- skip_line/1 (streams udreexp)
- socket_accept/2 (sockets predicate)
- socket_getpeername/2 (sockets predicate)
- socket_recv/2 (in ciaochanges)
- socket_recv/3 (sockets predicate)
- socket_recv_code/3 (in ciaochanges)
- socket_recv_fastrw/2 (sockets_io predicate)
- socket_recv_term/2 (sockets_io predicate)
- socket_send/3 (sockets predicate)
- socket_send_fastrw/2 (sockets_io predicate)
- socket_send_stream/2 (sockets predicate)
- socket_send_term/2 (sockets_io predicate)
- socket_sendall/2 (sockets predicate)
- socket_shutdown/2 (sockets predicate)
- socket_type/1 (sockets regular type)
- sockets (sockets library)
- sockets_io (sockets_io library)
- soft side-effects (in native_props_sideff)
- solutions/2 (native_props_cardinality property)
- sort (sort library)
- sort/2 (classic_predicates udreexp)
- sort_dict/2 (vndict predicate)
- sort_list_of_lists/2 (lsets predicate)
- source trees (in source_tree)
- source-level debugger (in debugger)
- source-level debugging (in debugger)
- source_filter/1 (source_tree regular type)
- source_tree (source_tree library)
- sourcename/1 (streams udreexp)
- sourcenames/1 (toplevel property)
- space/1 (menu_generator predicate)
- span/3 (lazy_lib predicate)
- spawn_opt/1 (actmod_process regular type)
- spec/1 (getopts regular type)
- specifications (in assertions)
- splitAt/3 (lazy_lib predicate)
- split_lists_from_list/4 (lsets predicate)
- spy (in debugger)
- spy-points (in debugger)
- spy/1 (debugger predicate)
- sqrt/1 (in arithmetic)
- srandom/1 (random predicate)
- srcloc/4 (basic_props property)
- standalone compiler (in Install)
- standalone utilities (in ciao-utilities)
- standard Ciao library (in StdLibs)
- standard total ordering (in term_compare)
- standard_ops/0 (operators predicate)
- static checks (in CiaoMode)
- statistical_summary/1 (unittest udreexp)
- statistics/0 (runtime_control predicate)
- statistics/2 (runtime_control predicate)
- status bar (in CiaoMode)
- status, this manual (in ciaointro)
- steps/2 (native_props_cost property)
- steps_lb/2 (native_props_cost property)
- steps_o/2 (native_props_cost property)
- steps_ub/2 (native_props_cost property)
- stream/1 (streams udreexp)
- stream_alias/1 (streams udreexp)
- stream_basic (stream_basic library)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- (in streams)
- stream_basic:open/3 (in symfnames)
- stream_code/2 (streams udreexp)
- stream_property/1 (iso_incomplete regular type)
- stream_property/2 (iso_incomplete predicate)
- stream_utils (stream_utils library)
- stream_watchdog (in actmod_dist)
- streams (streams library)
- string/1 (basic_props regular type)
- string/3 (strings predicate)
- string_bytes/2 (streams udreexp)
- string_to_file/2 (stream_utils predicate)
- string_to_json/2 (json predicate)
- stringcommand/1 (in assertions)
- strings (strings library)
- struct/1 (basic_props regular type)
- struct_regexp/1 (regexp_code regular type)
- sub-shell (in CiaoMode)
- sub_atom/4 (atomic_basic predicate)
- sub_atom/5 (classic_predicates udreexp)
- sublist/2 (lists property)
- subordlist/2 (lists property)
- subsumes_term/2 (terms_check predicate)
- subterm (in debugger)
- subtract/3 (idlists predicate)
- success assertion (in assertions)
- success/1 (assertions declaration)
- success/2 (assertions declaration)
- sum(Index,LowerBound,UpperBound,Exp) (in native_props_cost)
- sum/4 (in native_props_cost)
- sum_list/2 (numlists predicate)
- sum_list/3 (numlists predicate)
- sum_list_of_lists/2 (numlists predicate)
- sum_list_of_lists/3 (numlists predicate)
- symbol_option/1 (runtime_control regular type)
- symbol_result/1 (runtime_control regular type)
- symfnames (symfnames library)
- syntax-based coloring (in CiaoMode)
- syntax_highlight (syntax_highlight library)
- system (system library)
- (in CommandLineUse)
- (in unittest)
- (in persdb_rt)
- (in datadir)
- (in actmod_dist)
- (in regp_filebased)
- (in regp_filebased)
- (in actmod_process)
- (in build_foreign_interface)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in iso_strict)
- (in format)
- (in assrt_lib)
- (in compiler)
- (in libpaths)
- (in pathnames)
- (in process)
- (in process_channel)
- (in io_port_reify)
- (in ctrlcclean)
- (in errhandle)
- (in modblobs)
- (in syntax_highlight)
- (in source_tree)
- (in librowser)
- (in http_server)
- (in cgi)
- (in glob)
- (in system_extra)
- (in system_extra)
- (in archive_files)
- (in symfnames)
- (in opendoc)
- (in openpg)
- (in emacs)
- system/1 (classic_predicates udreexp)
- system/2 (classic_predicates udreexp)
- system:wait/2 (in process)
- system_error_report/1 (classic_predicates udreexp)
- system_extra (system_extra library)
- system_info (system_info library)
T
- T. Chikayama (debugger author)
- TS86 (cite)
- Technical University of Madrid (in ciaointro)
- Test (in iso_misc)
- The Ciao Development Team (GettingStarted author)
- (Troubleshooting author)
- (DevEnv author)
- (toplevel author)
- (profile author)
- (builder author)
- (ciaoc author)
- (BasicLang author)
- (Conventions author)
- (modules author)
- (bundles author)
- (packages author)
- (exceptions author)
- (atomic_basic author)
- (AssrtLang author)
- (rtchecks author)
- (ExtendLang author)
- (noprelude author)
- (pure author)
- (dcg author)
- (dcg_phrase author)
- (datafacts_rt author)
- (dynamic author)
- (dynamic_rt author)
- (dynamic_clauses author)
- (dynamic_clauses_rt author)
- (persdb_rt author)
- (persdb_examples author)
- (actmod_dist author)
- (tabling author)
- (CompatProlog author)
- (iso_strict author)
- (iso_char author)
- (iso_incomplete author)
- (old_database author)
- (ttyout author)
- (listing author)
- (DataStructuresAlgs author)
- (lists author)
- (sort author)
- (llists author)
- (numlists author)
- (dict author)
- (StdLibs author)
- (streams author)
- (stream_utils author)
- (tokenize author)
- (format author)
- (terms_io author)
- (compiler author)
- (ExtraLibs author)
- (errhandle author)
- (terms author)
- (terms_check author)
- (terms_vars author)
- (between author)
- (pretty_print author)
- (source_tree author)
- (http author)
- (http_server author)
- (url author)
- (http_forms author)
- (cgi author)
- (http_messages author)
- (http_date author)
- (http_grammar author)
- (pillow author)
- (html author)
- (regexp author)
- (text_template author)
- (messages author)
- (menu author)
- (archive_files author)
- (opendoc author)
- (openpg author)
- (emacs author)
- Tom Howland (indexer author)
- Troubleshooting (Troubleshooting library)
- t_conj/1 (formulae regular type)
- t_disj/1 (formulae regular type)
- tab/1 (streams udreexp)
- tab/2 (iso_incomplete predicate)
- table/1 (tabling declaration)
- tabling (tabling library)
- tag_attrib/1 (in html)
- tail/2 (lazy_lib predicate)
- take/3 (lazy_lib predicate)
- takeWhile/3 (lazy_lib predicate)
- tcl_eval/3 (in ciaochanges)
- tcsh (in Install)
- tell/1 (classic_predicates udreexp)
- telling/1 (classic_predicates udreexp)
- term/1 (basic_props regular type)
- term_basic (term_basic library)
- term_basic:'\='/2 (in ciaochanges)
- term_basic:copy_term_nat/2 (in ciaochanges)
- term_compare (term_compare library)
- term_size/2 (terms predicate)
- term_to_atom/2 (actmod_dist predicate)
- term_typing (term_typing library)
- term_variables/2 (terms_vars predicate)
- term_variables/3 (terms_vars predicate)
- term_write/1 (terms_io predicate)
- termhide (in rtchecks)
- terminates/1 (native_props_cost property)
- terms (terms library)
- terms_check (terms_check library)
- terms_io (terms_io library)
- terms_to_file/2 (terms_io predicate)
- terms_vars (terms_vars library)
- test assertion (in assertions)
- test assertions (in unittest)
- test/1 (assertions declaration)
- test/2 (assertions declaration)
- test_action/1 (unittest regular type)
- test_command/1 (unittest_props property)
- test_option/1 (unittest udreexp)
- tests (in unittest)
- testsuite (in rtchecks)
- texec assertion (in assertions)
- texec/1 (assertions declaration)
- texec/2 (assertions declaration)
- text_template (text_template library)
- this_module/1 (hiord_rt predicate)
- throw/1 (exceptions predicate)
- throw/2 (in exceptions)
- throws/2 (in ciaochanges)
- tick_option/1 (runtime_control regular type)
- tick_result/1 (runtime_control regular type)
- time stamp (in CiaoMode)
- time/1 (runtime_control predicate)
- time_option/1 (runtime_control regular type)
- time_result/1 (runtime_control regular type)
- timeout(N) (in unittest)
- timeout/2 (unittest_props property)
- token/1 (tokenize regular type)
- tokenize (tokenize library)
- told/0 (classic_predicates udreexp)
- top-level (in debugger)
- top-level shell, starting (in CommandLineUse)
- toplevel (toplevel library)
- toplevel command args, setting (in CiaoMode)
- toplevel command, setting (in CiaoMode)
- toplevel_io (in debugger)
- touch/1 (classic_predicates udreexp)
- trace (in debugger)
- trace/0 (debugger predicate)
- tracertc/0 (debugger udreexp)
- tracing the source code (in CiaoMode)
- trait (in traits)
- traits (traits library)
- transactional update (in persdb_rt)
- transient state (in persdb_rt)
- transient.decl/1 (actmod_dist predicate)
- transitive_closure_lists/3 (lsets predicate)
- translation (in assrt_lib)
- translation_predname/1 (packages regular type)
- transpose/2 (llists predicate)
- triple/1 (graphs regular type)
- troubleshooting (in GettingStarted)
- true assertion (in assertions)
- true/0 (basiccontrol predicate)
- true/1 (assertions predicate)
- truncate/1 (in arithmetic)
- trust assertion (in assertions)
- trust assertions (in debugging_in_ciaopp)
- trust/1 (assertions predicate)
- try_sols(N) (in unittest)
- try_sols/2 (unittest_props property)
- ttr/3 (foreign_interface_properties property)
- ttydisplay/1 (classic_predicates udreexp)
- ttydisplay_string/1 (classic_predicates udreexp)
- ttydisplayq/1 (classic_predicates udreexp)
- ttyflush/0 (classic_predicates udreexp)
- ttyget/1 (classic_predicates udreexp)
- ttyget1/1 (classic_predicates udreexp)
- ttynl/0 (classic_predicates udreexp)
- ttyout (ttyout library)
- ttyput/1 (classic_predicates udreexp)
- ttyskip/1 (classic_predicates udreexp)
- ttyskipeol/0 (classic_predicates udreexp)
- ttytab/1 (classic_predicates udreexp)
- type (in AssrtLang)
- type declarations (in ciaodump)
- type of version control (in CiaoMode)
- type/2 (term_typing property)
U
- U. of Arizona (in ciaointro)
- UPM (in ciaointro)
- Updates to persistent predicates (in persdb_rt)
- ugraph/1 (ugraphs regular type)
- ugraphs (ugraphs library)
- umask/2 (classic_predicates udreexp)
- uncycle_term/2 (cyclic_terms predicate)
- undefined predicate (in runtime_control)
- undo/1 (odd predicate)
- undo_force_lazy/1 (toplevel predicate)
- uni_type (in menu_generator)
- uni_type/2 (menu_generator predicate)
- unicode (in tokenize)
- unifiable/3 (terms_check predicate)
- unifier/1 (terms_check regular type)
- unifier_elem/1 (terms_check regular type)
- unify (in debugger)
- unify_with_occurs_check/2 (classic_predicates udreexp)
- union/3 (lists predicate)
- union_idlists/3 (idlists predicate)
- unit tests (in unittest)
- unittest (unittest library)
- unittest.pl (in unittest)
- unittest_db (in unittest)
- unittest_default_timeout/1 (unittestdecls declaration)
- unittest_props (unittest_props library)
- unittest_props.pl (in unittest)
- unittest_regression (in unittest)
- unittest_runner (in unittest)
- unittest_runner_common (in unittest)
- unittest_statistics (unittest_statistics library)
- unittest_summaries (in unittest)
- unittestdecls (unittestdecls library)
- unload/1 (toplevel predicate)
- unlock_atom/1 (concurrency predicate)
- unlock_file/2 (file_locks predicate)
- unmarshalling (in ExtraLibs)
- upalpha/3 (http_grammar predicate)
- update/0 (librowser predicate)
- update_assoc/5 (assoc predicate)
- update_attribute/2 (attributes predicate)
- update_files (in persdb_rt)
- update_files/0 (persdb_rt predicate)
- update_files/1 (persdb_rt predicate)
- update_mutable/2 (mutables predicate)
- updated state (in persdb_rt)
- url (url library)
- url_info/2 (url predicate)
- url_info_relative/3 (url predicate)
- url_query/2 (in ciaochanges)
- url_query_values/2 (http_forms predicate)
- url_term/1 (url regular type)
- usage (in assertions)
- use_compiler/1 (foreign_interface_properties declaration)
- use_compiler/2 (foreign_interface_properties declaration)
- use_foreign_gluecode_header/1 (foreign_interface_properties declaration)
- use_foreign_library/1 (foreign_interface_properties declaration)
- use_foreign_library/2 (foreign_interface_properties declaration)
- use_foreign_source/1 (foreign_interface_properties declaration)
- use_foreign_source/2 (in ciaochanges)
- use_linker/1 (foreign_interface_properties declaration)
- use_linker/2 (foreign_interface_properties declaration)
- use_module/1 (toplevel predicate)
- use_module/2 (toplevel predicate)
- use_module/3 (actmod declaration)
- use_package (in debugger)
- use_package/1 (toplevel predicate)
- use_pkg/2 (assrt_lib predicate)
- useful modes (in assertions_props)
- user module (in toplevel)
- user modules, debugging (in debugger)
- user:file_alias/2 (in symfnames)
- user_error/2 (unittest_props property)
- user_output/2 (in ciaochanges)
- using_tty/0 (in ciaochanges)
- using_windows/0 (classic_predicates udreexp)
V
- Van89 (cite)
- Veroniek Dumortier (in ciaointro)
- valid_mode/1 (system_extra regular type)
- valid_solution/2 (in ciaochanges)
- value_dict/1 (http_forms regular type)
- var/1 (term_typing property)
- variable names (in assertions)
- variables (in debugger)
- variant/2 (terms_check predicate)
- varnamedict/1 (vndict regular type)
- varnamesl2dict/2 (vndict predicate)
- vars_names_dict/3 (vndict predicate)
- varsbag/3 (terms_vars predicate)
- varset/2 (terms_vars predicate)
- varset_in_args/2 (terms_vars predicate)
- verify_attribute/2 (attributes predicate)
- version control (in CiaoMode)
- version maintenance mode for packages (in CiaoMode)
- version number (in CiaoMode)
- version numbering (in CiaoMode)
- version_compare/3 (version_strings predicate)
- version_parse/4 (version_strings predicate)
- version_split_patch/3 (version_strings predicate)
- version_strings (version_strings library)
- vertices/2 (ugraphs predicate)
- vertices_edges_to_lgraph/3 (lgraphs predicate)
- vertices_edges_to_ugraph/3 (ugraphs predicate)
- vmember/2 (menu_generator predicate)
- vndict (vndict library)
W
- WAM (in ciaointro)
- WWW browser (in Install)
- WWW, interfacing with (in pillow)
- War88 (cite)
- War92 (cite)
- Wlodek Drabent (in ciaointro)
- wait/2 (classic_predicates udreexp)
- wakeup_exp/1 (when regular type)
- walk/3 (in source_tree)
- walk_action/1 (in source_tree)
- walk_event/1 (in source_tree)
- warn_on_nosuccess/1 (system_extra predicate)
- warning_message/1 (messages predicate)
- warning_message/2 (messages predicate)
- warning_message/3 (messages predicate)
- weekday/1 (http_date regular type)
- wellformed_body/3 (dynamic_rt predicate)
- when (when library)
- when/2 (when predicate)
- where/1 (librowser predicate)
- whitespace/2 (strings predicate)
- whitespace0/2 (strings predicate)
- why the name Ciao (in ciaointro)
- winpath/2 (classic_predicates udreexp)
- winpath/3 (classic_predicates udreexp)
- winpath_c/3 (classic_predicates udreexp)
- working_directory/2 (classic_predicates udreexp)
- workspace (in bundles)
- wrapper/2 (clpfd_rt predicate)
- write (write library)
- (in debugger)
- (in unittest)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in classic_predicates)
- (in iso_strict)
- (in iso_incomplete)
- (in listing)
- (in format)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in messages_basic)
- (in process_channel)
- (in modblobs)
- (in pretty_print)
- (in librowser)
- (in http_server)
- (in messages)
- (in menu_generator)
- write/1 (classic_predicates udreexp)
- write/2 (classic_predicates udreexp)
- write_assertion/6 (assrt_write predicate)
- write_assertion/7 (assrt_write predicate)
- write_assertion_as_comment/6 (assrt_write predicate)
- write_assertion_as_comment/7 (assrt_write predicate)
- write_assertion_as_double_comment/6 (assrt_write predicate)
- write_assertion_as_double_comment/7 (assrt_write predicate)
- write_attribute/1 (classic_predicates udreexp)
- write_bytes/1 (stream_utils predicate)
- write_bytes/2 (stream_utils predicate)
- write_c (in build_foreign_interface)
- write_canonical/1 (classic_predicates udreexp)
- write_canonical/2 (classic_predicates udreexp)
- write_option/1 (classic_predicates udreexp)
- write_string/1 (stream_utils predicate)
- write_string/2 (stream_utils predicate)
- write_term/2 (classic_predicates udreexp)
- write_term/3 (classic_predicates udreexp)
- writeq/1 (classic_predicates udreexp)
- writeq/2 (classic_predicates udreexp)
- writing unit tests (in unittest)
X
Y
Z
Generated with LPdoc using Ciao