]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
5 years agoMerge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_f...
Mark Thom [Tue, 11 May 2021 22:55:36 +0000 (16:55 -0600)]
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

5 years agoFix querying bounded and integer_rounding_function flag values
Paulo Moura [Tue, 11 May 2021 11:08:11 +0000 (12:08 +0100)]
Fix querying bounded and integer_rounding_function flag values

5 years agoMerge pull request #946 from pmoura/fix_char_code_predicate_error_term_on_bould_non_a...
Mark Thom [Mon, 10 May 2021 20:42:13 +0000 (14:42 -0600)]
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

5 years agoFix char_code/2 predicate wrong error term when the first argument is bound but is...
Paulo Moura [Mon, 10 May 2021 20:27:04 +0000 (21:27 +0100)]
Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom

5 years agoMerge pull request #934 from panasenco/dockerfile
Mark Thom [Mon, 10 May 2021 17:10:39 +0000 (11:10 -0600)]
Merge pull request #934 from panasenco/dockerfile

Dockerfile update: Switched from using @LukeMathWalker's image to using the official Rust image.

5 years agoMerge pull request #938 from pmoura/fix_bitwise_shift_functions_type_error_in_second_...
Mark Thom [Mon, 10 May 2021 17:10:20 +0000 (11:10 -0600)]
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

5 years agoMerge pull request #937 from pmoura/fix_open_predicate_error_term_on_bound_stream_arg...
Mark Thom [Mon, 10 May 2021 17:10:12 +0000 (11:10 -0600)]
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

5 years agoMerge pull request #936 from pmoura/fix_throw_1_control_construct_with_var_argument
Mark Thom [Mon, 10 May 2021 17:09:59 +0000 (11:09 -0600)]
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

5 years agoMerge pull request #939 from pmoura/fix_missing_argument_in_current_op_3_predicate_ex...
Mark Thom [Mon, 10 May 2021 17:09:44 +0000 (11:09 -0600)]
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

5 years agoMerge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard
Mark Thom [Mon, 10 May 2021 17:09:23 +0000 (11:09 -0600)]
Merge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard

Fix (**)/2 operator type

5 years agoMerge pull request #944 from triska/master
Mark Thom [Mon, 10 May 2021 17:09:09 +0000 (11:09 -0600)]
Merge pull request #944 from triska/master

