From 46ab2e759022f11c960328381568f2cd6c0da2a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Wed, 22 Jun 2011 12:29:24 +0100 Subject: [PATCH] file_name_on_path --- pl/utils.yap | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/pl/utils.yap b/pl/utils.yap index c7bf2ae61..01ed7fb0a 100644 --- a/pl/utils.yap +++ b/pl/utils.yap @@ -719,21 +719,3 @@ subsumes_term(A,B) :- \+ \+ terms:subsumes(A,B). -%% file_name_on_path(+File:atom, -OnPath) is det. -% -% True if OnPath a description of File based on the file search -% path. This performs the inverse of absolute_file_name/3. - -file_name_on_path(Path, ShortId) :- - ( file_alias_path(Alias, Dir), - atom_concat(Dir, Local, Path) - -> ( Alias == '.' - -> ShortId = Local - ; file_name_extension(Base, pl, Local) - -> ShortId =.. [Alias, Base] - ; ShortId =.. [Alias, Local] - ) - ; ShortId = Path - ). - -