Did you know ... Search Documentation:
Issues with library(filesex)

This wiki page is a stub for collecting issues with the named library or feature.

Consequences

Describe consequences of missing this library. For example The development tools require this library''.

Solutions

Describe ways to solve the problem. For example, add a subsection about MacOS X and write Install the latest version of XQuartz''.

Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-02-19T12:39:05):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

directory_file_path/3 behaves badly

Examples for mode (+Directory,+File,-Path):

These are ok:

?- directory_file_path("/alpha/beta","somefile",P).
P = '/alpha/beta/somefile'.

?- directory_file_path("alpha/beta","somefile",P).
P = 'alpha/beta/somefile'.

?- directory_file_path("alpha////beta","somefile",P).
P = 'alpha////beta/somefile'.

?- directory_file_path("alpha/beta/","somefile",P).
P = 'alpha/beta/somefile'.

But this is ugly:

?- directory_file_path("alpha/beta/","/somefile",P).
P = "/somefile".

It should just concatenate the atoms.

Similarly:

?- directory_file_path("alpha/beta/","/somefile/someotherfile",P).
P = "/somefile/someotherfile".

More edge cases:

?- directory_file_path("/","/somefile",P).
P = "/somefile".

?- directory_file_path("","/somefile",P).
P = "/somefile".

This is ugly:

?- directory_file_path("","somefile",P).
P = '/somefile'.

Because here it's different:

?- directory_file_path("foo","somefile",P).
P = 'foo/somefile'.

?- directory_file_path("foo/bar","somefile",P).
P = 'foo/bar/somefile'.