![]() |
YAP 7.1.0
|
file_name_extension( ? BaseFile, ?Extension, ?FullNameO) More...
file_name_extension( ? BaseFile, ?Extension, ?FullNameO)
Relate a file name with an extension The extension is the filename's suffix and indicates the kind of the file
The predicate can be used to: Given FullName, extract the extension as Extension, and the remainder as BaseFile - Given BaseFile and ?Extension obtain a FullNameO
Notice that:
+ the extension does not include the
,` separator; + the suffix may be longer thsn 3 characters + case should not matter in Windows and MacOS + paths may not correspond to valid file names