rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,231 Commits 2 Branches 18 Tags
74a1d5cf38ace8d89efec1be23a32fed2c8a071d
Commit Graph

2231 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom
74a1d5cf38 Merge pull request #1141 from triska/layout_text_sequence 
ENHANCED: Support also comments in integers with underscores
 2021-12-13 19:09:37 -07:00
Mark Thom
43532e5322 Merge pull request #1142 from triska/s 
report time with "s" instead of "seconds", in analogy to time(1)
 2021-12-13 19:09:20 -07:00
Mark Thom
68cd1d6631 Merge pull request #1143 from heydtn/patch-1 
Fix typo in abnf_lwsp/2
 2021-12-13 19:04:46 -07:00
Mark Thom
afc18cc390 Merge pull request #1147 from triska/pio_improvements 
ENHANCED: Use newly available fast chars test from library(error).
 2021-12-13 19:04:27 -07:00
Markus Triska
57d15936cb ENHANCED: Use newly available fast chars test from library(error). 2021-12-12 17:43:17 +01:00
Nate Heydt
14406dbf76 Fix typo in abnf_lwsp/2 2021-12-09 07:42:48 -08:00
Markus Triska
12c561cee0 report time with "s" instead of "seconds", in analogy to time(1) 
This addresses https://github.com/mthom/scryer-prolog/pull/1131#issuecomment-988670049 .
 2021-12-08 16:13:54 +01:00
Markus Triska
f79b8a1ca5 ENHANCED: support full layout text sequence (also comments) in integers with underscores 
Example:

    ?- X = 1_/**/2.
    %@    X = 12.

Following the comment in https://github.com/mthom/scryer-prolog/pull/1112#issuecomment-981540485
 2021-12-08 10:42:19 +01:00
Markus Triska
637daa5bda remove redundant test: '\n' is a layout char. 2021-12-08 10:37:37 +01:00
Mark Thom
2eae6b4be7 Merge pull request #1131 from triska/cpu_time 
walltime --> CPU time
 2021-12-07 20:30:00 -07:00
Markus Triska
cb6309d370 walltime --> CPU time 2021-12-05 00:56:16 +01:00
Mark Thom
8065889862 Merge pull request #1129 from triska/tls_servers 
ADDED: Support for creating TLS servers.
 2021-12-04 16:23:43 -07:00
Mark Thom
e7a8950d09 Merge pull request #1124 from triska/test_corrections 
several corrections to test cases
 2021-12-04 16:23:31 -07:00
Mark Thom
88e9dc2177 Merge pull request #1127 from triska/retract_correction 
Correct retract/1 issues due to module qualification
 2021-12-04 16:23:00 -07:00
Mark Thom
2c555c969e Merge pull request #1122 from triska/better_time 
ENHANCED: Better reporting for time/1.
 2021-12-04 16:22:14 -07:00
Markus Triska
77c04c3a14 ADDED: Support for creating TLS servers. 
The new predicates tls_server_context/2 and tls_server_negotiate/3 can
be used to negotiate TLS connections with clients for encrypted and
authenticated communication.
 2021-12-03 16:45:27 +01:00
Markus Triska
48cea6efdf FIXED: retract/1 issues due to module qualification 
This addresses #1125.
 2021-12-01 21:46:12 +01:00
Markus Triska
89a90d9522 ENHANCED: Better reporting for time/1. 
This addresses #378.
 2021-12-01 21:23:00 +01:00
Markus Triska
0026f3fdef use anonymous variable 2021-12-01 20:54:06 +01:00
Markus Triska
ee054fd99c several corrections to test cases 2021-12-01 19:45:36 +01:00
Mark Thom
7abdade7c1 Merge pull request #1120 from triska/char_type_correction 
ENHANCED: Correct type error for char_type/2.
 2021-11-29 19:38:30 -05:00
Markus Triska
79a50de697 ENHANCED: Correct type error for char_type/2. 
This addresses #905.
 2021-11-29 19:33:22 +01:00
Mark Thom
e47aef5615 Merge pull request #1116 from aarroyoc/fix-open-lis 
Allow all kinds of string to be processed in open/4
 2021-11-28 16:18:02 -05:00
Mark Thom
b96ae1bac0 Merge pull request #1119 from mthom/expand_call_goals_as_call_goals 
Expand call goals as call goals so that goals in control constructs are qualified properly
 2021-11-28 16:16:47 -05:00