FIXED: module qualification for between/3 in goal expansion (#941)

5 years agoMerge pull request #945 from pmoura/fix_char_code_error_checking
Mark Thom [Mon, 10 May 2021 17:08:58 +0000 (11:08 -0600)]
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

5 years agoMerge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error
Mark Thom [Mon, 10 May 2021 17:07:04 +0000 (11:07 -0600)]
Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error

Fix op/3 predicate operator_priority domain error

5 years agoFix char_code/2 predicate failure instead of exception on non-integer second argument
Paulo Moura [Sun, 9 May 2021 23:37:09 +0000 (00:37 +0100)]
Fix char_code/2 predicate failure instead of exception on non-integer second argument

5 years agoFIXED: module qualification for between/3 in goal expansion (#941)
Markus Triska [Sun, 9 May 2021 21:54:37 +0000 (23:54 +0200)]
FIXED: module qualification for between/3 in goal expansion (#941)

Many thanks to @dcnorris for reporting this issue!

5 years agoFix op/3 predicate operator_priority domain error
Paulo Moura [Sun, 9 May 2021 21:25:37 +0000 (22:25 +0100)]
Fix op/3 predicate operator_priority domain error

5 years agoFix (**)/2 operator type
Paulo Moura [Sun, 9 May 2021 20:02:44 +0000 (21:02 +0100)]
Fix (**)/2 operator type

5 years agoFix missing argument in current_op/3 predicate exception term
Paulo Moura [Sun, 9 May 2021 19:51:41 +0000 (20:51 +0100)]
Fix missing argument in current_op/3 predicate exception term

5 years agoFix bitwise shift functions type error in the second argument
Paulo Moura [Sun, 9 May 2021 18:58:35 +0000 (19:58 +0100)]
Fix bitwise shift functions type error in the second argument

5 years agoFix open/3-4 predicates error term when the stream argument is bound
Paulo Moura [Sun, 9 May 2021 18:21:21 +0000 (19:21 +0100)]
Fix open/3-4 predicates error term when the stream argument is bound

5 years agoFix throw/1 control construct to throw an instantiation error when the argument is...
Paulo Moura [Sun, 9 May 2021 11:42:51 +0000 (12:42 +0100)]
Fix throw/1 control construct to throw an instantiation error when the argument is not bound

5 years agoSwitched from using @LukeMathWalker's image to using the official Rust image. Was...
panasenco [Sun, 9 May 2021 00:04:54 +0000 (17:04 -0700)]
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...

5 years agoMerge pull request #928 from panasenco/permutation
Mark Thom [Sat, 8 May 2021 21:09:01 +0000 (15:09 -0600)]
Merge pull request #928 from panasenco/permutation

Ported permutation/2 from SWI library(lists)

5 years agoMerge pull request #933 from pmoura/add_epsilon_arithmetic_constant
Mark Thom [Sat, 8 May 2021 21:08:13 +0000 (15:08 -0600)]
Merge pull request #933 from pmoura/add_epsilon_arithmetic_constant

Add epsilon/0 arithmetic constant

5 years agoMoved MIT header to top of lists.pl
panasenco [Sat, 8 May 2021 20:32:30 +0000 (13:32 -0700)]
Moved MIT header to top of lists.pl

5 years agoAdd epsilon/0 arithmetic constant
Paulo Moura [Sat, 8 May 2021 20:23:54 +0000 (21:23 +0100)]
Add epsilon/0 arithmetic constant

5 years agoMerge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates
Mark Thom [Sat, 8 May 2021 18:39:28 +0000 (12:39 -0600)]
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

5 years agoFix abolish/1 to succeed on non-existing predicates as per standard
Paulo Moura [Sat, 8 May 2021 10:13:08 +0000 (11:13 +0100)]
Fix abolish/1 to succeed on non-existing predicates as per standard

5 years agoPorted permutation/2 from SWI library(lists)
panasenco [Fri, 7 May 2021 07:29:48 +0000 (00:29 -0700)]
Ported permutation/2 from SWI library(lists)

5 years agoadd missing default RevJmpBy arm to thread_choice_instr_at_to (prompted by #922)
Mark Thom [Wed, 5 May 2021 17:16:33 +0000 (11:16 -0600)]
add missing default RevJmpBy arm to thread_choice_instr_at_to (prompted by #922)

5 years agoset self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in...
Mark Thom [Wed, 5 May 2021 02:54:00 +0000 (20:54 -0600)]
set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in dynamic indexing instructions (prompted by #922)

5 years agocorrect assertz/1 bugs (#922)
Mark Thom [Tue, 4 May 2021 23:53:02 +0000 (17:53 -0600)]
correct assertz/1 bugs (#922)

5 years agofix incremental compilation and multifile bugs
Mark Thom [Mon, 3 May 2021 22:59:12 +0000 (16:59 -0600)]
fix incremental compilation and multifile bugs

5 years agoimport builtins to dynamically generated modules unless builtins is being defined
Mark Thom [Sun, 2 May 2021 17:01:17 +0000 (11:01 -0600)]
import builtins to dynamically generated modules unless builtins is being defined

5 years agoadd read/2 and nl/1 (#896)
Mark Thom [Sat, 1 May 2021 21:29:41 +0000 (15:29 -0600)]
add read/2 and nl/1 (#896)

5 years agoadd user_error stream (#917)
Mark Thom [Sat, 1 May 2021 03:58:03 +0000 (21:58 -0600)]
add user_error stream (#917)

5 years agofail on undefined multifile/discontiguous/dynamic predicates (#915)
Mark Thom [Sat, 1 May 2021 03:46:50 +0000 (21:46 -0600)]
fail on undefined multifile/discontiguous/dynamic predicates (#915)

5 years agosupport full paths in load_context_path/2 (#916)
Mark Thom [Sat, 1 May 2021 02:38:26 +0000 (20:38 -0600)]
support full paths in load_context_path/2 (#916)

5 years agofail when retracting undefined dynamic predicates (#918)
Mark Thom [Sat, 1 May 2021 02:36:56 +0000 (20:36 -0600)]
fail when retracting undefined dynamic predicates (#918)

5 years agoMerge pull request #920 from panasenco/serialize
Mark Thom [Thu, 29 Apr 2021 19:11:13 +0000 (13:11 -0600)]
Merge pull request #920 from panasenco/serialize

Character logic cleanup and extension

5 years agoOops, we want to keep digits as characters in library(abnf), but as numbers in librar...
panasenco [Thu, 29 Apr 2021 05:58:04 +0000 (22:58 -0700)]
Oops, we want to keep digits as characters in library(abnf), but as numbers in library(json).

5 years agoRestructuring and improving documentation.
panasenco [Thu, 29 Apr 2021 05:22:00 +0000 (22:22 -0700)]
Restructuring and improving documentation.

5 years agoReplaced object() with pairs() in library(json), and made key type explicit.
panasenco [Wed, 28 Apr 2021 23:09:38 +0000 (16:09 -0700)]
Replaced object() with pairs() in library(json), and made key type explicit.

5 years agoAdded ABNF grammar to library(charsio) as well as octet character type that it depend...
panasenco [Wed, 28 Apr 2021 05:48:03 +0000 (22:48 -0700)]
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.

5 years agoAlphabetized character logic in macros.rs and system_calls.rs
panasenco [Tue, 27 Apr 2021 18:58:39 +0000 (11:58 -0700)]
Alphabetized character logic in macros.rs and system_calls.rs

5 years agofix use of local skeletons to reload predicates (#919)
Mark Thom [Tue, 27 Apr 2021 08:00:54 +0000 (02:00 -0600)]
fix use of local skeletons to reload predicates (#919)

5 years agoMerge pull request #913 from panasenco/json
Mark Thom [Mon, 26 Apr 2021 19:34:04 +0000 (13:34 -0600)]
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

5 years agoReplaced raw_chars//1 in library(pio) with seq//1 in library(dcgs).
panasenco [Sun, 25 Apr 2021 21:53:37 +0000 (14:53 -0700)]
Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs).

5 years agoAdded \raw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested...
panasenco [Sun, 25 Apr 2021 04:29:50 +0000 (21:29 -0700)]
Added \raw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested by @triska.

5 years agoAnother thorough rewrite of library(json) to better preserve the complete set of...
panasenco [Fri, 23 Apr 2021 06:51:34 +0000 (23:51 -0700)]
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!

5 years agoMerge pull request #912 from panasenco/json
Mark Thom [Thu, 22 Apr 2021 23:44:44 +0000 (17:44 -0600)]
Merge pull request #912 from panasenco/json

library(json) beta

5 years agoRewrote many parts of library(json) to leave no choicepoints when generating JSON...
panasenco [Thu, 22 Apr 2021 20:31:06 +0000 (13:31 -0700)]
Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly...

5 years agoNow preserving distinction between ints and floats
panasenco [Wed, 21 Apr 2021 02:59:01 +0000 (19:59 -0700)]
Now preserving distinction between ints and floats

5 years agoSeem to be generating JSON correctly and at a good speed too!
panasenco [Wed, 21 Apr 2021 00:26:38 +0000 (17:26 -0700)]
Seem to be generating JSON correctly and at a good speed too!

5 years agoRemoved CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.
panasenco [Tue, 20 Apr 2021 23:58:33 +0000 (16:58 -0700)]
Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing.

5 years agoFixed forward slash special case issue, added a bunch of test files that were success...
panasenco [Tue, 20 Apr 2021 04:46:11 +0000 (21:46 -0700)]
Fixed forward slash special case issue, added a bunch of test files that were successfully read!

5 years agoFixed defaulty representations of json_members//1 and json_elements//1
panasenco [Mon, 19 Apr 2021 21:57:15 +0000 (14:57 -0700)]
Fixed defaulty representations of json_members//1 and json_elements//1

5 years agoChanged formatting to match Markus Triska's as much as I can tell
panasenco [Mon, 19 Apr 2021 06:44:10 +0000 (23:44 -0700)]
Changed formatting to match Markus Triska's as much as I can tell

5 years agoComplete reordering and partial rewrite to match the official McKeeman form of the...
panasenco [Mon, 19 Apr 2021 06:21:12 +0000 (23:21 -0700)]
Complete reordering and partial rewrite to match the official McKeeman form of the JSON specification

5 years agoAdded objects and type distinction based on the principal functor
panasenco [Sun, 18 Apr 2021 21:59:16 +0000 (14:59 -0700)]
Added objects and type distinction based on the principal functor

5 years agoParsing and generating JSON numbers works perfectly now as far as I can tell
panasenco [Sun, 18 Apr 2021 04:44:57 +0000 (21:44 -0700)]
Parsing and generating JSON numbers works perfectly now as far as I can tell

5 years agoBegan working on json library (fresh start after thinking about instantiation in...
panasenco [Mon, 12 Apr 2021 22:15:29 +0000 (15:15 -0700)]
Began working on json library (fresh start after thinking about instantiation in terms of search strategies)

5 years agoMerge pull request #909 from triska/master
Mark Thom [Sat, 17 Apr 2021 16:34:48 +0000 (10:34 -0600)]
Merge pull request #909 from triska/master

add a new section about support and discussions

5 years agoadd a new section about support and discussions
Markus Triska [Sat, 17 Apr 2021 11:42:35 +0000 (13:42 +0200)]
add a new section about support and discussions

5 years agoMerge pull request #900 from triska/master
Mark Thom [Wed, 14 Apr 2021 21:28:59 +0000 (15:28 -0600)]
Merge pull request #900 from triska/master

remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).

5 years agoassertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903)
Mark Thom [Wed, 14 Apr 2021 21:10:45 +0000 (15:10 -0600)]
assertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903)

5 years agoremove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).
Markus Triska [Wed, 14 Apr 2021 18:18:50 +0000 (20:18 +0200)]
remove rectractall/1 (built-in since 8188e3d0cfde3f2277232a5e9ff2931873211af6).

This resolves #899.

5 years agoMerge pull request #897 from panasenco/master
Mark Thom [Tue, 13 Apr 2021 03:55:58 +0000 (21:55 -0600)]
Merge pull request #897 from panasenco/master

Switched to cargo-chef for preparing the Docker image

5 years agoSwitched to cargo-chef for preparing the Docker image
panasenco [Mon, 12 Apr 2021 21:54:15 +0000 (14:54 -0700)]
Switched to cargo-chef for preparing the Docker image

5 years agoadd missing standard predicates (#896)
Mark Thom [Mon, 12 Apr 2021 16:49:18 +0000 (10:49 -0600)]
add missing standard predicates (#896)

5 years agocall '$erase_ball' before running cleanup code in setup_call_cleanup (#886)
Mark Thom [Wed, 24 Mar 2021 22:56:48 +0000 (16:56 -0600)]
call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)

5 years agostop unifying ! to free variables in control_functor/1 (#887)
Mark Thom [Wed, 24 Mar 2021 21:05:59 +0000 (15:05 -0600)]
stop unifying ! to free variables in control_functor/1 (#887)

5 years agomake retract_local_clauses safe, remove warning about overwriting warning in do_not_d...
Mark Thom [Tue, 23 Mar 2021 18:37:43 +0000 (12:37 -0600)]
make retract_local_clauses safe, remove warning about overwriting warning in do_not_duplicate_path_components test

5 years agouse occurs check when enabled in UnifyValue (#885)
Mark Thom [Tue, 23 Mar 2021 04:05:03 +0000 (22:05 -0600)]
use occurs check when enabled in UnifyValue (#885)

5 years agoreorder declaration matching in loader.pl
Mark Thom [Tue, 23 Mar 2021 00:13:01 +0000 (18:13 -0600)]
reorder declaration matching in loader.pl

5 years agoflush loader term queue before compiling declarations, declare '/1' as dynamic before...
Mark Thom [Mon, 22 Mar 2021 22:53:23 +0000 (16:53 -0600)]
flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting

5 years agoremove redundant retraction records for incremental compilation
Mark Thom [Mon, 22 Mar 2021 21:27:45 +0000 (15:27 -0600)]
remove redundant retraction records for incremental compilation

5 years agocompare the tails of partial string prefixes in compare_pstr_prefixes (#883)
Mark Thom [Mon, 22 Mar 2021 18:44:58 +0000 (12:44 -0600)]
compare the tails of partial string prefixes in compare_pstr_prefixes (#883)

5 years ago copies only those attributes planted by the calling module
Mark Thom [Sun, 21 Mar 2021 19:00:29 +0000 (13:00 -0600)]
 copies only those attributes planted by the calling module

5 years agoremove vestigial attribute goals struct field and related predicates
Mark Thom [Sun, 21 Mar 2021 17:58:37 +0000 (11:58 -0600)]
remove vestigial attribute goals struct field and related predicates

5 years agorename issue841-occure-check.pl to issue841-occurs-check.pl
Mark Thom [Fri, 19 Mar 2021 22:35:50 +0000 (16:35 -0600)]
rename issue841-occure-check.pl to issue841-occurs-check.pl

5 years agorecognize cuts in (->)/(,)/(;) calling contexts (#878)
Mark Thom [Fri, 19 Mar 2021 22:34:55 +0000 (16:34 -0600)]
recognize cuts in (->)/(,)/(;) calling contexts (#878)

5 years agoMerge pull request #872 from notoria/charsio
Mark Thom [Thu, 18 Mar 2021 20:51:36 +0000 (14:51 -0600)]
Merge pull request #872 from notoria/charsio

Extend alnum, add forgotten graphic_token

5 years agofix findall/4 (#873)
Mark Thom [Thu, 18 Mar 2021 18:50:12 +0000 (12:50 -0600)]
fix findall/4 (#873)

5 years agorestore deleted parts of number_chars/2 and number_codes/2 (#721)
Mark Thom [Thu, 18 Mar 2021 02:23:58 +0000 (20:23 -0600)]
restore deleted parts of number_chars/2 and number_codes/2 (#721)

5 years agoprint floating point zero as 0.0 (#859)
Mark Thom [Thu, 18 Mar 2021 02:17:08 +0000 (20:17 -0600)]
print floating point zero as 0.0 (#859)

5 years agomake chars callable (#713)
Mark Thom [Thu, 18 Mar 2021 01:50:41 +0000 (19:50 -0600)]
make chars callable (#713)

5 years agoalways print variable bindings before names (#865)
Mark Thom [Thu, 18 Mar 2021 01:27:53 +0000 (19:27 -0600)]
always print variable bindings before names (#865)

5 years agocheck that a load context path is a filename before potentially returning it as a...
Mark Thom [Thu, 18 Mar 2021 00:58:33 +0000 (18:58 -0600)]
check that a load context path is a filename before potentially returning it as a string

5 years agofindall/4 should be declared as a meta-predicate (#873)
Mark Thom [Thu, 18 Mar 2021 00:13:06 +0000 (18:13 -0600)]
findall/4 should be declared as a meta-predicate (#873)

5 years agoissue an imcomplete reduction error if stream ends with tokens remaining to be parsed...
Mark Thom [Wed, 17 Mar 2021 20:23:34 +0000 (14:23 -0600)]
issue an imcomplete reduction error if stream ends with tokens remaining to be parsed (#871)

5 years agoExtend alnum, add forgotten graphic_token
notoria [Wed, 17 Mar 2021 19:47:09 +0000 (20:47 +0100)]
Extend alnum, add forgotten graphic_token

5 years agoremove operators declared at user-level from files when reloading
Mark Thom [Tue, 16 Mar 2021 19:47:30 +0000 (13:47 -0600)]
remove operators declared at user-level from files when reloading

5 years agoclear user-level definitions when reloading a file (#455)
Mark Thom [Tue, 16 Mar 2021 08:30:09 +0000 (02:30 -0600)]
clear user-level definitions when reloading a file (#455)

5 years agodon't warn about overwriting a clause asserted to a dynamic predicate whose clauses...
Mark Thom [Mon, 15 Mar 2021 20:22:54 +0000 (14:22 -0600)]
don't warn about overwriting a clause asserted to a dynamic predicate whose clauses have all been retracted (#870)

5 years agoremove intra-module predicates from module code directory when module is being re...
Mark Thom [Sun, 14 Mar 2021 06:22:24 +0000 (23:22 -0700)]
remove intra-module predicates from module code directory when module is being re-defined (#848)

5 years agoMerge pull request #866 from Skgland/add_tests
Mark Thom [Sat, 13 Mar 2021 07:39:01 +0000 (00:39 -0700)]
Merge pull request #866 from Skgland/add_tests

Add tests for some recently closed Issues

5 years agofix expected output for syntax_error test
Skgland [Thu, 11 Mar 2021 16:01:26 +0000 (17:01 +0100)]
fix expected output for syntax_error test

5 years agoaddress problems brought up in review
Skgland [Thu, 11 Mar 2021 15:16:31 +0000 (16:16 +0100)]
address problems brought up in review

5 years agoadd more tests
Skgland [Thu, 11 Mar 2021 00:19:17 +0000 (01:19 +0100)]
add more tests

for some of the recently closed issues