rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,293 Commits 2 Branches 18 Tags
bcacb49c05dd62979c124f65243e85ac0f62e5f7
Commit Graph
2293 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 6eb36226b1 Merge pull request #934 from panasenco/dockerfile 
Dockerfile update: Switched from using @LukeMathWalker's image to using the official Rust image.
 2021-05-10 11:10:39 -06:00
Mark Thom 21984f0bbe Merge pull request #938 from pmoura/fix_bitwise_shift_functions_type_error_in_second_argument 
Fix bitwise shift functions type error in the second argument
 2021-05-10 11:10:20 -06:00
Mark Thom 5eac945bc0 Merge pull request #937 from pmoura/fix_open_predicate_error_term_on_bound_stream_argument 
Fix open/3-4 predicates error term when the stream argument is bound
 2021-05-10 11:10:12 -06:00
Mark Thom 2736b4198a Merge pull request #936 from pmoura/fix_throw_1_control_construct_with_var_argument 
Fix throw/1 control construct to throw an instantiation error when the argument is not bound
 2021-05-10 11:09:59 -06:00
Mark Thom a4f2f7faa6 Merge pull request #939 from pmoura/fix_missing_argument_in_current_op_3_predicate_exception_term 
Fix missing argument in current_op/3 predicate exception term
 2021-05-10 11:09:44 -06:00
Mark Thom 94923175a8 Merge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard 
Fix (**)/2 operator type
 2021-05-10 11:09:23 -06:00
