Other predicates and features defined by default
Author(s): Daniel Cabeza.
To simplify the use of Ciao Prolog to the first-timers, some other predicates and features are defined by default in normal cases, to provide more or less what other prologs define by default. Here are explicitly listed the predicates defined, coming from several libraries. Apart from those, the features defined in Definite Clause Grammars and Enabling operators at run-time are also activated.
Usage and interface
- Library usage:
No need of explicit loading. It is included by default in modules starting with a module/2 declaration or user files without a starting use_package/1 declaration. In the Ciao shell, it is loaded by default when no ~/.ciaorc exists. Note that :- module(modulename,exports) is equivalent to :- module(modulename,exports,[default]) If you do not want these predicates/features loaded for a given file (in order to make the executable smaller) you can ask for this explicitly using :- module(modulename,exports,[]) or in a user file :- use_package([]). - Imports:
- System library modules:
aggregates, dynamic, read, write, operators, iso_byte_char, iso_misc, format, lists, sort, between, compiler/compiler, system, prolog_sys, dec10_io, old_database, ttyout. - Packages:
prelude, nonpure, assertions.
- System library modules:
Documentation on exports
(UNDOC_REEXPORT)
current_op/3:
Imported from operators (see the corresponding documentation for details).
(UNDOC_REEXPORT)
use_module/1:
Imported from compiler (see the corresponding documentation for details).
(UNDOC_REEXPORT)
use_module/2:
Imported from compiler (see the corresponding documentation for details).
(UNDOC_REEXPORT)
ensure_loaded/1:
Imported from compiler (see the corresponding documentation for details).
(UNDOC_REEXPORT)
findnsols/5:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
findnsols/4:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
findall/4:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
findall/3:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
bagof/3:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
setof/3:
Imported from aggregates (see the corresponding documentation for details).
(UNDOC_REEXPORT)
wellformed_body/3:
Imported from dynamic (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_predicate/2:
Imported from dynamic (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_predicate/1:
Imported from dynamic (see the corresponding documentation for details).
(UNDOC_REEXPORT)
retractall/1:
Imported from dynamic (see the corresponding documentation for details).
(UNDOC_REEXPORT)
read_option/1:
Imported from read (see the corresponding documentation for details).
(UNDOC_REEXPORT)
second_prompt/2:
Imported from read (see the corresponding documentation for details).
(UNDOC_REEXPORT)
read_top_level/3:
Imported from read (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_attribute/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
printable_char/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
prettyvars/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
numbervars/3:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
portray_clause/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
portray_clause/2:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_canonical/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_canonical/2:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_list1/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_option/1:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_term/2:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
write_term/3:
Imported from write (see the corresponding documentation for details).
(UNDOC_REEXPORT)
put_char/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
put_char/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
peek_char/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
peek_char/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_char/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_char/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
put_byte/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
put_byte/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
peek_byte/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
peek_byte/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_byte/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_byte/1:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
char_codes/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
number_chars/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
atom_chars/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
char_code/2:
Imported from iso_byte_char (see the corresponding documentation for details).
(UNDOC_REEXPORT)
unify_with_occurs_check/2:
Imported from iso_misc (see the corresponding documentation for details).
(UNDOC_REEXPORT)
sub_atom/5:
Imported from iso_misc (see the corresponding documentation for details).
(UNDOC_REEXPORT)
compound/1:
Imported from iso_misc (see the corresponding documentation for details).
(UNDOC_REEXPORT)
format_control/1:
Imported from format (see the corresponding documentation for details).
(UNDOC_REEXPORT)
format_to_string/3:
Imported from format (see the corresponding documentation for details).
(UNDOC_REEXPORT)
system_error_report/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
replace_characters/4:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
no_swapslash/3:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
winpath_c/3:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
using_windows/0:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
rename_file/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
delete_directory/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
delete_file/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
set_exec_mode/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
modif_time0/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
modif_time/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
file_properties/6:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
file_property/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
file_exists/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
file_exists/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
mktemp_in_tmp/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
directory_files/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
popen_mode/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
working_directory/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
make_dirpath/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
make_dirpath/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
make_directory/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
make_directory/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_executable/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_host/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_address/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_tmp_dir/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_grnam/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
get_pwnam/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
file_dir_name/3:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
extract_paths/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
copy_file/3:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
copy_file/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_env/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
setenvstr/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
getenvstr/2:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
datime_struct/1:
Imported from system (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_heap_limit/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
set_heap_limit/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
garbage_collect/0:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_atom/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
predicate_property/3:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
predicate_property/2:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
time_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
tick_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
clockfreq_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
memory_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
garbage_collection_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
symbol_option/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
time_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
memory_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
gc_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
symbol_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
new_atom/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
tick_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
clockfreq_result/1:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
statistics/2:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
statistics/0:
Imported from prolog_sys (see the corresponding documentation for details).
(UNDOC_REEXPORT)
close_file/1:
Imported from dec10_io (see the corresponding documentation for details).
(UNDOC_REEXPORT)
telling/1:
Imported from dec10_io (see the corresponding documentation for details).
(UNDOC_REEXPORT)
current_key/2:
Imported from old_database (see the corresponding documentation for details).
(UNDOC_REEXPORT)
recorded/3:
Imported from old_database (see the corresponding documentation for details).
(UNDOC_REEXPORT)
recordz/3:
Imported from old_database (see the corresponding documentation for details).
(UNDOC_REEXPORT)
recorda/3:
Imported from old_database (see the corresponding documentation for details).
(UNDOC_REEXPORT)
ttydisplay_string/1:
Imported from ttyout (see the corresponding documentation for details).
(UNDOC_REEXPORT)
ttyskipeol/0:
Imported from ttyout (see the corresponding documentation for details).
(UNDOC_REEXPORT)
ttydisplayq/1:
Imported from ttyout (see the corresponding documentation for details).
(UNDOC_REEXPORT)
ttydisplay/1:
Imported from ttyout (see the corresponding documentation for details).
