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