Mark Thom
|
573df892bc
|
cleanup on reading predicates, add get_char/{1,2}
|
2020-05-05 16:54:40 -06:00 |
|
Mark Thom
|
bfced59949
|
clean up stream error handling, add get_byte/{1,2}
|
2020-05-05 16:09:17 -06:00 |
|
Mark Thom
|
9a63b1751b
|
change EOFCode eof_action from end_of_stream to end_of_file, add echo_server.pl example
|
2020-05-05 14:15:16 -06:00 |
|
Mark Thom
|
53ae8b9bd1
|
add flush_output/{0,1}, past_end_of_stream
|
2020-05-05 14:10:49 -06:00 |
|
Mark Thom
|
bf3cc5a367
|
Merge pull request #460 from notoria/get_single_char
Fixed ctrl-c issue with get_single_char/1
|
2020-05-05 14:10:24 -03:00 |
|
notoria
|
ac00bc6b70
|
Fixed ctrl-c issue with get_single_char/1
|
2020-05-05 18:47:00 +02:00 |
|
Mark Thom
|
ab62603c5a
|
add close/{1,2}, better EOF action handling in read_term
|
2020-05-05 00:38:21 -06:00 |
|
Mark Thom
|
dd247cd541
|
adapt write_term family, add handling for EOF actions.
|
2020-05-04 21:17:06 -06:00 |
|
Mark Thom
|
0d7a9f32d6
|
add open/3, write_term/3
|
2020-05-04 14:50:26 -06:00 |
|
Mark Thom
|
0d85ef4404
|
Merge pull request #453 from triska/master
disable goal expansion until #445 is resolved
|
2020-05-04 14:32:26 -03:00 |
|
Mark Thom
|
8e9273a96a
|
test
|
2020-05-04 11:18:13 -06:00 |
|
Markus Triska
|
2dfdaaa4ba
|
disable goal expansion until #445 is resolved
|
2020-05-04 18:55:52 +02:00 |
|
Mark Thom
|
407094cdcb
|
merge
|
2020-05-03 23:36:26 -06:00 |
|
Mark Thom
|
0111db6744
|
improve answer substitutions at top-level
|
2020-05-03 23:35:21 -06:00 |
|
Mark Thom
|
a49230c0e1
|
Merge branch 'master' into sockets-develop
|
2020-05-03 23:09:13 -06:00 |
|
Mark Thom
|
d04abc2021
|
improve answer substitutions at top-level
|
2020-05-03 23:08:53 -06:00 |
|
Mark Thom
|
b5368207d6
|
merge with master
|
2020-05-03 18:49:15 -06:00 |
|
Mark Thom
|
b8400e0c92
|
make term{_attributed_}variables/2 order {attributed} variables by left-to-right occurrence
|
2020-05-03 18:43:23 -06:00 |
|
Mark Thom
|
ef6b6cd279
|
Merge pull request #450 from triska/master
do not project queue/2 attributes to residual goals
|
2020-05-03 20:34:47 -03:00 |
|
Mark Thom
|
e5903d8d6e
|
use select/3 in gather_equations for detecting whether variables are distinct.
|
2020-05-03 20:31:12 -06:00 |
|
Mark Thom
|
e2a3db1b82
|
use copy_term/3 as source of attribute goals
|
2020-05-03 19:34:18 -06:00 |
|
Mark Thom
|
9e220e8416
|
restore previous focus upon character match failure in compare_pstr_to_string (#441)
|
2020-05-03 17:03:59 -06:00 |
|
Markus Triska
|
605c233753
|
do not project queue/2 attributes to residual goals
|
2020-05-04 00:54:43 +02:00 |
|
Mark Thom
|
aafe18c2b5
|
Merge pull request #449 from notoria/read
Completed read/1, ctrl-d is end_of_file
|
2020-05-03 15:27:46 -03:00 |
|
Mark Thom
|
262e8af813
|
version bump for prolog_parser
|
2020-05-03 13:46:34 -06:00 |
|
notoria
|
75aa4ce8a0
|
Completed read/1, ctrl-d is end_of_file
|
2020-05-03 19:54:17 +02:00 |
|
Mark Thom
|
a494cdaf92
|
use complete strings in FileToChars (#430)
|
2020-05-03 02:54:49 -06:00 |
|
Mark Thom
|
848425418b
|
Project goals of query variables (#362)
|
2020-05-02 22:27:32 -06:00 |
|
Mark Thom
|
989bed88fe
|
wrap support code in modules
|
2020-05-02 21:26:36 -06:00 |
|
Mark Thom
|
99f66200f7
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-05-02 18:47:53 -06:00 |
|
Mark Thom
|
b642bd2cfd
|
add term_attributed_variables/2 (#422)
|
2020-05-02 18:46:29 -06:00 |
|
Mark Thom
|
c062b7c9da
|
Merge pull request #443 from notoria/arithmetic
Implemented expmod/4
|
2020-05-02 12:00:44 -03:00 |
|
notoria
|
7df7901532
|
Implemented expmod/4
|
2020-05-02 14:56:07 +02:00 |
|
Mark Thom
|
9dabce819a
|
remove now unnecessary dependencies, correct ordering of ! in (;)/3
|
2020-05-01 23:38:44 -03:00 |
|
Mark Thom
|
a019109857
|
Merge pull request #440 from notoria/arithmetic
Enhanced number_to_rational/2 and number_to_rational/3
|
2020-05-01 21:48:55 -03:00 |
|
Mark Thom
|
46cdf14ecc
|
Merge pull request #439 from notoria/cli2
Enhanced command line?
|
2020-05-01 21:45:03 -03:00 |
|
Mark Thom
|
fd5ff20b68
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-05-01 21:40:45 -06:00 |
|
Mark Thom
|
81f9666e82
|
cut after compound check in (;)/2 only after semicolon_compound_selector succeeds
|
2020-05-01 21:40:36 -06:00 |
|
Mark Thom
|
aa8659d5c7
|
insert cuts where needed into (;)/3 (#434)
|
2020-05-01 18:52:01 -06:00 |
|
notoria
|
9df2df0f9f
|
Enhanced number_to_rational/2 and number_to_rational/3
|
2020-05-02 02:36:23 +02:00 |
|
notoria
|
98d38d763b
|
Added $scryer_prolog_version/1
|
2020-05-02 02:19:22 +02:00 |
|
notoria
|
319a4622b3
|
Enhanced command line
|
2020-05-02 01:02:06 +02:00 |
|
Mark Thom
|
59b4c6dacb
|
Merge pull request #437 from triska/master
use ℤ
|
2020-05-01 19:08:45 -03:00 |
|
Markus Triska
|
ec6d725587
|
use ℤ
This is now possible thanks to the great contribution by @matt2xu.
Many thanks!
|
2020-05-02 00:06:16 +02:00 |
|
Mark Thom
|
6f19649186
|
Merge pull request #436 from mthom/revert-419-cli
Revert "Enhanced command line"
|
2020-05-01 18:43:37 -03:00 |
|
Mark Thom
|
6a583b9b5b
|
Revert "Enhanced command line"
|
2020-05-01 15:43:20 -06:00 |
|
Mark Thom
|
6617b79cd8
|
Merge pull request #419 from notoria/cli
Enhanced command line
|
2020-05-01 18:32:02 -03:00 |
|
Mark Thom
|
46b695d093
|
accept any and all characters in comment chars
|
2020-05-01 16:39:27 -06:00 |
|
notoria
|
de8a017e80
|
Enhanced command line #2
|
2020-05-01 18:52:41 +02:00 |
|
Mark Thom
|
b71ec91f57
|
Merge pull request #432 from triska/master
correct overeager CLP(ℤ) goal expansion
|
2020-05-01 13:41:43 -03:00 |
|