Mark
|
58af615dd4
|
correct and generalize current_predicate/1
|
2023-06-28 17:31:43 -06:00 |
|
Adrián Arroyo Calle
|
46d1e3bee3
|
Migrate from Markdown to Djot
|
2023-01-19 21:15:25 +01:00 |
|
Adrián Arroyo Calle
|
5f703afed1
|
Rename copy_file/2 to file_copy/2
|
2022-12-11 00:08:41 +01:00 |
|
Adrián Arroyo Calle
|
c6aa2068e2
|
Add predicate copy_file/2 in library(files)
|
2022-12-11 00:06:56 +01:00 |
|
Adrián Arroyo Calle
|
21d6220f3f
|
Compatible Doclog docs for library(files)
|
2022-12-08 23:41:28 +01:00 |
|
Markus Triska
|
0ab355eada
|
use a DCG to describe the path
|
2022-10-26 23:36:07 -06:00 |
|
Markus Triska
|
44825826df
|
remove entailed must_be/2 goals
|
2022-10-26 23:36:07 -06:00 |
|
Markus Triska
|
1a7992e524
|
ENHANCED: use newly available must_be(chars, ...), which is very fast
|
2022-03-26 19:09:54 +01:00 |
|
Markus Triska
|
20b6816562
|
MODIFIED: library(charsio): read_term_from_chars/2 is now called read_from_chars/2
This is for compatibility with SICStus Prolog and GNU Prolog.
|
2022-01-17 20:21:18 +01:00 |
|
Paulo Moura
|
58555d598b
|
Add rename_file/2 predicate to the files library
|
2021-05-18 18:08:30 +01:00 |
|
Mark Thom
|
0eeae24049
|
Merge pull request #968 from pmoura/add_make_directory_path_predicate
Add make_directory_path/1 predicate to the files library
|
2021-05-18 10:26:06 -06:00 |
|
Paulo Moura
|
eeac3bc436
|
Add delete_directory/1 predicate to the files library
|
2021-05-18 08:41:19 +01:00 |
|
Paulo Moura
|
bdebc7f32e
|
Add make_directory_path/1 predicate to the files library
|
2021-05-18 00:21:11 +01:00 |
|
Markus Triska
|
27a52ef56a
|
reflect improved determinism thanks to the improvements by @notoria
|
2020-12-23 00:05:29 +01:00 |
|
Markus Triska
|
46dfaa5b28
|
ENHANCED: library(files): Error handling if requested files do not exist.
We now throw exceptions instead of failing silently, or even crashing
when using file_size/2 etc. with nonexistent files.
|
2020-09-13 10:23:23 +02:00 |
|
Markus Triska
|
2768beec4c
|
ADDED: path_segments/2 for portable reasoning about path components.
The platform-specific directory separator is taken into account.
The clean representation of segments as a list simplifies reasoning.
|
2020-07-19 12:32:01 +02:00 |
|
Markus Triska
|
17dd9239b6
|
ADDED: file_creation_time/2 and file_access_time/2.
The code can be simplified once if- and while-let-chains are available:
https://github.com/rust-lang/rust/issues/53667
|
2020-07-17 18:48:39 +02:00 |
|
Markus Triska
|
8668aee7fd
|
ENHANCED: Reorder fields in time stamps so that (@<)/2 is meaningful.
|
2020-07-16 23:40:03 +02:00 |
|
Markus Triska
|
4f386b3e5e
|
ADDED: file_modification_time/2, obtaining a time stamp.
This addresses a remaining aspect of #511.
|
2020-07-16 23:40:03 +02:00 |
|
Markus Triska
|
0f4667d942
|
ADDED: path_canonical/2, obtaining the canonical absolute path.
This addresses a remaining aspect of #511.
|
2020-07-15 20:43:34 +02:00 |
|
Markus Triska
|
94e9e17c79
|
ADDED: working_directory/2, addressing a remaining aspect of #511
|
2020-07-14 23:05:29 +02:00 |
|
Markus Triska
|
5134e64cae
|
ADDED: delete_file/1, addressing a remaining aspect of #511
|
2020-07-14 22:21:46 +02:00 |
|
Markus Triska
|
0fa8feb475
|
use newly available character type in must_be/2
|
2020-07-11 21:00:25 +02:00 |
|
Markus Triska
|
aa9432e24f
|
comment on indexing, addressing a comment by @pmoura in #606
If indexing is needed for lists of characters, it should be added to
the engine.
|
2020-06-24 22:29:34 +02:00 |
|
Markus Triska
|
30d1585468
|
ADDED: library(files), for reasoning about files and directories.
|
2020-06-24 22:29:34 +02:00 |
|