rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
2,257 Commits 2 Branches 18 Tags
529c401eee00cf267a36bf9abf3967973da0fd07
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 529c401eee don't allow [] as a stream alias, restore domain error on source sink for open/{3,4} 2022-01-06 21:44:41 -07:00
Mark Thom a87236fea2 keep cursor position after writing to byte stream 2022-01-06 21:44:41 -07:00
Mark Thom 975c1ca62c fix stream errors 2022-01-06 21:44:41 -07:00
Mark Thom d02b9d848c break from loop upon successful peek in peek_char/1 and peek_code/1 2022-01-06 21:44:41 -07:00
Mark Thom f340f9ac94 break from loop in get_code upon successful character read 2022-01-06 21:44:41 -07:00
Mark Thom 1b3f290037 throw instantiation error if Arity is a variable in abolish/1 2022-01-06 21:44:41 -07:00
Mark Thom b551ef315f use strip module in retract/1, a meta-predicate 2022-01-06 21:44:41 -07:00
Mark Thom 10bb6ab3bb restore old thread_goals to fix top-level solutions printing bug 2022-01-06 21:44:41 -07:00
Mark Thom 4af57b0dd3 fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr 2022-01-06 21:44:41 -07:00
Mark Thom bc613eeff9 fix number not recognizing floats 2022-01-06 21:44:41 -07:00
Mark Thom 7507e88406 detect module resolved cut in interpreted (,) 2022-01-06 21:44:41 -07:00
Mark Thom 073f281f1e fix arg/3 bug 2022-01-06 21:44:41 -07:00
Mark Thom 3355b49724 add bounds check for attributed variables slice 2022-01-06 21:44:41 -07:00
Mark Thom 0e2db4a23e tag DCG constructs with module names for proper resolution 2022-01-06 21:44:41 -07:00
Mark Thom addc817cca break from get_char loop after successful char unification 2022-01-06 21:44:41 -07:00
Mark Thom a0a86d0f62 unmark cell bits in occurs check 2022-01-06 21:44:41 -07:00
Mark Thom b24e7cce38 support comparison and unification of cyclic partial strings 2022-01-06 21:44:41 -07:00
Mark Thom ffd1b7069f greatly reduce the number of goal expansions done in callable if/then/else 2022-01-06 21:44:41 -07:00
Mark Thom 0404c3bd94 use new heap term representation 2022-01-06 21:44:38 -07:00
Mark Thom d0b74a95f4 Merge pull request #1156 from mthom/proper_var_list_order_issue_1121 
Correct order of variables in read_term/3 equation and variable lists
 2022-01-06 20:46:59 -07:00
Mark Thom 9d06229cba create read_term/3 variable lists in order of variable occurrence within terms 2021-12-23 13:31:49 -07:00
Mark Thom c60ada8421 Merge pull request #1132 from triska/tls_library 
ADDED: library(tls) for negotiating TLS connections
 2021-12-13 19:11:04 -07:00
Mark Thom 74a1d5cf38 Merge pull request #1141 from triska/layout_text_sequence 
ENHANCED: Support also comments in integers with underscores
 2021-12-13 19:09:37 -07:00
Mark Thom 43532e5322 Merge pull request #1142 from triska/s 
report time with "s" instead of "seconds", in analogy to time(1)
 2021-12-13 19:09:20 -07:00
Mark Thom 68cd1d6631 Merge pull request #1143 from heydtn/patch-1 
Fix typo in abnf_lwsp/2
 2021-12-13 19:04:46 -07:00
Mark Thom afc18cc390 Merge pull request #1147 from triska/pio_improvements 
ENHANCED: Use newly available fast chars test from library(error).
 2021-12-13 19:04:27 -07:00
Mark Thom 2eae6b4be7 Merge pull request #1131 from triska/cpu_time 
walltime --> CPU time
 2021-12-07 20:30:00 -07:00
Mark Thom 8065889862 Merge pull request #1129 from triska/tls_servers 
ADDED: Support for creating TLS servers.
 2021-12-04 16:23:43 -07:00
