Did you know ... Search Documentation:
Pack prolog_library_collection -- prolog/file_ext.pl
PublicShow source
 append_directories(+Directories:list(atom), -Directory:atom) is det
 cat(+Out:ostream, +Files:list(atom)) is det
 change_file_name_extension(?FromFile:atom, ?ToExtension:atom, ?ToFile:atom) is det
 change_file_name_extension(?FromFile:atom, ?FromExtension:atom, ?ToExtension:atom, ?ToFile:atom) is det
 change_file_name_extensions(?FromFile:atom, ?ToExtensions:list(atom), ?ToFile:atom) is det
 change_file_name_extensions(?FromFile:atom, ?FromExtensions:list(atom), ?ToExtensions:list(atom), ?ToFile:atom) is det
 compress_file(+FromFile:atom) is det
 compress_file(+FromFile:atom, +ToFile:atom) is det
compress_file(+FromFile:atom, -ToFile:atom) is det
 concatenate_files(+Files, +ConcatenatedFile) is det
 convert_file(+File:atom, +Format:atom) is det
 convert_file(+FromFile:atom, +Format:atom, ?ToFile:atom) is det
See also
- Formats are ‘documented’ over at https://cgit.freedesktop.org/libreoffice/core/tree/filter/source/config/fragments/filters
- Encodings are ‘documented’ over at https://wiki.openoffice.org/wiki/Documentation/DevGuide/Spreadsheets/Filter_Options
 create_directory(+Directory:atom) is det
 create_file_directory(+Path) is det
Ensures that the directory structure for the given file exists.
 decompress_file(+FromFile:atom, +ToFile:atom) is det
 delete_files_by_extension(+Extension:atom) is det
 delete_files_by_extension(+Directory:atom, +Extension:atom) is det
 delete_files_by_extensions(+Extensions:list(atom)) is det
 delete_files_by_extensions(+Directory:atom, +Extensions:list(atom)) is det
 directory_file_path2(+Directory:atom, +File:atom, -Path:atom) is det
directory_file_path2(+Directory:atom, -File:atom, -Path:atom) is nondet
directory_file_path2(-Directory:atom, -File:atom, +Path:atom) is det
Instantiation pattern (+,-,-) is not supported by directory_file_path/3 from the standard library.
 directory_parent(+ChildDirectory:atom, -ParentDirectory:atom) is det
 directory_path(+Directory:atom, -Path:atom) is nondet
directory_path(-Directory:atom, +Path:atom) is det
 directory_path_recursive(+Directory:atom, -Path:atom) is nondet
 directory_subdirectories(+Directory:atom, -Subdirectories:list(atom)) is det