Mark Thom
7dafcb0860 expand call goals as call goals (#1114) 2021-11-28 10:27:50 -07:00
Mark Thom
5a6a686f42 Merge pull request #1117 from triska/indicate_failed_initialization 
ENHANCED: indicate failed initialization/1 goal
 2021-11-28 11:53:54 -05:00
Mark Thom
b576bb55ef Merge pull request #1115 from triska/get_char_type_test 
ENHANCED: Character type checks for get_char/[1,2].
 2021-11-28 11:53:15 -05:00
Markus Triska
fc8205d375 ENHANCED: indicate failed initialization/1 goal 
This addresses #1109.
 2021-11-28 14:50:42 +01:00
Adrián Arroyo Calle
7eb0669de5 Fix use_module import errors 2021-11-28 13:20:09 +01:00
Adrián Arroyo Calle
86161ccf2a Allow all kinds of string to be processed in open/4 2021-11-28 12:37:16 +01:00
Markus Triska
5e55732cb0 ENHANCED: Character type checks for get_char/[1,2]. 
This addresses #906.
 2021-11-28 10:49:40 +01:00
Mark Thom
a87f0481b8 Merge pull request #1096 from aarroyoc/number_chars_fix 
Prevents panic in some strange cases. Seen in #721
 2021-11-27 22:37:30 -05:00
Mark Thom
c3d61361f8 Merge pull request #1112 from triska/underscores_in_integers 
ENHANCED: Support '_' followed by layout text sequence in integers.
 2021-11-27 20:29:49 -05:00
Mark Thom
a48934e31c Merge pull request #1113 from triska/seq 
Use newly available seq//1 and ... //0 in several libraries
 2021-11-27 20:29:31 -05:00
Mark Thom
ac75f67e2a Merge pull request #1111 from triska/fast_list_test 
Use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2
 2021-11-27 20:29:17 -05:00
Markus Triska
45cfa6c8d8 use seq//1 2021-11-27 16:32:45 +01:00
Markus Triska
25a06b0bea use seq//1 and ... //0 which are now available in library(dcgs) 2021-11-27 16:32:44 +01:00
Markus Triska
91af72e8b1 use seq//1 2021-11-27 16:17:45 +01:00
Markus Triska
fd9b354c70 use seq//1 which is now available in library(dcgs) 2021-11-27 16:17:15 +01:00
Markus Triska
1647e67dd4 ENHANCED: Support '_' followed by layout text sequence in integers. 
This is handy for writing large integers, for example in cryptographic
applications.

This addresses #994.

Examples:

    ?- X = 1_000_000.
    %@    X = 1000000.

    ?- X = 1_
    000_
    000.
    %@    X = 1000000.
 2021-11-27 10:09:39 +01:00
Markus Triska
803e120a51 use must_be(list, ...) earlier, since it is now faster 2021-11-26 17:11:51 +01:00
Markus Triska
6ba374c62b ENHANCED: use '$skip_max_list'/4 for fast list tests in can_be/2 and must_be/2 
This also (partially) addresses #1108.
 2021-11-26 17:11:35 +01:00
Mark Thom
ca28f24e42 Merge pull request #1107 from triska/fast_chars_test 
New type tests: must_be(chars, ...) and can_be(chars, ...)
 2021-11-25 19:01:03 -05:00
Markus Triska
0d4c38138a use newly available must_be(chars, ...) for fast string tests 2021-11-22 20:00:06 +01:00
Markus Triska
fe291e90f0 use newly available must_be(chars, ...) for fast string tests 2021-11-22 19:58:36 +01:00
Markus Triska
220e1e8d83 ADDED: must_be(chars, ...) and can_be(chars, ...) for string tests. 
Internal features of Scryer Prolog are used to make these tests fast.
 2021-11-22 19:55:34 +01:00
Mark Thom
2c0fb3adb0 Merge pull request #1098 from triska/format_improvements 
Various smaller improvements to library(format)
 2021-11-21 15:28:32 -05:00
Mark Thom
b851eefb03 Merge pull request #1099 from aarroyoc/uninstantiation_error-missing 
Fix uninstantiation_error missing. Fix #1031
 2021-11-21 15:27:38 -05:00
Mark Thom
eaad2d8b1f Merge pull request #1100 from aarroyoc/phrase-to-file-options 
Add phrase_to_file/3 (phrase_to_file with Options)
 2021-11-21 15:27:17 -05:00
Mark Thom
575d235296 Merge pull request #1102 from triska/meta_predicate_corrections 
Meta predicate corrections
 2021-11-21 15:27:03 -05:00