Filename Manipulation
absolute_file_name(
R,
A)
- A is the absolute name of file R
absolute_file_name(
R,
O,
A)
- expand relative filename R to absolute file
name A using options specified in O
file_search_path(
F,
D)
- user-extendible; directory D is included in file search path F
library_directory(
D)
- user-extendible; D is a library directory that will be searched