▲◄►The Ciao System » PART II - The Ciao basic language (engine) »

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

Documentation on exports

(UNDOC_REEXPORT)
op/3:
Imported from operators (see the corresponding documentation for details).

(UNDOC_REEXPORT)
current_op/3:
Imported from operators (see the corresponding documentation for details).

(UNDOC_REEXPORT)
append/3:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
delete/3:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
select/3:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
nth/3:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
last/2:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
reverse/2:
Imported from lists (see the corresponding documentation for details).

(UNDOC_REEXPORT)
length/2:
Imported from lists (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)
^/2:
Imported from aggregates (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)
data/1:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
dynamic/1:
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)
clause/3:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
clause/2:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
abolish/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)
retract/1:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
assert/2:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
assert/1:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
assertz/2:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
assertz/1:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
asserta/2:
Imported from dynamic (see the corresponding documentation for details).

(UNDOC_REEXPORT)
asserta/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)
read_term/3:
Imported from read (see the corresponding documentation for details).

(UNDOC_REEXPORT)
read_term/2:
Imported from read (see the corresponding documentation for details).

(UNDOC_REEXPORT)
read/2:
Imported from read (see the corresponding documentation for details).

(UNDOC_REEXPORT)
read/1:
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)
printq/1:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
printq/2:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
print/1:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
print/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)
writeq/1:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
writeq/2:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
write/1:
Imported from write (see the corresponding documentation for details).

(UNDOC_REEXPORT)
write/2:
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_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
put_char/1:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
peek_char/2:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
peek_char/1:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
get_char/2:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
get_char/1:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
char_codes/2:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
number_chars/2:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
atom_chars/2:
Imported from iso_char (see the corresponding documentation for details).

(UNDOC_REEXPORT)
char_code/2:
Imported from iso_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)
once/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)
sformat/3:
Imported from format (see the corresponding documentation for details).

(UNDOC_REEXPORT)
format/3:
Imported from format (see the corresponding documentation for details).

(UNDOC_REEXPORT)
format/2:
Imported from format (see the corresponding documentation for details).

(UNDOC_REEXPORT)
keypair/1:
Imported from sort (see the corresponding documentation for details).

(UNDOC_REEXPORT)
keylist/1:
Imported from sort (see the corresponding documentation for details).

(UNDOC_REEXPORT)
keysort/2:
Imported from sort (see the corresponding documentation for details).

(UNDOC_REEXPORT)
sort/2:
Imported from sort (see the corresponding documentation for details).

(UNDOC_REEXPORT)
between/3:
Imported from between (see the corresponding documentation for details).

(UNDOC_REEXPORT)
find_executable/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
get_home/1:
Imported from system (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)
cyg2win_a/3:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
cyg2win/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)
winpath/3:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
winpath/2:
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)
system/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
system/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
shell/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
shell/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
shell/0:
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)
get_gid/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
get_uid/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
get_pid/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
kill/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
wait/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
pause/1:
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)
chmod/3:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
chmod/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
fmode/2:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
touch/1:
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)
mktemp/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)
cd/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_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)
umask/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_tmp_dir/1:
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)
c_errno/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
del_env/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
set_env/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)
datime/9:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
datime/1:
Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT)
time/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)
told/0:
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)
tell/1:
Imported from dec10_io (see the corresponding documentation for details).

(UNDOC_REEXPORT)
seen/0:
Imported from dec10_io (see the corresponding documentation for details).

(UNDOC_REEXPORT)
seeing/1:
Imported from dec10_io (see the corresponding documentation for details).

(UNDOC_REEXPORT)
see/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).

(UNDOC_REEXPORT)
ttyflush/0:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttytab/1:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttyskip/1:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttyput/1:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttynl/0:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttyget1/1:
Imported from ttyout (see the corresponding documentation for details).

(UNDOC_REEXPORT)
ttyget/1:
Imported from ttyout (see the corresponding documentation for details).

Module Sections

Global Links

Indices

▲◄► 
Generated with LPdoc using Ciao