Mark Thom f1c629e7bf Merge pull request #944 from triska/master 
FIXED: module qualification for between/3 in goal expansion (#941)
 2021-05-10 11:09:09 -06:00
Mark Thom 5d0c60bd24 Merge pull request #945 from pmoura/fix_char_code_error_checking 
Fix char_code/2 predicate failure instead of exception on non-integer second argument
 2021-05-10 11:08:58 -06:00
Mark Thom 59f08cd651 Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error 
Fix op/3 predicate operator_priority domain error
 2021-05-10 11:07:04 -06:00
Paulo Moura 63db194140 Fix char_code/2 predicate failure instead of exception on non-integer second argument 2021-05-10 00:37:09 +01:00
Markus Triska 38db8d4e1a FIXED: module qualification for between/3 in goal expansion (#941) 
Many thanks to @dcnorris for reporting this issue!
 2021-05-09 23:54:37 +02:00
Paulo Moura c2e8cbb846 Fix op/3 predicate operator_priority domain error 2021-05-09 22:25:37 +01:00
Paulo Moura 3c567b895f Fix (**)/2 operator type 2021-05-09 21:02:44 +01:00
Paulo Moura 673c75fb72 Fix missing argument in current_op/3 predicate exception term 2021-05-09 20:51:41 +01:00
Paulo Moura 7a576ee36e Fix bitwise shift functions type error in the second argument 2021-05-09 19:58:35 +01:00
Paulo Moura 73c09e3365 Fix open/3-4 predicates error term when the stream argument is bound 2021-05-09 19:21:21 +01:00
Paulo Moura 07dd2b279e Fix throw/1 control construct to throw an instantiation error when the argument is not bound 2021-05-09 12:42:51 +01:00
panasenco c7943d2521 Switched from using @LukeMathWalker's image to using the official Rust image. Was experiencing cache issues before that, either due to the image, or due to Docker cache being weird... 2021-05-08 17:06:52 -07:00
Mark Thom 9b483d381f Merge pull request #928 from panasenco/permutation 
Ported permutation/2 from SWI library(lists)
 2021-05-08 15:09:01 -06:00
Mark Thom 4e25337779 Merge pull request #933 from pmoura/add_epsilon_arithmetic_constant 
Add epsilon/0 arithmetic constant
 2021-05-08 15:08:13 -06:00
panasenco 1e5041b8b0 Moved MIT header to top of lists.pl 2021-05-08 13:32:30 -07:00
Paulo Moura 3f4bbe9b9e Add epsilon/0 arithmetic constant 2021-05-08 21:23:54 +01:00
Mark Thom 56eaf883dc Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates 
Fix abolish/1 to succeed on non-existing predicates as per standard
 2021-05-08 12:39:28 -06:00
Paulo Moura d8c0af7ded Fix abolish/1 to succeed on non-existing predicates as per standard 2021-05-08 11:13:08 +01:00
panasenco 8724a6b6e2 Ported permutation/2 from SWI library(lists) 2021-05-07 00:29:48 -07:00
Mark Thom b968b2c438 add missing default RevJmpBy arm to thread_choice_instr_at_to (prompted by #922) 2021-05-05 11:16:39 -06:00
Mark Thom 533d1ea9ab set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in dynamic indexing instructions (prompted by #922) 2021-05-04 20:56:25 -06:00
Mark Thom c9e32c449a correct assertz/1 bugs (#922) 2021-05-04 17:53:02 -06:00
Mark Thom d9e42bfcba fix incremental compilation and multifile bugs 2021-05-03 16:59:12 -06:00
Mark Thom f552564fc1 import builtins to dynamically generated modules unless builtins is being defined 2021-05-02 11:01:17 -06:00
Mark Thom b21a096516 add read/2 and nl/1 (#896) 2021-05-01 16:12:00 -06:00
Mark Thom d0b25de554 add user_error stream (#917) 2021-04-30 21:58:03 -06:00
Mark Thom bba836dc31 fail on undefined multifile/discontiguous/dynamic predicates (#915) 2021-04-30 21:46:50 -06:00
Mark Thom 14fc8e2efa support full paths in load_context_path/2 (#916) 2021-04-30 20:38:26 -06:00
Mark Thom d8bd4fbea6 fail when retracting undefined dynamic predicates (#918) 2021-04-30 20:36:56 -06:00
Mark Thom 7cc89da879 Merge pull request #920 from panasenco/serialize 
Character logic cleanup and extension
 2021-04-29 13:11:13 -06:00
panasenco baed12f45e Oops, we want to keep digits as characters in library(abnf), but as numbers in library(json). 2021-04-28 23:05:02 -07:00
panasenco dfbf291725 Restructuring and improving documentation. 2021-04-28 22:22:20 -07:00
panasenco cb07074246 Replaced object() with pairs() in library(json), and made key type explicit. 2021-04-28 16:09:38 -07:00
panasenco 0198fe90b6 Added ABNF grammar to library(charsio) as well as octet character type that it depends on. Modified library(json) to use the new ABNF grammar. 2021-04-27 22:48:03 -07:00
panasenco 061221b073 Alphabetized character logic in macros.rs and system_calls.rs 2021-04-27 14:01:49 -07:00
Mark Thom 7e4cfede7d fix use of local skeletons to reload predicates (#919) 2021-04-27 02:01:00 -06:00
Mark Thom 48225c3c0a Merge pull request #913 from panasenco/json 
Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible
 2021-04-26 13:34:04 -06:00
panasenco 02b89362b2 Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs). 2021-04-25 14:53:37 -07:00
panasenco e0e812f95c Added aw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested by @triska. 2021-04-24 21:29:50 -07:00
panasenco 2cbc7e4f9a Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible and thereby write more elegant and simple code. Some performance gains too! 2021-04-23 10:30:38 -07:00
Mark Thom 7bec37bfd8 Merge pull request #912 from panasenco/json 
library(json) beta
 2021-04-22 17:44:44 -06:00
panasenco 828550687c Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly... 2021-04-22 15:21:27 -07:00
panasenco d3caba4073 Now preserving distinction between ints and floats 2021-04-20 19:59:01 -07:00
panasenco 7e802706fe Seem to be generating JSON correctly and at a good speed too! 2021-04-20 17:33:30 -07:00