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