rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 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