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 section Definite clause grammars and section Enabling operators at run-time are also activated.

• Usage and interface (default_predicates)
• Documentation on exports (default_predicates)

Usage and interface (default_predicates)

Documentation on exports (default_predicates)

(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): 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): 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_list1/1:

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): 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_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): 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): once/1:

Imported from iso_misc (see the corresponding documentation for details).

(UNDOC_REEXPORT): \=/2:

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/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): 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): cyg2win/3:

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): 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): 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/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): exec/3:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): exec/4:

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): popen/3:

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): 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_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): 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_pid/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/2:

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): pause/1:

Imported from system (see the corresponding documentation for details).

(UNDOC_REEXPORT): new_atom/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/2:

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).

Go to the first, previous, next, last section, table of contents.