canon_path/2 — canonicalizes a path name
change_cwd/1 — change the current working directory
filename_equal/2 — OS portable check for equality of file names
getDirEntries/3 — returns the file in a directory which matches a pattern
get_cwd/1 — returns the current working directory
must_exist_file/1 — raises a system_error if exists_file fails
remove_file/1 — removes a file from the current working directory
canon_path(SrcPath,CanonPath) change_cwd(NewDir) filename_equal(Name1, Name2) getDirEntries(Path, FilePattern, FilesList) get_cwd(Path) must_exist_file(FileName) remove_file(FileName)
SrcPath is a path name, either to a file or to a directory,
CanonPath is a canonicalized version of that path name, in the
sense that all symbolic links in the path (to either subdirs
or the file at the end) are dereferenced out.
NewDir is a (quoted) atom representing an existing
path in the filesystem, this predicates changes the
current working directory being used by the program
NewDir. Under DOS or Windows, this won’t change the drive.
filename_equal/2 Checks, in an OS portable way, whether or not
specify the same file.
getDirEntries/3 If Path is a (quoted) atom representing a path to a
folder (directory) in the file system, and if FilePattern
is a pattern (possibly using *), then FilesList is the
list of all files in folder Path (possibly including subfolders)
which match FilePattern.
get_cwd/1 Obtains the current working directory being used by the program
as a quoted atom, and unifies it with
Path. Under DOS or Windows, the drive is included.
must_exist_file/1 If FileName is a (quoted) atom representing a possible entry
in the file system, calls
exists_file/1 to determine if FileName exists. If FileName
does not exist, raises a system error (while
exists_file/1 simply fails).
remove_file/1 If FileName is a (quoted) atom naming a file in the
current working directory, removes that file.
?- get_cwd(Path). Path='/Users/ken' yes. ?- change_cwd('./Documents'). yes. ?- get_cwd(Path). Path='/Users/ken/Documents' yes. ?- getDirEntries('./', 'b*', FilesList). FilesList=[bibliographies,'bird-of-prey.jpg','bp-sageMath.pdf'] yes. ?- must_exist_file('./zpper.foo'). Error: System error: must_exist_file('./zpper.foo') - must_exist_file: './zpper.foo' - Throw pattern: error(system_error,[must_exist_file('./zpper.foo')])