File System

File and Path Names

A set of standard predicates ease filename handling and enable searching for files on a disk.

filenamepath(STRING QualName, STRING Path, STRING Name)

filenamepath/3 is used to compose and decompose a fully qualified name around its path and filename.

filenamepath converts between QualName on one side, and Path and Name on the other.

Please, using the (o,i,i) flow pattern of this predicate, take into account some special cases described in the filenamepath topic.

filenameext(STRING Name, STRING BaseName, STRING Ext)

filenameext/3 is used to compose and decompose a (fully qualified) filename around its extension, defined by a dot.

deletefile		This function deletes file specified in FILENAME
directories		Get the list of subdirectories
end_of_file		Check for end-of-file
file_str		This function could be as a writing or reading a string from the file specified by File.
filedetails		Returns parameters of a File
filenameext		Returns or replace a file name's extension
filenamepath		Is used to compose and decompose a fully qualified OS file name around its path and file name.
files		Returns the filelist
see		Open file for input.
seeing		Returns the name of the opened input file.
seen		Close input file.
tell		Open file for output.
telling		Returns the name of the opened output file.
told		Close output file.