rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,559 Commits 2 Branches 18 Tags
7740a39a4d20d33ec264d3f55d225c34bbda740c
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Mark Thom 0f017339b7 change the plurality of AssertItem(s), QueryItem(s) in bimetatrans.pl 2020-06-15 16:38:27 -06:00
Mark Thom 2c6b615b8c fix broken links in README (#591) 2020-06-13 10:46:53 -06:00
Mark Thom 2f02c428cc rename bimetatrans example files and directory 2020-06-12 18:32:48 -06:00
Mark Thom 1732413ee1 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-06-12 18:28:07 -06:00
Mark Thom 33325f1574 remove vestigial prolog/ directory (#444) 2020-06-12 18:26:38 -06:00
Mark Thom 5ffb4597b3 add missing ! in int_pow (#580) 2020-06-11 22:28:05 -06:00
Mark Thom d9de38b935 adjust the tail created by CreatePartialString to point to the last cell it pushed to the heap (#586) 2020-06-11 21:25:20 -06:00
Mark Thom ad459b83c0 credit Ulrich Neumerkel for partial strings in README 2020-06-11 21:24:20 -06:00
Mark Thom f84c831cda remove most cuts from bimetatrans_ruleml.pl 2020-06-11 12:22:35 -06:00
Mark Thom 904cf97f7d fix printing of atoms like '.x' (#585) 2020-06-11 11:11:04 -06:00
Mark Thom 791e22dc24 eliminate unnecessary find_min_time_ predicate in least_time.pl example 2020-06-10 22:25:23 -06:00
Mark Thom e16762a137 scryer and prolog_parser version bump (#581) 2020-06-10 14:29:22 -06:00
Mark Thom 4a07ffac69 prolog_parser version bump, scryer version bump 2020-06-09 22:15:11 -06:00
Mark Thom 3b5730be54 s/prolog-implementation/prolog-system (cargo does not allow keywords to exceed 20 characters) 2020-06-04 23:29:48 -06:00
Mark Thom 961c4a1b9c bump version number 2020-06-04 23:25:21 -06:00
Mark Thom 72c5908f09 update prolog_parser version, correct atom_chars/2 (#379) 2020-06-04 23:23:49 -06:00
Mark Thom 2a588ff943 remove double_quotes checks from unnecessary places in system_calls.rs and elsewhere (#513, #542) 2020-06-04 21:03:41 -06:00
Mark Thom 24f11b5ae9 remove unreachable branch in increment_s_ptr (#575) 2020-06-03 22:05:46 -06:00
Mark Thom 1d44d99875 correct unexpected bad variables while ensuring better names are generated in order (#571) 2020-05-30 00:17:34 -06:00
Mark Thom eebcdfb24f Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-27 11:11:37 -06:00
Mark Thom 526b56a650 order generation of variable names in attributed goals after toplevel variables (#465) 2020-05-27 11:11:26 -06:00
Mark Thom 20675f56e6 plug missing variables in equations (#488), exclude/3 regression (#452), incorrect answer substitution (#326) 2020-05-26 23:46:09 -06:00
Mark Thom e5fbdeb3a9 Merge pull request #568 from triska/logo 
How about an actual raven for a logo?
 2020-05-27 00:19:41 -03:00
Mark Thom fe0bf6f2ef Merge pull request #524 from matt2xu/decode_utf8 
Add decoding of UTF-8 sequences
 2020-05-26 13:42:42 -03:00
Mark Thom 828c19d478 Merge pull request #563 from triska/master 
ADDED: halt/1, halting with specified exit code
 2020-05-23 16:02:05 -03:00
Mark Thom 15db77558c throw evaluable type error for unrecognized atoms in arith_eval_by_metacall 2020-05-23 13:33:05 -06:00
Mark Thom 18cf4a3bd3 Add type errors where appropriate in arith_eval_by_metacall (#392) 2020-05-23 13:07:40 -06:00
Mark Thom e0378acfc2 throw type_error(number, E) in arith_eval_by_metacall (#392) 2020-05-23 12:39:29 -06:00
Mark Thom 53cb2af202 (**)/2 should always evaluate to floating point (#558) 2020-05-23 12:24:00 -06:00
Mark Thom f74005a166 update (^)/2 in light of Draft Technical Corrigendum 3 (#559) 2020-05-23 12:13:48 -06:00
Mark Thom 888d844ec5 address arity discrepancies in builtins.n and call/N (#525) 2020-05-22 23:57:32 -06:00
Mark Thom 3a7eb9fc0c Merge pull request #560 from notoria/cargo 
Added some informations in Cargo.toml
 2020-05-22 23:43:06 -03:00
Mark Thom 46276aacd9 Merge pull request #557 from mthom/docker 
Merge Master with Docker branch
 2020-05-22 23:42:55 -03:00
Mark Thom 0060c8988a use -1 as eof_code for binary streams (#555) 2020-05-22 15:58:07 -06:00
Mark Thom 458f482c2a Merge pull request #556 from panasenco/docker 
Valid Dockerfile and README
 2020-05-22 18:54:10 -03:00
Mark Thom f9aad34d28 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-22 14:50:51 -06:00
Mark Thom b2d720b853 correct get_byte/1 not emitted -1 upon discovery of end_of_stream position (#555) 2020-05-22 14:50:40 -06:00
Mark Thom c10c05e924 Merge pull request #552 from mthom/master 
Scryer Dockerfile
 2020-05-22 16:04:03 -03:00
Mark Thom 8909246725 Merge pull request #554 from triska/format3 
ADDED: format/3, writing formatted output to a stream
 2020-05-22 14:32:44 -03:00
Mark Thom 9e9c3b6342 modify int_pow so that a power of -1 is valid (#548) 2020-05-21 22:33:22 -06:00
Mark Thom fefd262c2e Merge pull request #545 from triska/ed25519 
ADDED: Public key signatures and signature verification with Ed25519
 2020-05-21 11:30:47 -03:00
Mark Thom a0544cc345 revert printing of characters 2020-05-19 17:34:55 -06:00
Mark Thom 3245261162 Merge pull request #537 from triska/master 
import member/2 from library(lists)
 2020-05-19 15:16:38 -03:00
Mark Thom 54d4dc6e1e Merge pull request #536 from mthom/revert-517-docker 
Revert "Created and Tested Dockerfile"
 2020-05-19 15:00:29 -03:00
Mark Thom ad6fc89a24 Merge pull request #533 from triska/master 
ADDED: Support for SHA-3 algorithms in crypto_data_hash/3
 2020-05-19 14:23:12 -03:00
Mark Thom fc4823ce8e Merge pull request #534 from triska/phrase_from_file_3 
ADDED: phrase_from_file/3 in library(pio)
 2020-05-19 14:22:59 -03:00
Mark Thom 1c0c660c32 Merge pull request #517 from panasenco/docker 
Created and Tested Dockerfile
 2020-05-19 11:30:08 -03:00
Mark Thom 2eac902c33 correct fixnum overflow on negation (#528) 2020-05-19 10:45:54 -06:00
Mark Thom e0e3b180e7 accomodate \0\ in partial strings, print null as \0\ (#267, #526), update prolog parser, version bump 2020-05-18 23:45:34 -06:00
Mark Thom 041dc039d4 add Addr::Lis as case in PartialStringTail (#530) 2020-05-18 12:27:26 -06:00
Mark Thom ac755b0ada Merge pull request #527 from triska/master 
Add type checks to increase robustness of library(crypto)
 2020-05-18 11:18:58 -03:00
Mark Thom c14259060c fix partial_string_tail panic (#530) 2020-05-18 11:14:27 -06:00
Mark Thom eecd809d9a fix atom_codes (#521) 2020-05-17 16:34:52 -06:00
Mark Thom 240d3cb8f1 add Cargo.lock 2020-05-17 15:20:02 -06:00
Mark Thom 5720b7b94c eliminate Addr::CharCode (#519), fix atom_code panic (#521), fix failure involving lists of character codes (#520), bump version number 2020-05-17 15:19:27 -06:00
Mark Thom 9f3351469d solve overflow of left arithmetic shift (#518) 2020-05-17 12:20:22 -06:00
Mark Thom 2c4a0cf65b update Cargo.lock 2020-05-16 23:13:57 -06:00
Mark Thom a8f360c8fd scryer version bump 2020-05-16 23:12:43 -06:00
Mark Thom b3cff6555f propagate syntax errors from read_term when they're not UnexpectedEOF (#507) 2020-05-16 23:10:38 -06:00
Mark Thom 69706ecab0 fix sign error in shl on fixnum with n >= 63 (#499) 2020-05-16 23:00:37 -06:00
Mark Thom 05d3b97eae correct for second argument when (is)/2 is a tail call 2020-05-16 20:22:17 -06:00
Mark Thom a38fb41e37 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-16 14:51:19 -06:00
Mark Thom 204ae377e3 restore old clpz.pl 2020-05-16 14:51:04 -06:00
Mark Thom 9e0208ec71 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-15 22:51:24 -06:00
Mark Thom 510530973c correct mishandled Addr::CharCode case in eq_test (#505) 2020-05-15 22:51:18 -06:00
Mark Thom b60561c3bb fix existence_error in atom_chars/2, atom_codes/2 (#504, #506) 2020-05-14 22:33:28 -06:00
Mark Thom fffa503968 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-14 22:25:50 -06:00
Mark Thom 8754157810 implement (div)/2 properly (#435) 2020-05-14 22:25:39 -06:00
Mark Thom 0763686892 Merge pull request #502 from triska/hkdf 
ADDED: HMAC-based key derivation (HKDF) via crypto_data_hkdf/4
 2020-05-14 15:13:32 -03:00
Mark Thom c07274a6fa Merge pull request #501 from triska/elliptic_curves 
ADDED: Reasoning about elliptic curves in library(crypto).
 2020-05-13 20:58:39 -03:00
Mark Thom 40fce574cf Merge pull request #500 from triska/master 
ADDED: ripemd160 digest algorithm
 2020-05-13 17:39:24 -03:00
Mark Thom 9cb98bdcdc Merge pull request #496 from triska/master 
ADDED: crypto_data_hash/3, computing cryptographically secure digests
 2020-05-13 17:32:46 -03:00
Mark Thom b5b1f7ff8a Merge pull request #498 from notoria/between 
Enhanced between/3
 2020-05-13 17:32:31 -03:00
Mark Thom 6d6f6ed8fc resolve warning messages (#495) 2020-05-12 20:36:21 -06:00
Mark Thom c9aed1381f Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-12 20:28:42 -06:00
Mark Thom 49ba5f30c5 throw existence_error on failed put_byte write (#492) 2020-05-12 20:28:39 -06:00
Mark Thom 3c6149fd27 do not unwrap stream write, TcpStream::shutdown results (#492) 2020-05-12 18:51:42 -06:00
Mark Thom 23f804eda3 return true on unmatching partial strings in eq_test to indicate failure (#491) 2020-05-12 18:22:41 -06:00
Mark Thom 4e321db189 Merge pull request #494 from triska/master 
ADDED: crypto_n_random_bytes/2, creating cryptographically secure random bytes
 2020-05-12 19:44:07 -03:00
Mark Thom c70b873397 reset current input in ReadQueryTerm 2020-05-11 15:29:28 -06:00
Mark Thom 4c0da691b8 record names of variables at root in write_term_to_heap (#487) 2020-05-10 21:48:38 -06:00
Mark Thom d1d36f9af0 fix at_end_of_stream/1 (#479) 2020-05-10 16:06:15 -06:00
Mark Thom 56efb4ffba change VarNames to VNNames (#476) 2020-05-10 15:54:53 -06:00
Mark Thom 540bc71873 use heap_pstr_iter in AtomChars (#482) 2020-05-10 15:46:51 -06:00
Mark Thom c1df7ead1a set past end of stream, set Byte to -1, Char and Code to end_of_file, at end of stream (#479) 2020-05-10 14:50:17 -06:00
Mark Thom d170c807e3 deref addr's in list of atom_codes (#484) 2020-05-10 14:33:56 -06:00
Mark Thom 50c0abc786 correct failed partial string matching (#483) 2020-05-10 14:00:49 -06:00
Mark Thom c5057127ee eliminate duplicates in term_variables/2, term_attributed_variables/2 (#481) 2020-05-10 13:43:39 -06:00
Mark Thom ea7b1a9592 fix position property in stream_property/2 (#477) 2020-05-10 13:35:48 -06:00
Mark Thom 26d483f2d7 place cut after infinitely expanding VarList in write_term_to_chars/3 (#476) 2020-05-10 13:30:30 -06:00
Mark Thom 67fce58708 change wrong at_end_of_stream value 'end' to 'at' (#479) 2020-05-10 13:24:45 -06:00
Mark Thom ea5771c442 detect source_sink domain error in open/4 (#480) 2020-05-10 13:19:14 -06:00
Mark Thom fa8a1faeb3 Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-09 20:08:09 -06:00
Mark Thom d60a000af6 increase prolog_parser version 2020-05-09 20:07:57 -06:00
Mark Thom 3d68e2b74f Merge pull request #475 from notoria/debug 
Debug & warnings
 2020-05-09 18:35:16 -03:00
Mark Thom 42f6d48abf Merge branch 'master' of https://github.com/mthom/rusty-wam 2020-05-09 15:05:09 -06:00
Mark Thom 5587957602 halt on Ctrl-D in toplevel (#473) 2020-05-09 15:04:36 -06:00