Mark Thom
4cde8cd501
fix bug in error_form
2022-01-06 21:44:41 -07:00
Mark Thom
fb4e627e62
fix various partial string bugs (copying using them in arg/3)
2022-01-06 21:44:41 -07:00
Mark Thom
ef3a97cedd
detect attributed variables by properly detecting them in copy_term/2
2022-01-06 21:44:41 -07:00
Mark Thom
1a86ad5cec
upgrade rustyline
2022-01-06 21:44:41 -07:00
Mark Thom
529c401eee
don't allow [] as a stream alias, restore domain error on source sink for open/{3,4}
2022-01-06 21:44:41 -07:00
Mark Thom
a87236fea2
keep cursor position after writing to byte stream
2022-01-06 21:44:41 -07:00
Mark Thom
975c1ca62c
fix stream errors
2022-01-06 21:44:41 -07:00
Mark Thom
d02b9d848c
break from loop upon successful peek in peek_char/1 and peek_code/1
2022-01-06 21:44:41 -07:00
Mark Thom
f340f9ac94
break from loop in get_code upon successful character read
2022-01-06 21:44:41 -07:00
Mark Thom
1b3f290037
throw instantiation error if Arity is a variable in abolish/1
2022-01-06 21:44:41 -07:00
Mark Thom
b551ef315f
use strip module in retract/1, a meta-predicate
2022-01-06 21:44:41 -07:00
Mark Thom
10bb6ab3bb
restore old thread_goals to fix top-level solutions printing bug
2022-01-06 21:44:41 -07:00
Mark Thom
4af57b0dd3
fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr
2022-01-06 21:44:41 -07:00
Mark Thom
bc613eeff9
fix number not recognizing floats
2022-01-06 21:44:41 -07:00
Mark Thom
7507e88406
detect module resolved cut in interpreted (,)
2022-01-06 21:44:41 -07:00
Mark Thom
073f281f1e
fix arg/3 bug
2022-01-06 21:44:41 -07:00
Mark Thom
3355b49724
add bounds check for attributed variables slice
2022-01-06 21:44:41 -07:00
Mark Thom
0e2db4a23e
tag DCG constructs with module names for proper resolution
2022-01-06 21:44:41 -07:00
Mark Thom
addc817cca
break from get_char loop after successful char unification
2022-01-06 21:44:41 -07:00
Mark Thom
a0a86d0f62
unmark cell bits in occurs check
2022-01-06 21:44:41 -07:00
Mark Thom
b24e7cce38
support comparison and unification of cyclic partial strings
2022-01-06 21:44:41 -07:00
Mark Thom
ffd1b7069f
greatly reduce the number of goal expansions done in callable if/then/else
2022-01-06 21:44:41 -07:00
Mark Thom
0404c3bd94
use new heap term representation
2022-01-06 21:44:38 -07:00
Mark Thom
d0b74a95f4
Merge pull request #1156 from mthom/proper_var_list_order_issue_1121
...
Correct order of variables in read_term/3 equation and variable lists
2022-01-06 20:46:59 -07:00
Adrián Arroyo Calle
0288d5dc19
Add ugraphs library
2021-12-31 12:56:24 +01:00
Mark Thom
9d06229cba
create read_term/3 variable lists in order of variable occurrence within terms
2021-12-23 13:31:49 -07:00
Mark Thom
c60ada8421
Merge pull request #1132 from triska/tls_library
...
ADDED: library(tls) for negotiating TLS connections
2021-12-13 19:11:04 -07:00
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
dc5e935ecd
use newly available predicates from library(tls) for HTTPS
2021-12-05 18:16:47 +01:00
Markus Triska
538085169a
ADDED: library(tls), providing all predicates for TLS connections.
...
The currently available predicates for TLS-connections can be extended
with predicates to load and reason about certificates etc.
2021-12-05 18:16:47 +01:00
Markus Triska
7e8a635e7e
implement tls_client_negotiate/3 for explicit negotiation
2021-12-05 17:39:22 +01:00
Markus Triska
74e76b6f97
MODIFIED: Remove TLS-related predicates from library(sockets).
...
They will become available in a new library, library(tls).
2021-12-05 17:39:22 +01: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
Mark Thom