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

Commit Graph

  • b24e7cce38 support comparison and unification of cyclic partial strings Mark Thom 2021-11-17 23:29:23 -07:00
  • ffd1b7069f greatly reduce the number of goal expansions done in callable if/then/else Mark Thom 2021-11-15 21:27:42 -07:00
  • 0404c3bd94 use new heap term representation Mark Thom 2021-11-14 13:39:56 -07:00
  • d0b74a95f4 Merge pull request #1156 from mthom/proper_var_list_order_issue_1121 Mark Thom 2022-01-06 20:46:59 -07:00
  • 0288d5dc19 Add ugraphs library Adrián Arroyo Calle 2021-12-31 12:56:24 +01:00
  • 9d06229cba create read_term/3 variable lists in order of variable occurrence within terms Mark Thom 2021-12-23 13:31:49 -07:00
  • c60ada8421 Merge pull request #1132 from triska/tls_library Mark Thom 2021-12-13 19:11:04 -07:00
  • 74a1d5cf38 Merge pull request #1141 from triska/layout_text_sequence Mark Thom 2021-12-13 19:09:37 -07:00
  • 43532e5322 Merge pull request #1142 from triska/s Mark Thom 2021-12-13 19:09:20 -07:00
  • 68cd1d6631 Merge pull request #1143 from heydtn/patch-1 Mark Thom 2021-12-13 19:04:46 -07:00
  • afc18cc390 Merge pull request #1147 from triska/pio_improvements Mark Thom 2021-12-13 19:04:27 -07:00
  • 57d15936cb ENHANCED: Use newly available fast chars test from library(error). Markus Triska 2021-12-12 17:37:59 +01:00
  • 14406dbf76 Fix typo in abnf_lwsp/2 Nate Heydt 2021-12-09 07:33:42 -08:00
  • 12c561cee0 report time with "s" instead of "seconds", in analogy to time(1) Markus Triska 2021-12-08 16:13:54 +01:00
  • f79b8a1ca5 ENHANCED: support full layout text sequence (also comments) in integers with underscores Markus Triska 2021-12-08 10:42:19 +01:00
  • 637daa5bda remove redundant test: '\n' is a layout char. Markus Triska 2021-12-08 10:37:37 +01:00
  • 2eae6b4be7 Merge pull request #1131 from triska/cpu_time Mark Thom 2021-12-07 20:30:00 -07:00
  • dc5e935ecd use newly available predicates from library(tls) for HTTPS Markus Triska 2021-12-05 17:28:00 +01:00
  • 538085169a ADDED: library(tls), providing all predicates for TLS connections. Markus Triska 2021-12-05 16:46:52 +01:00
  • 7e8a635e7e implement tls_client_negotiate/3 for explicit negotiation Markus Triska 2021-12-05 17:11:38 +01:00
  • 74e76b6f97 MODIFIED: Remove TLS-related predicates from library(sockets). Markus Triska 2021-12-05 16:33:44 +01:00
  • cb6309d370 walltime --> CPU time Markus Triska 2021-12-05 00:56:16 +01:00
  • 8065889862 Merge pull request #1129 from triska/tls_servers Mark Thom 2021-12-04 16:23:43 -07:00
  • e7a8950d09 Merge pull request #1124 from triska/test_corrections Mark Thom 2021-12-04 16:23:31 -07:00
  • 88e9dc2177 Merge pull request #1127 from triska/retract_correction Mark Thom 2021-12-04 16:23:00 -07:00
  • 2c555c969e Merge pull request #1122 from triska/better_time Mark Thom 2021-12-04 16:22:14 -07:00
  • 77c04c3a14 ADDED: Support for creating TLS servers. Markus Triska 2021-12-02 22:10:04 +01:00
  • 48cea6efdf FIXED: retract/1 issues due to module qualification Markus Triska 2021-12-01 20:58:38 +01:00
  • 89a90d9522 ENHANCED: Better reporting for time/1. Markus Triska 2021-11-30 19:20:29 +01:00
  • 0026f3fdef use anonymous variable Markus Triska 2021-12-01 20:54:06 +01:00
  • ee054fd99c several corrections to test cases Markus Triska 2021-12-01 19:43:15 +01:00
  • 7abdade7c1 Merge pull request #1120 from triska/char_type_correction Mark Thom 2021-11-29 19:38:30 -05:00
  • 79a50de697 ENHANCED: Correct type error for char_type/2. Markus Triska 2021-11-29 19:32:55 +01:00
  • e47aef5615 Merge pull request #1116 from aarroyoc/fix-open-lis Mark Thom 2021-11-28 16:18:02 -05:00
  • b96ae1bac0 Merge pull request #1119 from mthom/expand_call_goals_as_call_goals Mark Thom 2021-11-28 16:16:47 -05:00
  • 7dafcb0860 expand call goals as call goals (#1114) Mark Thom 2021-11-28 10:27:50 -07:00
  • 5a6a686f42 Merge pull request #1117 from triska/indicate_failed_initialization Mark Thom 2021-11-28 11:53:54 -05:00
  • b576bb55ef Merge pull request #1115 from triska/get_char_type_test Mark Thom 2021-11-28 11:53:15 -05:00
  • fc8205d375 ENHANCED: indicate failed initialization/1 goal Markus Triska 2021-11-28 14:47:25 +01:00
  • 7eb0669de5 Fix use_module import errors Adrián Arroyo Calle 2021-11-28 13:20:09 +01:00
  • 86161ccf2a Allow all kinds of string to be processed in open/4 Adrián Arroyo Calle 2021-11-28 12:37:16 +01:00
  • 5e55732cb0 ENHANCED: Character type checks for get_char/[1,2]. Markus Triska 2021-11-28 10:49:40 +01:00
  • a87f0481b8 Merge pull request #1096 from aarroyoc/number_chars_fix Mark Thom 2021-11-27 22:37:30 -05:00
  • c3d61361f8 Merge pull request #1112 from triska/underscores_in_integers Mark Thom 2021-11-27 20:29:49 -05:00
  • a48934e31c Merge pull request #1113 from triska/seq Mark Thom 2021-11-27 20:29:31 -05:00
  • ac75f67e2a Merge pull request #1111 from triska/fast_list_test Mark Thom 2021-11-27 20:29:17 -05:00
  • 45cfa6c8d8 use seq//1 Markus Triska 2021-11-27 16:20:24 +01:00
  • 25a06b0bea use seq//1 and ... //0 which are now available in library(dcgs) Markus Triska 2021-11-27 16:19:16 +01:00
  • 91af72e8b1 use seq//1 Markus Triska 2021-11-27 16:17:45 +01:00
  • fd9b354c70 use seq//1 which is now available in library(dcgs) Markus Triska 2021-11-27 16:17:15 +01:00
  • 1647e67dd4 ENHANCED: Support '_' followed by layout text sequence in integers. Markus Triska 2021-11-27 09:11:41 +01:00
  • 803e120a51 use must_be(list, ...) earlier, since it is now faster Markus Triska 2021-11-26 17:11:51 +01:00
  • 6ba374c62b ENHANCED: use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2 Markus Triska 2021-11-26 17:11:35 +01:00
  • ca28f24e42 Merge pull request #1107 from triska/fast_chars_test Mark Thom 2021-11-25 19:01:03 -05:00
  • 0d4c38138a use newly available must_be(chars, ...) for fast string tests Markus Triska 2021-11-22 20:00:06 +01:00
  • fe291e90f0 use newly available must_be(chars, ...) for fast string tests Markus Triska 2021-11-22 19:58:36 +01:00
  • 220e1e8d83 ADDED: must_be(chars, ...) and can_be(chars, ...) for string tests. Markus Triska 2021-11-22 19:55:34 +01:00
  • 2c0fb3adb0 Merge pull request #1098 from triska/format_improvements Mark Thom 2021-11-21 15:28:32 -05:00
  • b851eefb03 Merge pull request #1099 from aarroyoc/uninstantiation_error-missing Mark Thom 2021-11-21 15:27:38 -05:00
  • eaad2d8b1f Merge pull request #1100 from aarroyoc/phrase-to-file-options Mark Thom 2021-11-21 15:27:17 -05:00
  • 575d235296 Merge pull request #1102 from triska/meta_predicate_corrections Mark Thom 2021-11-21 15:27:03 -05:00
  • faf74519dc use round brackets for meta_predicate/1 declaration Markus Triska 2021-11-20 22:43:53 +01:00
  • 66becaf91c FIXED: meta_predicate/1 declaration of cond_t/3. Markus Triska 2021-11-20 22:43:33 +01:00
  • 6610ba67c4 FIXED: meta_predicate/1 declaration of (',')/3 and (;)/3. Markus Triska 2021-11-20 22:43:07 +01:00
  • e05dd5ebb5 FIXED: meta_predicate/1 declaration for tfilter/3. Markus Triska 2021-11-20 22:39:38 +01:00
  • cf77f29988 FIXED: meta_predicate/1 declaration for tmember_t/3. Markus Triska 2021-11-20 22:38:27 +01:00
  • 2be8ed886b FIXED: meta_predicate/1 declaration for tmember/2. Markus Triska 2021-11-20 22:37:59 +01:00
  • 21e5b0ab52 FIXED: meta_predicate/1 declaration for tpartition/4. Markus Triska 2021-11-20 22:37:31 +01:00
  • d72cb74ffa mention phrase_to_file/3 which is being prepared in #1100 Markus Triska 2021-11-17 21:33:15 +01:00
  • 3c988d555f 'f' --> f Markus Triska 2021-11-16 23:45:45 +01:00
  • 5981a65cc2 better layout Markus Triska 2021-11-16 18:41:43 +01:00
  • 9900762747 use newly available seq//1 from library(dcgs) Markus Triska 2021-11-16 18:31:18 +01:00
  • 0db2ca6659 Fix mistake in phrase_to_file/2 definition Adrián Arroyo Calle 2021-11-17 08:36:39 +01:00
  • 8e68626f14 Add phrase_to_file/3 (phrase_to_file with Options) Adrián Arroyo Calle 2021-11-16 23:54:04 +01:00
  • 72a88d1f91 Fix uninstantiation_error missing. Fix #1031 Adrián Arroyo Calle 2021-11-16 23:22:24 +01:00
  • bd75e9c184 more elegant solution for parsing numeric arguments, using a DCG Markus Triska 2021-11-16 18:25:35 +01:00
  • 23df16ecf9 mention the format("~s", [Ls]) pattern and new library(pio) predicates Markus Triska 2021-11-16 18:20:58 +01:00
  • 387732d2f9 Prevents panic in some strange cases. Seen in #721 Adrián Arroyo Calle 2021-11-15 00:17:40 +01:00
  • 75b01d5021 Merge pull request #1082 from pmoura/fix_format_predicates_missing_numbervars_option_on_w_and_q_formats Mark Thom 2021-11-13 00:05:26 -05:00
  • b7fa5db570 Merge pull request #1087 from Skgland/fix_beta_check Mark Thom 2021-11-13 00:04:51 -05:00
  • 297f126f66 Merge pull request #1078 from triska/pio_improvements Mark Thom 2021-11-13 00:03:57 -05:00
  • bd6400f17f Merge pull request #1086 from Skgland/pass_-f_flag_in_cargo_test Mark Thom 2021-11-13 00:03:38 -05:00
  • 21e55023a4 Merge pull request #1088 from triska/call_nth_metapredicate Mark Thom 2021-11-13 00:03:26 -05:00
  • 49e024bdd8 remove unused fields instead, prompting more dead_code removal Skgland 2021-11-11 19:32:35 +01:00
  • 57877107d8 use functional notation for all meta_predicate/1 directives Markus Triska 2021-11-11 19:29:32 +01:00
  • e9b4a99c8f FIXED: meta_predicate/1 directive for call_nth/2. Markus Triska 2021-11-11 19:26:27 +01:00
  • 7bc4876071 fix failing lint warnings in beta build Skgland 2021-11-11 18:53:08 +01:00
  • e7899ee15e pass -f to scryer-prolog in cargo test so that we ignore .scryerrc Skgland 2021-11-11 11:36:54 +01:00
  • 7ea20d9ce9 Fix the format/2-3 predicates missing the numbervars(true) option in the ~w and ~q formats Paulo Moura 2021-11-08 22:00:02 +00:00
  • 3045f327d5 FIXED: instantiation errors for alias(Var) in open/4 options Markus Triska 2021-11-08 22:41:04 +01:00
  • 2d1f182c49 FIXED: instantiation errors for type(Var) in open/4 options Markus Triska 2021-11-08 22:10:14 +01:00
  • 0677f51717 add motivation and comments about library(pio) predicates Markus Triska 2021-11-08 21:48:50 +01:00
  • a9bfeb0e96 use newly available library predicate read_n_chars/3 Markus Triska 2021-11-08 21:43:45 +01:00
  • c44d27fb7f mention pure output predicates in the README Markus Triska 2021-11-08 20:29:39 +01:00
  • a0a01b8ba7 ADDED: library(format): DCG nonterminal portray_clause_//1, in analogy to format_//2. Markus Triska 2021-11-07 17:11:00 +01:00
  • e32215e19a express format/3 and portray_clause/2 in terms of phrase_to_stream/2 Markus Triska 2021-11-07 17:06:56 +01:00
  • 893fb0e3cc ADDED: phrase_to_stream/2, writing a list of characters to a stream. Markus Triska 2021-11-07 17:02:41 +01:00
  • 1d2a838717 Merge pull request #1077 from pmoura/fix_get_code_predicates_at_end_of_file Mark Thom 2021-11-07 09:40:29 -05:00
  • 8457a19792 Merge pull request #1071 from triska/read_n_chars Mark Thom 2021-11-07 09:40:03 -05:00
  • 0b2638b201 Merge pull request #1070 from triska/open_stream Mark Thom 2021-11-07 09:39:41 -05:00