☰
↑
←
→
🔍
TOC
The Ciao Internals
»
Search this manual
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.
A
abolish_module/1 (c_itf predicate)
(in c_itf)
activate_translation/3 (c_itf predicate)
(in c_itf)
add_module_check/1 (c_itf predicate)
(in c_itf)
adds/2 (c_itf predicate)
(in c_itf)
aggregates (in exemaker)
(in c_itf)
assertions (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
(in emugen)
assertions/assertions_basic (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
(in emugen)
assrt_lib (in c_itf)
B
base_name/2 (c_itf predicate)
(in c_itf)
build_foreign_interface (in exemaker)
(in c_itf)
C
c_itf (c_itf library)
(in compiler)
(in exemaker)
(in pl2wam)
c_itf_internal_pred/2 (c_itf predicate)
(in c_itf)
c_itf_internal_pred_decl/1 (c_itf predicate)
(in c_itf)
clause_of/7 (c_itf predicate)
(in c_itf)
cleanup_c_itf_data/0 (c_itf predicate)
(in c_itf)
cleanup_compilation_data/0 (pl2wam predicate)
(in pl2wam)
cleanup_itf_cache/0 (c_itf predicate)
(in c_itf)
comp_defines/1 (c_itf predicate)
(in c_itf)
(in c_itf)
compile_clause/2 (pl2wam predicate)
(in pl2wam)
compile_clause_in_mode/3 (pl2wam predicate)
(in pl2wam)
compiler (compiler library)
compiler_name/1 (c_itf predicate)
(in c_itf)
compiler_version/1 (c_itf predicate)
(in c_itf)
complete_dict (in c_itf)
compute_base_name/4 (c_itf predicate)
(in c_itf)
condcomp (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
(in emugen)
create_interfaces/0 (exemaker predicate)
(in exemaker)
ctrlcclean (in exemaker)
(in c_itf)
D
datafacts (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
datafacts_rt (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
dcg (in pl2wam)
decl/2 (c_itf predicate)
(in c_itf)
def_multifile/4 (c_itf predicate)
(in c_itf)
default_package/1 (c_itf predicate)
(in c_itf)
define_flag (in exemaker)
(in c_itf)
define_flag/3 (exemaker predicate)
(c_itf predicate)
(in exemaker)
(in c_itf)
define_ops/0 (c_itf predicate)
(in c_itf)
defines/3 (c_itf predicate)
(in c_itf)
defines/5 (c_itf predicate)
(in c_itf)
(in c_itf)
(in c_itf)
defines_module/2 (c_itf predicate)
(in c_itf)
defines_pred/3 (c_itf predicate)
(in c_itf)
dict (in pl2wam)
discontiguous/3 (c_itf predicate)
(in c_itf)
do_on_abolish/1 (c_itf predicate)
(in c_itf)
dyn_decl/4 (c_itf predicate)
(in c_itf)
dynamic_rt (in c_itf)
dynamic_search_path/1 (exemaker predicate)
(in exemaker)
E
emugen (emugen library)
end_goal_trans/1 (c_itf predicate)
(in c_itf)
engine_path (in exemaker)
ensure_imported/4 (c_itf predicate)
(in c_itf)
ensure_loaded/1 (compiler predicate)
(in compiler)
(in c_itf)
ensure_loaded/2 (compiler predicate)
(in compiler)
exemaker (exemaker library)
(in compiler)
(in c_itf)
expand_module_decl/5 (c_itf predicate)
(in c_itf)
exports/5 (c_itf predicate)
(in c_itf)
exports_pred/3 (c_itf predicate)
(in c_itf)
F
false/1 (c_itf predicate)
fastrw (in c_itf)
file_buffer (in exemaker)
(in c_itf)
file_data/3 (c_itf predicate)
(in c_itf)
force_lazy/1 (exemaker predicate)
(in exemaker)
frontend_condcomp (in c_itf)
G
global_module_options (in c_itf)
H
handle_exc/1 (c_itf predicate)
(in c_itf)
hiord (in c_itf)
hiordlib (in c_itf)
I
import/2 (in c_itf)
imports/5 (c_itf predicate)
(in c_itf)
(in c_itf)
imports_all/2 (c_itf predicate)
(in c_itf)
imports_nocheck/4 (c_itf predicate)
(in c_itf)
imports_pred/7 (c_itf predicate)
(in c_itf)
includes/2 (c_itf predicate)
(in c_itf)
incore_mode_of/2 (c_itf predicate)
(in c_itf)
initial (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
(in emugen)
interpret_file/1 (c_itf predicate)
(in c_itf)
interpret_module/1 (c_itf predicate)
(in c_itf)
interpret_srcdbg/1 (c_itf predicate)
(in c_itf)
iso_misc (in pl2wam)
J
Jose F. Morales (emugen author)
L
lists (in exemaker)
(in c_itf)
(in pl2wam)
load_compilation_module/1 (in c_itf)
loads/2 (c_itf predicate)
(in c_itf)
location/1 (c_itf predicate)
(in c_itf)
location/3 (c_itf predicate)
(in c_itf)
location_t/1 (c_itf regular type)
(in c_itf)
M
MCH09 (cite)
(in emugen)
Mor10 (cite)
(in emugen)
make_exec/2 (exemaker predicate)
(in exemaker)
make_object1/2 (c_itf predicate)
(in c_itf)
make_po/1 (compiler predicate)
(in compiler)
make_po_file/1 (c_itf predicate)
(in c_itf)
make_wam/1 (compiler predicate)
(in compiler)
meta_args/2 (c_itf predicate)
(in c_itf)
meta_pred/4 (c_itf predicate)
(in c_itf)
mode_of_module/2 (compiler predicate)
(in compiler)
module_error/0 (c_itf predicate)
(in c_itf)
(in c_itf)
module_error/1 (c_itf predicate)
(in c_itf)
module_expansion/9 (c_itf predicate)
(in c_itf)
module_from_base/2 (c_itf predicate)
(in c_itf)
module_loaded/4 (c_itf predicate)
(in c_itf)
module_of/2 (compiler predicate)
(in compiler)
multifile/1 (c_itf predicate)
(in c_itf)
multifile/3 (c_itf predicate)
(in c_itf)
multifile/4 (in c_itf)
N
needs_interface/2 (exemaker predicate)
(in exemaker)
nortchecks (in c_itf)
(in pl2wam)
O
old_file_extension/2 (c_itf predicate)
(in c_itf)
operators (in c_itf)
opt_suffix/2 (c_itf predicate)
(in c_itf)
P
package/2 (c_itf predicate)
(in c_itf)
pathnames (in c_itf)
pl2wam (pl2wam library)
(in exemaker)
(in c_itf)
(in c_itf)
pl2wam_tables (in pl2wam)
pred_module/2 (c_itf predicate)
(in c_itf)
prelude (in compiler)
(in exemaker)
(in c_itf)
(in pl2wam)
(in emugen)
proc_declaration/4 (pl2wam predicate)
(in pl2wam)
proc_declaration_in_mode/5 (pl2wam predicate)
(in pl2wam)
process_file/7 (c_itf predicate)
(in c_itf)
process_files_from/7 (c_itf predicate)
(in c_itf)
(in c_itf)
processed/2 (c_itf predicate)
(in c_itf)
R
read (in c_itf)
read_sentence/3 (c_itf predicate)
(in c_itf)
reset_counter/1 (pl2wam predicate)
(in pl2wam)
restore_defines/5 (c_itf predicate)
(in c_itf)
restore_imports/5 (c_itf predicate)
(in c_itf)
restore_multifile/4 (c_itf predicate)
(in c_itf)
rtchecks_tr (in c_itf)
S
set_ciaopp_expansion/1 (c_itf predicate)
(in c_itf)
set_compiler_mode/1 (pl2wam predicate)
(in pl2wam)
set_compiler_mode_out/2 (pl2wam predicate)
(in pl2wam)
set_compiler_out/1 (pl2wam predicate)
(in pl2wam)
set_debug_mode/1 (compiler predicate)
(in compiler)
set_debug_module/1 (compiler predicate)
(in compiler)
set_debug_module_source/1 (compiler predicate)
(in compiler)
set_nodebug_mode/1 (compiler predicate)
(in compiler)
set_nodebug_module/1 (compiler predicate)
(in compiler)
sort (in pl2wam)
srcdbg (in c_itf)
static_base/1 (c_itf predicate)
(in c_itf)
static_module/1 (c_itf predicate)
(in c_itf)
stream_utils (in exemaker)
(in c_itf)
strings (in c_itf)
system (in compiler)
(in exemaker)
(in c_itf)
T
The Ciao Development Team (compiler author)
(c_itf author)
terms (in c_itf)
(in pl2wam)
terms_io (in c_itf)
toplevel (in compiler)
translation (in c_itf)
U
undo_force_lazy/1 (exemaker predicate)
(in exemaker)
unload/1 (compiler predicate)
(in compiler)
unload_mod/1 (c_itf predicate)
(in c_itf)
use_mod/3 (c_itf predicate)
(in c_itf)
(in c_itf)
use_mod_user/2 (c_itf predicate)
(in c_itf)
use_module/1 (compiler predicate)
(in compiler)
(in c_itf)
use_module/2 (compiler predicate)
(in compiler)
(in c_itf)
use_module/3 (compiler predicate)
(in compiler)
uses/2 (c_itf predicate)
(in c_itf)
uses_file/2 (c_itf predicate)
(in c_itf)
W
wamql (in c_itf)
write (in pl2wam)