In one of my programs, I try to locate a file using: absolute_file_name(home(some), Some). false This is in SWI-Prolog (threaded, 64 bits, version 9.0.2). It looks like the alias ‘home’ is not defined, though I believe it was in a previous version of Prolog. I know there is a work around by addi…

A user could have countless files & directories for other purposes, under $HOME. I’d call it bad practice to not put Prolog files in some sort of subdirectory order. user_app_data looks like a sensible place to put Prolog files, as seen at file_search_path/2

I do agree with you, and actually this is what I do. But as starting point, I want an alias for home If you prefer, my example should have been: absolute_file_name(home('some/some_more/some_evenmore'), Some). The point is, that I have to add a file_search/2 clause for home, which I didn’t need i…

[image] remy.s: Any insights would be appreciated. Have you seen this Wiki page? Using absolute_file_name/3 and user:file_search_path/2

Some alternatives: ?- getenv('HOME', Home), time(absolute_file_name('a/b/c', F, [relative_to(Home)])). % 73 inferences, 0.000 CPU in 0.000 seconds (80% CPU, 1350077 Lips) F = '/home/me/a/b/c'. ?- getenv('HOME', Home), time(atom_concat(Home, '/a/b/c', F)). % 1 inferences, 0.000 CPU in 0.000 seconds…

Thanks for this link. I am actually aware of how absolute_file_name/2 should work in relation with file_search_path/2. My point, again, is that, unless I am wrong, swipl knew about a file_search_path of home. i.e. in a previous version, the following query yielded Home= instead of failing. Welco…

[image] remy.s: swipl knew about a file_search_path of home When I wrote that Wiki the SWI-Prolog documentation noted in absolute_file_name/3 for the option expand(Boolean) This is a SWI-Prolog extension intended to minimise porting effort after SWI-Prolog stopped expanding environment vari…

FWIW, ~ is understood by absolute_file_name/2: ?- absolute_file_name('~/src/advent-of-code-2022/7.pl', Z). Z = '/home/peter/src/advent-of-code-2022/~/src/advent-of-code-2022/7.pl'. ?- absolute_file_name(home(src/advent-of-code-2022/'7.pl'), Z). false. I don’t have an old version of swipl to see i…

[image] peter.ludemann: FWIW, ~ is understood by absolute_file_name/2 : Needs the expand option (which defaults to false): $ cd ~/temp $ swipl ?- absolute_file_name('~/a/b/c', F). % Should not contain 'temp/' F = '/home/me/temp/~/a/b/c'. ?- time(absolute_file_name('~/a/b/c', F, [expand(true)…

Absolute_file_name(home(some), F) failing?

General

EricGT December 19, 2022, 9:18pm 4

Have you seen this Wiki page?

Using absolute_file_name/3 and user:file_search_path/2

Topic		Replies	Views
Using absolute_file_name/3 and user:file_search_path/2 Wiki	0	657	June 21, 2022
Absolute_file_name confusion General	1	41	April 14, 2026
Where is SWI-Prolog searching for a library? Nice to know	1	592	September 11, 2021
Linked binary of swiprolog does not use SWI_HOME General	9	140	February 24, 2025
Swipl.home with dotdot Help!	13	1002	July 27, 2022

Absolute_file_name(home(some), F) failing?

Related topics