☰

Classic Prolog predicates

Author(s): Daniel Cabeza, Jose F. Morales, Manuel Hermenegildo.

This module reexports the predicates required by the classical Prolog package.

Usage and interface

  • Library usage:
    :- use_module(library(classic/classic_predicates)).

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)member/2
Imported from lists (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)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)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)call_det/2
Imported from iso_misc (see the corresponding documentation for details)

(UNDOC_REEXPORT)forall/2
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)using_windows/0
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)no_swapslash/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/2
Imported from system (see the corresponding documentation for details)

(UNDOC_REEXPORT)winpath/3
Imported from system (see the corresponding documentation for details)

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

(UNDOC_REEXPORT)fd_dup/2
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_numcores/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)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)dev_null/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)system_error_report/1
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)rename_file/2
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)delete_directory/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)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)extract_paths/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)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)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)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)copy_options/1
Imported from system (see the corresponding documentation for details)

(UNDOC_REEXPORT)copy_option/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_struct/1
Imported from system (see the corresponding documentation for details)

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

(UNDOC_REEXPORT)now/1
Imported from system (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)

Documentation on imports

This module has the following direct dependencies:
Generated with LPdoc using Ciao