rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,001 Commits 2 Branches 18 Tags
48225c3c0afaaa3ef895a183f93aa8aef4d3e8b2
Commit Graph
2001 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Cyrille Duret 5705c42820 set throw() to follow ISO recommendations 2020-07-15 18:26:57 +02:00
794404 f5f0d00a75 add write_csv & change skip_header to with_header option 2020-07-15 13:02:30 +02:00
Mark Thom ec75e21898 Merge pull request #630 from triska/delete_file 
ADDED: delete_file/1, addressing a remaining aspect of #511
 2020-07-14 20:26:51 -03: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
Mark Thom 53d39ccb4b Merge pull request #626 from triska/compact_crypto 
ENHANCED: library(crypto): Retain the compact representation of strings.
 2020-07-12 12:17:58 -03:00
Markus Triska b227e160f0 mention symmetric encryption and ChaCha20-Poly1305 2020-07-12 11:59:34 +02:00
Markus Triska 88a2b82f7e ENHANCED: library(crypto): Retain the compact representation of strings. 
This avoids the costly (in terms of space requirements!) conversion of
compact lists of characters to lists of integers, making hashing, HKDF,
encryption, decryption, signing and signature verification an order of
magnitude more efficient (primarily in terms of space, also in time).

This makes library(crypto) suitable to process also very large files.
 2020-07-12 11:54:37 +02:00
Mark Thom 0016365446 Merge pull request #625 from triska/os 
ADDED: library(os), reasoning about environment variables.
 2020-07-11 23:50:01 -03:00
Markus Triska 0fa8feb475 use newly available character type in must_be/2 2020-07-11 21:00:25 +02:00
Markus Triska eb872f8fca ADDED: library(os), reasoning about environment variables. 
Together with library(files), this addresses #511.
 2020-07-11 21:00:25 +02:00
Mark Thom 5fd78320dd slight update to the BiMetaTrans README 2020-07-10 15:22:15 -06:00
Mark Thom 3195042c7d update bimetatrans tests 2020-07-10 10:26:48 -06:00
Mark Thom b0234fa8b7 add bimetatrans README 2020-07-09 20:53:13 -06:00
Mark Thom 2a629fee37 Merge pull request #621 from notoria/tabling 
Tabling
 2020-07-03 14:40:52 -03:00
notoria bf13700a95 Enhanced the implementation 
The restriction has been removed by using read_library_path from
cfd15f4e02.
 2020-07-01 13:14:12 +02:00
notoria 83268f5ff6 Allowing paths in use_module(library(..)) (#604) 
In a module, the path is restricted in being an atom.
 2020-07-01 10:22:17 +02:00
notoria 1eb42654e0 Revert "allow paths in use_module(library(..)) (#604)" 
This reverts commit cfd15f4e02.
 2020-07-01 10:07:26 +02:00
notoria e05c34d1ee Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617)" 
This reverts commit c1b577f2c7.
 2020-07-01 10:06:20 +02:00
Mark Thom 8325bb11e2 Merge pull request #606 from triska/files 
ADDED: library(files), for reasoning about files and directories.
 2020-06-30 13:34:39 -03:00
Mark Thom c1b577f2c7 build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617) 2020-06-29 00:58:10 -06:00
Mark Thom 29a61db275 Merge pull request #613 from cduret/csv_lib 
add csv library
 2020-06-27 16:28:10 -03:00
Cyrille Duret e2c61485a1 add csv library 2020-06-25 21:13:29 +02:00
Markus Triska 65f200e02c directory_files/2: throw representation error if into_string() fails 
Suggested by @notoria in #606. Many thanks!
 2020-06-24 23:30:40 +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
Mark Thom 376c5263f0 Merge pull request #608 from triska/xml 
ADDED: load_xml/3 to load XML files from streams, files and strings.
 2020-06-22 12:21:35 -03:00