Mark Thom e7a8950d09 Merge pull request #1124 from triska/test_corrections 
several corrections to test cases
 2021-12-04 16:23:31 -07:00
Mark Thom 88e9dc2177 Merge pull request #1127 from triska/retract_correction 
Correct retract/1 issues due to module qualification
 2021-12-04 16:23:00 -07:00
Mark Thom 2c555c969e Merge pull request #1122 from triska/better_time 
ENHANCED: Better reporting for time/1.
 2021-12-04 16:22:14 -07:00
Mark Thom 7abdade7c1 Merge pull request #1120 from triska/char_type_correction 
ENHANCED: Correct type error for char_type/2.
 2021-11-29 19:38:30 -05:00
Mark Thom e47aef5615 Merge pull request #1116 from aarroyoc/fix-open-lis 
Allow all kinds of string to be processed in open/4
 2021-11-28 16:18:02 -05:00
Mark Thom b96ae1bac0 Merge pull request #1119 from mthom/expand_call_goals_as_call_goals 
Expand call goals as call goals so that goals in control constructs are qualified properly
 2021-11-28 16:16:47 -05:00
Mark Thom 7dafcb0860 expand call goals as call goals (#1114) 2021-11-28 10:27:50 -07:00
Mark Thom 5a6a686f42 Merge pull request #1117 from triska/indicate_failed_initialization 
ENHANCED: indicate failed initialization/1 goal
 2021-11-28 11:53:54 -05:00
Mark Thom b576bb55ef Merge pull request #1115 from triska/get_char_type_test 
ENHANCED: Character type checks for get_char/[1,2].
 2021-11-28 11:53:15 -05:00
Mark Thom a87f0481b8 Merge pull request #1096 from aarroyoc/number_chars_fix 
Prevents panic in some strange cases. Seen in #721
 2021-11-27 22:37:30 -05:00
Mark Thom c3d61361f8 Merge pull request #1112 from triska/underscores_in_integers 
ENHANCED: Support '_' followed by layout text sequence in integers.
 2021-11-27 20:29:49 -05:00
Mark Thom a48934e31c Merge pull request #1113 from triska/seq 
Use newly available seq//1 and ... //0 in several libraries
 2021-11-27 20:29:31 -05:00
Mark Thom ac75f67e2a Merge pull request #1111 from triska/fast_list_test 
Use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2
 2021-11-27 20:29:17 -05:00
Mark Thom ca28f24e42 Merge pull request #1107 from triska/fast_chars_test 
New type tests: must_be(chars, ...) and can_be(chars, ...)
 2021-11-25 19:01:03 -05:00
Mark Thom 2c0fb3adb0 Merge pull request #1098 from triska/format_improvements 
Various smaller improvements to library(format)
 2021-11-21 15:28:32 -05:00
Mark Thom b851eefb03 Merge pull request #1099 from aarroyoc/uninstantiation_error-missing 
Fix uninstantiation_error missing. Fix #1031
 2021-11-21 15:27:38 -05:00
Mark Thom eaad2d8b1f Merge pull request #1100 from aarroyoc/phrase-to-file-options 
Add phrase_to_file/3 (phrase_to_file with Options)
 2021-11-21 15:27:17 -05:00
Mark Thom 575d235296 Merge pull request #1102 from triska/meta_predicate_corrections 
Meta predicate corrections
 2021-11-21 15:27:03 -05:00
Mark Thom 75b01d5021 Merge pull request #1082 from pmoura/fix_format_predicates_missing_numbervars_option_on_w_and_q_formats 
Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats
 2021-11-13 00:05:26 -05:00
Mark Thom b7fa5db570 Merge pull request #1087 from Skgland/fix_beta_check 
fix failing lint warnings in beta build
 2021-11-13 00:04:51 -05:00
Mark Thom 297f126f66 Merge pull request #1078 from triska/pio_improvements 
Various improvements for pure output
 2021-11-13 00:03:57 -05:00
Mark Thom bd6400f17f Merge pull request #1086 from Skgland/pass_-f_flag_in_cargo_test 
pass -f to scryer-prolog in cargo test so that we ignore .scryerrc
 2021-11-13 00:03:38 -05:00
Mark Thom 21e55023a4 Merge pull request #1088 from triska/call_nth_metapredicate 
FIXED: meta_predicate/1 directive for call_nth/2.
 2021-11-13 00:03:26 -05:00
Mark Thom 1d2a838717 Merge pull request #1077 from pmoura/fix_get_code_predicates_at_end_of_file 
Fix the get_code/1-2 predicates to return -1 at the end of stream as per standard
 2021-11-07 09:40:29 -05:00
Mark Thom 8457a19792 Merge pull request #1071 from triska/read_n_chars 
ADDED: read_n_chars/3, reading N characters from a stream.
 2021-11-07 09:40:03 -05:00
Mark Thom 0b2638b201 Merge pull request #1070 from triska/open_stream 
ENHANCED: open/4 to allow opening a stream by specifying stream(S).
 2021-11-07 09:39:41 -05:00
Mark Thom 4dce57a1b6 Merge pull request #1069 from triska/crypto_improvements 
Performance improvements for library(crypto)
 2021-11-07 09:39:13 -05:00
Mark Thom 67ef5fe8e6 Merge pull request #1065 from aarroyoc/pio-string 
Disable check of atom and leverage to open/4 the domain_error
 2021-11-03 13:27:45 -02:30
Mark Thom 7c5c700bb8 Merge pull request #1066 from aarroyoc/rust-2021 
Rust 2021
 2021-11-03 13:27:18 -02:30
Mark Thom ca62e54652 Merge pull request #1052 from aarroyoc/shell-predicate 
Implement shell/1 and shell/2
 2021-10-17 11:58:28 -06:00
Mark Thom 44fc61ed86 Merge pull request #1051 from aarroyoc/close-stream 
Throw exception if closing a closed TCP stream #1046
 2021-10-07 17:09:16 -06:00
Mark Thom 1a0684cd20 Merge pull request #1049 from pmoura/add_preliminary_current_module_predicate_definition 
Add preliminary current_module/1 predicate definition requiring a bound argument
 2021-09-30 09:19:09 -06:00
Mark Thom 5d2b0377d8 reset attributed variables queue when backtracking (#678, etc.) 2021-09-27 19:12:24 -06:00
Mark Thom f6d69b6051 reset attributed variables queue after successful verify_attributes interrupt (#669, etc) 2021-09-26 18:58:00 -06:00
Mark Thom bc4f719931 Merge pull request #1045 from triska/phrase_to_file 
ADDED: Rudimentary version of phrase_to_file/2 in library(pio)
 2021-09-05 23:31:57 -06:00
Mark Thom 326fb99849 Merge pull request #1033 from aarroyoc/fix-1022 
Add a -f switch to load alternative initialization files
 2021-08-23 22:26:15 -06:00
Mark Thom fe1ced9f58 Merge pull request #1032 from aarroyoc/fix-1009 
Fix #1009 by providing a naive num-bigint implementation of count_ones
 2021-08-23 22:25:44 -06:00
Mark Thom fce7f8aa68 Merge pull request #1029 from triska/format 
ENHANCED: Domain error non_empty_list for empty arguments, addressing #1024
 2021-08-15 08:59:06 -06:00
Mark Thom 2905f6b465 Merge pull request #1027 from triska/format 
ENHANCED: format_string domain error for invalid radix in format string
 2021-08-14 23:06:28 -06:00
Mark Thom 75b5afa759 Merge pull request #1026 from triska/format 
ENHANCED: If N is omitted in ~Nr or ~NR, it defaults to 8.
 2021-08-14 09:15:30 -06:00
Mark Thom f42b7f4efa Merge pull request #1001 from triska/master 
ADDED: ... //0, describing an arbitrary number of elements
 2021-07-08 14:44:29 -06:00
Mark Thom 4decd1d784 Merge pull request #996 from triska/master 
address #995: wrong results for popcount/1
 2021-06-22 11:56:56 -06:00
Mark Thom 3e0bece53a Merge pull request #993 from triska/master 
ADDED: popcount(+Integer)
 2021-06-18 18:13:30 -06:00
Mark Thom c1b89b3b06 Merge pull request #986 from Regan-Koopmans/981 
Add popcount/2
 2021-06-18 18:13:18 -06:00
Mark Thom 176daeec03 Merge pull request #983 from triska/master 
check for correct domain of integers in reifiable expressions also in the expanded code
 2021-06-03 18:32:48 -06:00
Mark Thom 04121644a3 Merge pull request #978 from Skgland/master 
fix beta build and tests
 2021-06-03 12:38:18 -06:00
Mark Thom 1e37a0d9e6 Merge pull request #982 from triska/master 
ENHANCED: Goal expansion for reified constraints.
 2021-06-03 12:35:31 -06:00
Mark Thom 87ef3519d9 Merge pull request #972 from pmoura/add_pid_predicate 
Add pid/1 predicate to the os library
 2021-05-19 14:09:21 -06:00
Mark Thom 9002c33046 leave the expansion of incomplete goals in meta-predicates to call/N (#967, #970) 2021-05-19 14:07:46 -06:00
Mark Thom 57db17853e Merge pull request #971 from pmoura/add_rename_file_predicate 
Add rename_file/2 predicate to the files library
 2021-05-18 12:49:52 -06: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
Mark Thom 3def7c66ad Merge pull request #969 from pmoura/add_delete_directory_predicate 
Add delete_directory/1 predicate to the files library
 2021-05-18 10:25:52 -06:00
Mark Thom e7d6811948 Merge pull request #965 from pmoura/fix_current_predicate_error_checking 
Fix current_predicate/1 predicate error checking
 2021-05-16 23:37:20 -06:00
Mark Thom 56bbcb1cb3 Merge pull request #956 from pmoura/fix_subsumes_term_predicate 
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
 2021-05-13 23:18:58 -06:00
Mark Thom f02648022a Merge pull request #960 from triska/master 
FIXED: correct propagation of tuples_in/2 (#929)
 2021-05-13 23:18:47 -06:00
Mark Thom 9bb1f4e6f8 Merge pull request #958 from pmoura/fixes_for_retract_predicates 
Fixes for retract predicates
 2021-05-13 23:18:36 -06:00
Mark Thom d219f0bdc6 Merge pull request #957 from pmoura/fix_at_end_of_stream_predicate_missing_check_for_instantiation_error 
Fix at_end_of_stream/1 predicate missing check for instantiation error
 2021-05-13 23:17:59 -06:00
Mark Thom c8d0f6ff20 Merge pull request #955 from pmoura/fix_abolish_predicate_throw_of_instantiation_error 
Fix abolish/1 predicate throw of instantiation_error
 2021-05-13 23:17:30 -06:00
Mark Thom 2813c75292 Merge pull request #954 from pmoura/fix_set_stream_position_exception_term_missing_argument 
Fix set_stream_position/2 predicate missing argument in exception term
 2021-05-13 23:17:12 -06:00
Mark Thom 39aebd7144 Merge pull request #952 from panasenco/dockerfile 
Made rust version in Dockerfile static
 2021-05-12 11:02:38 -06:00
Mark Thom 7b92bee596 Merge pull request #951 from pmoura/add_max_arity_prolog_flag 
Add max_arity Prolog flag
 2021-05-11 19:22:38 -06:00
Mark Thom 0fb8459bc1 Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_for_current_prolog_flag 
Fix querying bounded and integer_rounding_function flag values
 2021-05-11 16:55:36 -06:00
Mark Thom ebe143d9c9 Merge pull request #946 from pmoura/fix_char_code_predicate_error_term_on_bould_non_atom_first_argument 
Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom
 2021-05-10 14:42:13 -06:00
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