00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027 :- export cd/1, ls/0, rename/2, rm/1, rmdir/1, rmdir_rec/1, edit/1,
00028 expand_filename_no_prepend/2,
00029 cwd/1, create_lockfile/1, sys_cwd/2, sys_pid/1,
00030 shell/5, shell/2, shell/1, sleep/1,copy/2,
00031 is_plain_file/1, is_directory/1,
00032 spawn_process/5, get_process_table/1, process_status/2,
00033 process_control/2,
00034 exec/1, list_directory/2.
00035 :- export sys_chdir/2, sys_access/3, sys_stat/3, sys_link/3,
00036 sys_mkdir/2, sys_rmdir/2,
00037 sys_unlink/2, sys_exit/1, sys_rename/3, sys_filecopy/3.
00038
00039 :- import ground/1, append/3, member/2 from basics.
00040 :- import findall/3 from setof.
00041 :- import path_sysop/2 from file_io.
00042 :- import check_nonvar/3 from error_handler.
00043 :- import sys_system/7, expand_filename/2, sys_syscall/4,
00044 tilde_expand_filename/2, slash/1
00045 from machine.
00046 :- import atom/1, abort/1, is_list/1 from standard.
00047 :- import xsb_configuration/2 from xsb_configuration.
00048