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

`default_predicates`

)**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(`

is equivalent to*modulename*,*exports*)`:- module(`

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*modulename*,*exports*,[default])`:- module(`

or in a user file*modulename*,*exports*,[])`:- use_package([])`

.**Other modules used:**

`default_predicates`

)- (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):
**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):
**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):
**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_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):
**format_control/1:** -
Imported from

`format`

(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):
**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):
**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_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):
**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):
**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):
**telling/1:** -
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):
**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):
**ttyskip/1:** -
Imported from

`ttyout`

(see the corresponding documentation for details).

- (UNDOC_REEXPORT):
**ttyget1/1:** -
Imported from

`ttyout`

(see the corresponding documentation for details).

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