Markus Triska bcd6d4e8a7 library(format) is not used in this example 2020-06-21 09:46:05 +02:00
Markus Triska 32eb896c56 ADDED: load_xml/3 to load XML files from streams, files and strings. 2020-06-21 09:45:37 +02:00
Mark Thom 4603163e88 Merge pull request #607 from triska/xpath 
ADDED: library(xpath) for convenient analysis of HTML and XML documents.
 2020-06-20 14:46:52 -03:00
Markus Triska b3c9fb2fea import member/2 from library(lists) 
This is needed when processing redirects.
 2020-06-20 19:07:43 +02:00
Markus Triska d66ea07ba4 ADDED: library(xpath) for convenient analysis of HTML and XML documents. 2020-06-20 18:08:11 +02:00
Mark Thom 496279c92d Merge pull request #596 from triska/sgml 
ADDED: library(sgml), providing load_html/3 to parse HTML documents
 2020-06-19 12:59:06 -03:00
Mark Thom e0ae925ca3 Merge pull request #605 from notoria/debug 
Added library(debug)
 2020-06-19 12:58:26 -03:00
notoria 1799c19933 Added an entry in README 2020-06-19 17:48:55 +02:00
notoria 94eddd3b42 Added library(debug) 2020-06-19 17:18:59 +02:00
Markus Triska 79829cb6d2 ADDED: library(sgml), providing load_html/3 to parse HTML documents 2020-06-19 16:40:01 +02:00
Mark Thom 0d20ca0bf2 Merge pull request #592 from triska/http_open 
ADDED: library(http/http_open), opening HTTP and HTTPS streams for reading
 2020-06-19 11:30:23 -03:00
Mark Thom 3ede5ea28f Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-19 00:58:43 -06:00
Mark Thom cfd15f4e02 allow paths in use_module(library(..)) (#604) 2020-06-19 00:57:56 -06:00
Mark Thom 1f9ff2dd88 clarify meaning of AssertItems and QueryItems in BiMetaTrans source-level documentation 2020-06-18 23:47:54 -06:00
Mark Thom 7740a39a4d Merge pull request #602 from triska/put_char 
put_char/[1,2]: throw type errors for atoms that are not characters
 2020-06-18 12:16:47 -03:00
Markus Triska 5eda2dfe0e put_char/[1,2]: throw type errors for atoms that are not characters 
Example:

    ?- put_char(hello).
    %@ caught: error(type_error(character,hello),put_char/2)
 2020-06-18 00:15:00 +02:00
Mark Thom 1509c6a471 Merge pull request #597 from triska/faster_format 
ENHANCED: much faster format/3 for text streams
 2020-06-17 18:48:49 -03:00
Markus Triska 19acd608a5 ADDED: library(http/http_open), opening HTTP and HTTPS streams for reading 
Example:

   ?- http_open("https://github.com/mthom/scryer-prolog", Stream, []),
      length(Ls, 10),
      maplist(get_char(Stream), Ls).

Yielding:

   %@    Stream = '$stream'(0x7fba4c59ef10), Ls = "\n\n\n\n\n<!DOC"
   %@ ;  false.
 2020-06-17 20:10:22 +02:00
Mark Thom bc81ff28d8 cover Addr::Fixnum when not referenced as an Addr::Con, undefine dynamic predicate definitions from within modules too (#588) 2020-06-16 19:03:07 -06:00
Mark Thom ba867e95c3 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-16 18:47:53 -06:00
Mark Thom 53f99ca434 fix copy_partial_string bug (#572) 2020-06-16 18:47:39 -06:00
Markus Triska 8958ea036e ENHANCED: much faster format/3 for text streams 
This is now also used by format/2 to emit output on the terminal,
and significantly speeds up toplevel output of long strings.
 2020-06-16 21:13:03 +02:00
Mark Thom d3563c30e7 Merge pull request #590 from triska/read_line_to_chars 
ADDED: read_line_to_chars/3, reading up to and including "\n" from a stream
 2020-06-16 00:06:01 -03:00