rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,102 Commits 2 Branches 18 Tags
fe1ced9f5870b46d12387d60d194ea98694f7300
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
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
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
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
Mark Thom 7bec37bfd8 Merge pull request #912 from panasenco/json 
library(json) beta
 2021-04-22 17:44:44 -06:00
Mark Thom e71afa63b0 Merge pull request #909 from triska/master 
add a new section about support and discussions
 2021-04-17 10:34:48 -06:00
Mark Thom a9ef15cdfa Merge pull request #900 from triska/master 
remove rectractall/1 (built-in since 8188e3d0cf).
 2021-04-14 15:28:59 -06:00
Mark Thom b08442b46f assertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903) 2021-04-14 15:28:16 -06:00
Mark Thom 5452b55e38 Merge pull request #897 from panasenco/master 
Switched to cargo-chef for preparing the Docker image
 2021-04-12 21:55:58 -06:00
Mark Thom 8188e3d0cf add missing standard predicates (#896) 2021-04-12 17:26:11 -06:00
Mark Thom 10e92eec32 call '$erase_ball' before running cleanup code in setup_call_cleanup (#886) 2021-03-24 16:56:53 -06:00
Mark Thom 37f2336eee stop unifying ! to free variables in control_functor/1 (#887) 2021-03-24 15:05:59 -06:00
Mark Thom 290cb1b517 make retract_local_clauses safe, remove warning about overwriting warning in do_not_duplicate_path_components test 2021-03-23 12:37:43 -06:00
Mark Thom 7520fe7000 use occurs check when enabled in UnifyValue (#885) 2021-03-22 22:05:03 -06:00
Mark Thom 9f861dfe89 reorder declaration matching in loader.pl 2021-03-22 18:13:01 -06:00
Mark Thom fffb87d013 flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting 2021-03-22 16:53:23 -06:00
Mark Thom 0cb731c584 remove redundant retraction records for incremental compilation 2021-03-22 15:27:45 -06:00
Mark Thom 233faea200 compare the tails of partial string prefixes in compare_pstr_prefixes (#883) 2021-03-22 12:44:58 -06:00
Mark Thom 1b9015a049 copies only those attributes planted by the calling module 2021-03-21 13:00:29 -06:00
Mark Thom 111de1462c remove vestigial attribute goals struct field and related predicates 2021-03-21 12:06:53 -06:00
Mark Thom 7fb0b4a8df rename issue841-occure-check.pl to issue841-occurs-check.pl 2021-03-19 21:39:28 -06:00
Mark Thom 627c49c5db recognize cuts in (->)/(,)/(;) calling contexts (#878) 2021-03-19 16:34:55 -06:00
Mark Thom 665b1ad58a Merge pull request #872 from notoria/charsio 
Extend alnum, add forgotten graphic_token
 2021-03-18 14:51:36 -06:00
Mark Thom 4623e9d7fc fix findall/4 (#873) 2021-03-18 12:50:12 -06:00
Mark Thom a3f0290432 restore deleted parts of number_chars/2 and number_codes/2 (#721) 2021-03-17 20:23:58 -06:00
Mark Thom 69b1798af7 print floating point zero as 0.0 (#859) 2021-03-17 20:17:08 -06:00
Mark Thom 10af206024 make chars callable (#713) 2021-03-17 19:50:41 -06:00
Mark Thom 6c23d7aec8 always print variable bindings before names (#865) 2021-03-17 19:27:53 -06:00
Mark Thom 7937ccee30 check that a load context path is a filename before potentially returning it as a string 2021-03-17 18:58:33 -06:00
Mark Thom b98e8c34eb findall/4 should be declared as a meta-predicate (#873) 2021-03-17 18:13:06 -06:00
Mark Thom 5c2059b4e8 issue an imcomplete reduction error if stream ends with tokens remaining to be parsed (#871) 2021-03-17 14:23:34 -06:00
Mark Thom 5f7abda22d remove operators declared at user-level from files when reloading 2021-03-16 18:30:34 -06:00
Mark Thom 51424aed32 clear user-level definitions when reloading a file (#455) 2021-03-16 02:30:09 -06:00
Mark Thom 914fb09ed0 don't warn about overwriting a clause asserted to a dynamic predicate whose clauses have all been retracted (#870) 2021-03-15 14:22:54 -06:00
Mark Thom 7ea7e5c951 remove intra-module predicates from module code directory when module is being re-defined (#848) 2021-03-13 23:22:24 -07:00
Mark Thom c69807b416 Merge pull request #866 from Skgland/add_tests 
Add tests for some recently closed Issues
 2021-03-13 00:39:01 -07:00
Mark Thom d4d47182b4 fix is_cyclic_term (#864) 2021-03-10 16:11:48 -07:00
Mark Thom bc2d0191ff Merge pull request #861 from notoria/mod 
Small improvement for mod in CLP(Z)
 2021-03-10 13:52:48 -07:00
Mark Thom ceac824e2b Merge pull request #862 from notoria/xor 
Implemented a propagator for xor in CLP(Z)
 2021-03-09 12:33:06 -07:00
Mark Thom fa025bcf39 Merge pull request #858 from triska/master 
CLP(B) correction
 2021-03-05 12:57:20 -07:00
Mark Thom 0a71e40030 qualify '$print_project_attributes_exception' call (#857) 2021-03-05 01:14:56 -07:00
Mark Thom 1b9db035ba call project_attributes from top-level (#846) 2021-03-04 16:05:06 -07:00
Mark Thom 34c3035c2b Merge pull request #856 from triska/master 
Improvements for library(format)
 2021-03-04 13:53:25 -07:00
Mark Thom a2e5bcc137 Merge pull request #854 from triska/master 
Better indentation for nested ( If -> Then ; Else ) constructs
 2021-03-03 16:11:03 -07:00
Mark Thom d3612e956e catch exceptions thrown from initialization goals (#852) 2021-03-03 13:56:13 -07:00
Mark Thom 5a3ee3a46e has_tail must be false for use as a filename from open/{3,4} 2021-03-03 12:16:47 -07:00
Mark Thom 23cb743ce2 Merge pull request #851 from Skgland/fix_num_test2 
Workaround to make num tests work
 2021-03-02 23:36:59 -07:00
Mark Thom 73eb4079ef Merge pull request #849 from triska/master 
Remove duplicated definitions
 2021-03-02 11:59:22 -07:00
Mark Thom 7ea9706c94 warn when overwriting a predicate (#848) 2021-03-02 11:43:47 -07:00
Mark Thom 5976e2d873 do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844) 2021-03-02 10:34:25 -07:00
Mark Thom d32d452583 Merge pull request #845 from triska/master 
explain the new occurs_check flag
 2021-03-01 11:45:53 -07:00
Mark Thom e8971e0d8b use atom_chars to convert .scryerrc path string to atom 2021-02-28 23:26:22 -07:00