This website requires JavaScript.
4dce57a1b6
Merge pull request #1069 from triska/crypto_improvements
Mark Thom
2021-11-07 09:39:13 -05:00
658b835a70
Fix the get_code/1-2 predicates to return -1 at the end of stream
Paulo Moura
2021-11-06 19:41:25 +00:00
52af955463
import also partial_string/3 (used in #1071 )
Markus Triska
2021-11-04 18:50:40 +01:00
09e886db0b
ADDED: read_n_chars/3, reading N characters from a stream.
Markus Triska
2021-11-04 18:36:27 +01:00
f668640e3d
move error handling to Prolog by using the new '$first_non_octet'/2
Markus Triska
2021-11-04 18:30:39 +01:00
afcd44deaa
ENHANCED: open/4 to allow opening a stream by specifying stream(S).
Markus Triska
2021-11-04 18:28:05 +01:00
8c8c21c63b
use partial_string/1 for much quicker test
Markus Triska
2021-11-03 22:35:47 +01:00
55dabbe16a
use '$first_non_octet'/2 for much faster domain check
Markus Triska
2021-11-03 22:27:41 +01:00
494bd7b79c
ADDED: '$first_non_octet'/2, for much more efficient domain checks in library(crypto).
Markus Triska
2021-11-03 22:11:45 +01:00
320ee072e6
ENHANCED: Much faster Base64 encoding/decoding, using partial_string/1 for a quick check.
Markus Triska
2021-11-03 21:45:07 +01:00
67ef5fe8e6
Merge pull request #1065 from aarroyoc/pio-string
Mark Thom
2021-11-03 13:27:45 -02:30
7c5c700bb8
Merge pull request #1066 from aarroyoc/rust-2021
Mark Thom
2021-11-03 13:27:18 -02:30
dd51908439
Rust 2021
Adrián Arroyo Calle
2021-11-01 23:03:51 +01:00
6a0f638d40
Disable check of atom and leverage to open/4 the domain_error
Adrián Arroyo Calle
2021-10-29 23:52:08 +02:00
2480c6633c
Disable check of atom and leverage to open/4 the domain_error
Adrián Arroyo Calle
2021-10-29 23:51:30 +02:00
495025dafb
Add support for the float_integer_part/1 and float_fractional_part/1 standard arithmetic functions
Paulo Moura
2021-09-27 12:27:09 +01:00
ca62e54652
Merge pull request #1052 from aarroyoc/shell-predicate
Mark Thom
2021-10-17 11:58:28 -06:00
44dd9ae9fb
Go back and accept only list of chars
Adrián Arroyo Calle
2021-10-15 17:22:15 +02:00
3f4d62952a
Accept atom or shell
Adrián Arroyo Calle
2021-10-14 22:52:29 +02:00
391cda919f
Implement shell/1 and shell/2
Adrián Arroyo Calle
2021-10-11 22:35:05 +02:00
44fc61ed86
Merge pull request #1051 from aarroyoc/close-stream
Mark Thom
2021-10-07 17:09:16 -06:00
f70685d53c
Close Stream test feedback
Adrián Arroyo Calle
2021-09-30 23:46:52 +02:00
807abfef4f
Close Stream bug files
Adrián Arroyo Calle
2021-09-30 23:01:25 +02:00
810d4c51f9
Close Stream bug files
Adrián Arroyo Calle
2021-09-30 22:59:15 +02:00
1a0684cd20
Merge pull request #1049 from pmoura/add_preliminary_current_module_predicate_definition
Mark Thom
2021-09-30 09:19:09 -06:00
47d811c250
use shutdown error values to throw exceptions in close stream
Adrián Arroyo Calle
2021-09-30 00:10:03 +02:00
4d0998ef72
launch exception if closing a closed TCP stream #1046
Adrián Arroyo Calle
2021-09-28 22:48:51 +02:00
5d2b0377d8
reset attributed variables queue when backtracking (#678 , etc.)
Mark Thom
2021-09-27 19:12:24 -06:00
f6d69b6051
reset attributed variables queue after successful verify_attributes interrupt (#669 , etc)
Mark Thom
2021-09-26 18:57:45 -06:00
490496f381
Add preliminary current_module/1 predicate definition requiring a bound argument
Paulo Moura
2021-09-24 10:13:00 +01:00
bc4f719931
Merge pull request #1045 from triska/phrase_to_file
Mark Thom
2021-09-05 23:31:57 -06:00
ded4a75b9c
use round brackets for meta_predicate declarations
Markus Triska
2021-09-04 22:02:17 +02:00
9e75eb35a0
ADDED: Rudimentary version of phrase_to_file/2 in library(pio)
Markus Triska
2021-09-04 21:13:51 +02:00
326fb99849
Merge pull request #1033 from aarroyoc/fix-1022
Mark Thom
2021-08-23 22:26:15 -06:00
fe1ced9f58
Merge pull request #1032 from aarroyoc/fix-1009
Mark Thom
2021-08-23 22:25:44 -06:00
00d0502cbd
Rename init_file to disable_init_file
Adrián Arroyo Calle
2021-08-23 09:53:15 +02:00
c30bd51b91
use consult instead of use_module
Adrián Arroyo Calle
2021-08-22 11:44:17 +02:00
9391dd9d51
Rename to disable_init_file and change description
Adrián Arroyo Calle
2021-08-22 11:36:27 +02:00
3cd112b60f
PR feedback
Adrián Arroyo Calle
2021-08-21 17:53:20 +02:00
dce0c43e26
Read scryerrc if goals specified but not -f specified
Adrián Arroyo Calle
2021-08-20 14:15:16 +02:00
80e228f236
Clean the code
Adrián Arroyo Calle
2021-08-20 14:06:57 +02:00
8ee2545b05
Add a -f switch to load alternative initialization files
Adrián Arroyo Calle
2021-08-20 14:00:32 +02:00
9bcc56e337
Make it line
Adrián Arroyo Calle
2021-08-20 12:40:27 +02:00
3c5a94452a
Fix #1009 by providing a naive num-bigint implementation of count_ones
Adrián Arroyo Calle
2021-08-20 12:38:15 +02:00
fce7f8aa68
Merge pull request #1029 from triska/format
Mark Thom
2021-08-15 08:59:06 -06:00
9e13f18463
ENHANCED: Domain error non_empty_list for empty arguments, addressing #1024 .
Markus Triska
2021-08-15 12:28:02 +02:00
2905f6b465
Merge pull request #1027 from triska/format
Mark Thom
2021-08-14 23:06:28 -06:00
9d3f3eb013
ENHANCED: format_string domain error for invalid radix in format string
Markus Triska
2021-08-14 20:02:47 +02:00
75b5afa759
Merge pull request #1026 from triska/format
Mark Thom
2021-08-14 09:15:30 -06:00
78c2f19e72
ENHANCED: If N is omitted in ~Nr or ~NR, it defaults to 8.
Markus Triska
2021-08-14 13:48:21 +02:00
9a66a626f7
run user-level and module-level initialization goals from loader.pl (#1012 )
Mark Thom
2021-08-01 09:25:55 -06:00
f42b7f4efa
Merge pull request #1001 from triska/master
Mark Thom
2021-07-08 14:44:29 -06:00
bf9654e138
ADDED: ... //0, describing an arbitrary number of elements
Markus Triska
2021-07-03 09:54:01 +02:00
4decd1d784
Merge pull request #996 from triska/master
Mark Thom
2021-06-22 11:56:56 -06:00
3e7cd24814
address #995 : wrong results for popcount/1
Markus Triska
2021-06-21 21:19:37 +02:00
3e0bece53a
Merge pull request #993 from triska/master
Mark Thom
2021-06-18 18:13:30 -06:00
c1b89b3b06
Merge pull request #986 from Regan-Koopmans/981
Mark Thom
2021-06-18 18:13:18 -06:00
f5eadb2957
981 Prefer must_be/2
Regan-Koopmans
2021-06-18 08:22:43 +02:00
ee393c66dd
ADDED: popcount(+Integer)
Markus Triska
2021-06-17 20:18:01 +02:00
72a7765b58
981 Reimplement as library system call
Regan-Koopmans
2021-06-17 12:10:25 +02:00
176daeec03
Merge pull request #983 from triska/master
Mark Thom
2021-06-03 18:32:48 -06:00
066f740819
check for correct domain of integers in reifiable expressions also in the expanded code
Markus Triska
2021-06-03 22:56:08 +02:00
04121644a3
Merge pull request #978 from Skgland/master
Mark Thom
2021-06-03 12:38:18 -06:00
1e37a0d9e6
Merge pull request #982 from triska/master
Mark Thom
2021-06-03 12:35:31 -06:00
fc8d33a98a
ENHANCED: Goal expansion for reified constraints.
Markus Triska
2021-06-03 20:23:03 +02:00
2089727c7f
ignore setup_call_cleanup tests as their output is apparently non-deterministic
Skgland
2021-06-02 17:41:14 +02:00
fbbf705d10
fix tests
Skgland
2021-06-02 17:15:31 +02:00
e08c302756
fix beta build
Skgland
2021-06-02 16:43:10 +02:00
87ef3519d9
Merge pull request #972 from pmoura/add_pid_predicate
Mark Thom
2021-05-19 14:09:21 -06:00
9002c33046
leave the expansion of incomplete goals in meta-predicates to call/N (#967 , #970 )
Mark Thom
2021-05-19 14:07:46 -06:00
b9ad6f4fd2
Add pid/1 predicate to the os library
Paulo Moura
2021-05-18 19:35:35 +01:00
57db17853e
Merge pull request #971 from pmoura/add_rename_file_predicate
Mark Thom
2021-05-18 12:49:52 -06:00
58555d598b
Add rename_file/2 predicate to the files library
Paulo Moura
2021-05-18 18:08:30 +01:00
0eeae24049
Merge pull request #968 from pmoura/add_make_directory_path_predicate
Mark Thom
2021-05-18 10:26:06 -06:00
3def7c66ad
Merge pull request #969 from pmoura/add_delete_directory_predicate
Mark Thom
2021-05-18 10:25:52 -06:00
eeac3bc436
Add delete_directory/1 predicate to the files library
Paulo Moura
2021-05-18 08:41:19 +01:00
bdebc7f32e
Add make_directory_path/1 predicate to the files library
Paulo Moura
2021-05-18 00:21:11 +01:00
e7d6811948
Merge pull request #965 from pmoura/fix_current_predicate_error_checking
Mark Thom
2021-05-16 23:37:20 -06:00
0e263dd753
Fix current_predicate/1 predicate error checking
Paulo Moura
2021-05-16 23:49:21 +01:00
56bbcb1cb3
Merge pull request #956 from pmoura/fix_subsumes_term_predicate
Mark Thom
2021-05-13 23:18:58 -06:00
f02648022a
Merge pull request #960 from triska/master
Mark Thom
2021-05-13 23:18:47 -06:00
9bb1f4e6f8
Merge pull request #958 from pmoura/fixes_for_retract_predicates
Mark Thom
2021-05-13 23:18:36 -06:00
d219f0bdc6
Merge pull request #957 from pmoura/fix_at_end_of_stream_predicate_missing_check_for_instantiation_error
Mark Thom
2021-05-13 23:17:59 -06:00
c8d0f6ff20
Merge pull request #955 from pmoura/fix_abolish_predicate_throw_of_instantiation_error
Mark Thom
2021-05-13 23:17:30 -06:00
2813c75292
Merge pull request #954 from pmoura/fix_set_stream_position_exception_term_missing_argument
Mark Thom
2021-05-13 23:17:12 -06:00
581e055359
FIXED: correct propagation of tuples_in/2 (#929 )
Markus Triska
2021-05-13 21:48:18 +02:00
88a2cfc5e1
Fix retract_clause/2 internal predicate to correctly handle module qualification and no lose body bindings
Paulo Moura
2021-05-12 23:48:12 +01:00
fb29830521
Fix retractall/1 predicate to retract both facts and rules
Paulo Moura
2021-05-12 23:46:05 +01:00
6540fea4da
Fix at_end_of_stream/1 predicate missing check for instantiation error
Paulo Moura
2021-05-12 21:17:11 +01:00
4fd33b015e
Fix subsumes_term/2 predicate to use unify_with_occurs_check/2 instead of (=)/2
Paulo Moura
2021-05-12 20:02:09 +01:00
d2fcdb3b6c
Fix abolish/1 predicate throw of instantiation_error
Paulo Moura
2021-05-12 19:39:20 +01:00
c2fe0876c2
Fix set_stream_position/2 predicate missing argument in exception term
Paulo Moura
2021-05-12 19:32:24 +01:00
39aebd7144
Merge pull request #952 from panasenco/dockerfile
Mark Thom
2021-05-12 11:02:38 -06:00
6a7d0b8c0a
Made rust version in Dockerfile static, this seems to have really fixed the cache issues
panasenco
2021-05-11 22:46:05 -07:00
7b92bee596
Merge pull request #951 from pmoura/add_max_arity_prolog_flag
Mark Thom
2021-05-11 19:22:38 -06:00
f7eda362c7
Add max_arity Prolog flag
Paulo Moura
2021-05-12 00:34:47 +01:00
0fb8459bc1
Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_for_current_prolog_flag
Mark Thom
2021-05-11 16:55:36 -06:00
42d9b57733
Fix querying bounded and integer_rounding_function flag values
Paulo Moura
2021-05-11 12:08:11 +01:00
ebe143d9c9
Merge pull request #946 from pmoura/fix_char_code_predicate_error_term_on_bould_non_atom_first_argument
Mark Thom
2021-05-10 14:42:13 -06:00
8acbdfbf1d
Fix char_code/2 predicate wrong error term when the first argument is bound but is not an atom
Paulo Moura
2021-05-10 21:27:04 +01:00
Mark Thom