directory_subdirectories(-Directory:atom, +Subdirectories:list(atom)) is det
Occurrences of `. and .. in Directory' are resolved.

The empty atom in the first position indicates the root directory.

For absolute directory names the first subdirectory name is the empty atom.

 directory_subdirectory(+Directory:atom, +SubDirectory:atom) is semidet
directory_subdirectory(+Directory:atom, -SubDirectory:atom) is nondet
 directory_subdirectory(+Directory:atom, +Local:atom, +SubDirectory:atom) is semidet
directory_subdirectory(+Directory:atom, +Local:atom, -SubDirectory:atom) is semidet
directory_subdirectory(+Directory:atom, -Local:atom, -SubDirectory:atom) is nondet
 file_call(+File:atom, :Goal_1) is det
 file_extension(+File:atom, -Extension:atom) is nondet
 file_extensions(+File:atom, -Extensions:list(atom)) is det
 file_extensions_media_type(+Extensions:list(atom), -MediaType:media_type) is det
 file_is_fresh(+File:atom, +LastModified:nonneg) is det
 file_line(+File:atom, -Line:string) is nondet
 file_media_type(+File:atom, -MediaType:media_type) is nondet
 file_mode(+File:atom, +Mode:oneof([append,read,write])) is det
throws
- existence_error
- permission_error
 file_name(+File:atom, +Name:atom) is semidet
file_name(+File:atom, -Name:atom) is det
 file_name_extension2(+File:atom, -Name:atom, -Extension:atom) is det
file_name_extension2(-File:atom, +Name:atom, +Extension:atom) is det
 file_name_extensions(+File:atom, -Name:atom, -Extensions:list(atom)) is det
file_name_extensions(-File:atom, +Name:atom, +Extensions:list(atom)) is det
 file_size(+File:atom, -Size:nonneg) is det
See also
- Wrapper around size_file/2.
 file_to_string(+File:atom, -String:string) is det
 guess_file_encoding(+File:atom, +Encoding:atom) is det
guess_file_encoding(+File:atom, -Encoding:atom) is det
When Encoding is instantiated to an encoding different from the guessed encoding, the error unexpected_encoding/2 is thrown.
See also
- guess_encoding/2.
 home_directory(+Directory:atom) is semidet
home_directory(-Directory:atom) is nondet
 is_dummy_file(+File:atom) is semidet
 is_empty_directory(+Directory:atom) is semidet
 is_empty_file(+File:atom) is semidet
 peek_file(+File:atom, +Size:nonneg, -String:string) is det
 read_from_file(+File:atom, :Goal_1) is det
 read_from_file(+File:atom, :Goal_1, +Options:options) is det
Calls Goal_1 on the input stream derived from the given File. If the filen name ends in `.gz', GNU zip decompression is applied.
 read_write_file(+File:atom, :Goal_2) is det
 read_write_file(+File:atom, :Goal_2, +ReadOptions:options, +WriteOptions:options) is det
 read_write_files(+FromFile:atom, +ToFile:atom, :Goal_2) is det
 read_write_files(+FromFile:atom, +ToFile:atom, :Goal_2, +Options:options) is det
 read_write_files(+FromFile:atom, +ToFile:atom, :Goal_2, +ReadOptions:options, +WriteOptions:options) is det
 recode_file(+FromFile:atom) is det
 recode_file(+FromFile:atom, +FromEncoding:atom) is det
Recodes the given File from the given FromEncoding to UTF-8.
 recode_files(+FromFile:atom, +ToFile:atom) is det
 recode_files(+FromFile:atom, +FromEncoding:atom, +ToFile:atom) is det
 sort_file(+File:atom) is det
 sort_file(+File:atom, +Options:options) is det
 touch(+File) is det
 working_directory(-Directory:atom) is det
 write_to_file(+File:atom, :Goal_1) is det
 write_to_file(+File:atom, :Goal_1, +Options:options) is det
If File's directory does not exist it is created.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 compress_file(Arg1, Arg2)
 convert_file(Arg1, Arg2, Arg3)
 delete_files_by_extension(Arg1, Arg2)
 delete_files_by_extensions(Arg1, Arg2)
 directory_file(Arg1, Arg2)
 read_from_file(Arg1, Arg2, Arg3)
 read_write_file(Arg1, Arg2, Arg3)
 read_write_file(Arg1, Arg2, Arg3, Arg4)
 read_write_files(Arg1, Arg2, Arg3, Arg4)
 read_write_files(Arg1, Arg2, Arg3, Arg4, Arg5)
 recode_file(Arg1, Arg2)
 recode_files(Arg1, Arg2, Arg3)
 sort_file(Arg1, Arg2)
 write_to_file(Arg1, Arg2, Arg3)
 set_time_file(Arg1, Arg2, Arg3)
 link_file(Arg1, Arg2, Arg3)
 chmod(Arg1, Arg2)
 relative_file_name(Arg1, Arg2, Arg3)
 directory_file_path(Arg1, Arg2, Arg3)
 directory_member(Arg1, Arg2, Arg3)
 copy_file(Arg1, Arg2)
 make_directory_path(Arg1)
 ensure_directory(Arg1)
 copy_directory(Arg1, Arg2)
 delete_directory_and_contents(Arg1)
 delete_directory_contents(Arg1)