Lines 1902-1909
Link Here
|
1902 |
working_directory(CWD, CWD), |
1902 |
working_directory(CWD, CWD), |
1903 |
exists_directory(CWD), |
1903 |
exists_directory(CWD), |
1904 |
same_file(CWD, '.'). |
1904 |
same_file(CWD, '.'). |
1905 |
file(mkdir-1) :- % create Cyrillic directory |
1905 |
file(mkdir-1) :- |
1906 |
atom_codes(Dir, [1074, 1086, 1079, 1076, 1091, 1093, 1072]), |
1906 |
atom_codes(Dir, [116, 101, 115, 116, 100, 105, 114]), |
1907 |
catch(delete_directory(Dir), _, true), |
1907 |
catch(delete_directory(Dir), _, true), |
1908 |
make_directory(Dir), |
1908 |
make_directory(Dir), |
1909 |
exists_directory(Dir), |
1909 |
exists_directory(Dir), |
Lines 1912-1919
Link Here
|
1912 |
same_file(Old, '.'), |
1912 |
same_file(Old, '.'), |
1913 |
same_file(O2, Dir), |
1913 |
same_file(O2, Dir), |
1914 |
delete_directory(Dir). |
1914 |
delete_directory(Dir). |
1915 |
file(file-1) :- % create Cyrillic file |
1915 |
file(file-1) :- |
1916 |
atom_codes(File, [1074, 1086, 1079, 1076, 1091, 1093, 1072]), |
1916 |
atom_codes(File, [116, 101, 115, 116, 102, 105, 108, 101]), |
1917 |
Term = hello(world), |
1917 |
Term = hello(world), |
1918 |
catch(delete_file(File), _, true), |
1918 |
catch(delete_file(File), _, true), |
1919 |
open(File, write, Out), |
1919 |
open(File, write, Out), |
Lines 1926-1932
Link Here
|
1926 |
Read =@= Term, |
1926 |
Read =@= Term, |
1927 |
delete_file(File). |
1927 |
delete_file(File). |
1928 |
file(absfile-1) :- |
1928 |
file(absfile-1) :- |
1929 |
atom_codes(File, [1074, 1086, 1079, 1076, 1091, 1093, 1072]), |
1929 |
atom_codes(File, [116, 101, 115, 116, 102, 105, 108, 101]), |
1930 |
absolute_file_name(File, Path), |
1930 |
absolute_file_name(File, Path), |
1931 |
file_directory_name(Path, Dir), |
1931 |
file_directory_name(Path, Dir), |
1932 |
same_file(Dir, '.'), |
1932 |
same_file(Dir, '.'), |
Lines 1950-1959
Link Here
|
1950 |
delete_directory(Y), |
1950 |
delete_directory(Y), |
1951 |
atom_concat(_, YF, Abs2). |
1951 |
atom_concat(_, YF, Abs2). |
1952 |
file(ext-1) :- |
1952 |
file(ext-1) :- |
1953 |
atom_codes(File, [1074, 1086, 1079, 1076, 0'., 1091, 1093, 1072]), |
1953 |
atom_codes(File, [102, 105, 108, 101, 0'., 101, 120, 116]), |
1954 |
file_name_extension(Base, Ext, File), |
1954 |
file_name_extension(Base, Ext, File), |
1955 |
atom_codes(Base, [1074, 1086, 1079, 1076]), |
1955 |
atom_codes(Base, [102, 105, 108, 101]), |
1956 |
atom_codes(Ext, [1091, 1093, 1072]). |
1956 |
atom_codes(Ext, [101, 120, 116]). |
1957 |
file(ext-2) :- |
1957 |
file(ext-2) :- |
1958 |
\+ file_name_extension(foo, _, 'bar.pl'). % Bug#69 |
1958 |
\+ file_name_extension(foo, _, 'bar.pl'). % Bug#69 |
1959 |
|
1959 |
|
Lines 2012-2018
Link Here
|
2012 |
code_type(48, digit(W)), |
2012 |
code_type(48, digit(W)), |
2013 |
W == 0. |
2013 |
W == 0. |
2014 |
ctype(code_type-6) :- |
2014 |
ctype(code_type-6) :- |
2015 |
char_code(X, 1080), code_type(X, alnum). |
2015 |
char_code(X, 120), code_type(X, alnum). |
2016 |
|
2016 |
|
2017 |
|
2017 |
|
2018 |
/******************************* |
2018 |
/******************************* |