 Mark Thom
|
4f288c6fd9
|
Merge pull request #587 from triska/lazy_pio
ENHANCED: phrase_from_file/[2,3] now read the file lazily.
|
2020-06-12 11:24:52 -03:00 |
|
|
Mark Thom
|
c82a0b3d2d
|
Merge pull request #582 from triska/format_time
ADDED: format_time//2 for describing strings involving dates and times
|
2020-06-10 20:21:44 -03:00 |
|
|
Mark Thom
|
9331c4ce9e
|
Merge pull request #579 from triska/master
ENHANCED: throw Prolog exception on expired certificates
|
2020-06-09 18:56:29 -03:00 |
|
|
Mark Thom
|
d67740d44d
|
Merge pull request #577 from triska/tls
ADDED: Encrypted client connections in library(sockets) via new option tls/1.
|
2020-06-09 10:56:17 -03:00 |
|
|
Mark Thom
|
5d91c1af81
|
Merge pull request #578 from triska/format_improvements
Various improvements for format_//2
|
2020-06-07 19:36:16 -03:00 |
|
|
Mark Thom
|
bb013e78d2
|
Merge pull request #576 from triska/crypto_curve_scalar_mult
ENHANCED: Faster Rust-based crypto_curve_scalar_mult/4 using OpenSSL.
|
2020-06-07 19:34:12 -03:00 |
|
|
Mark Thom
|
e00d864199
|
Revert "Created and Tested Dockerfile"
|
2020-05-19 11:59:06 -06:00 |
|
|
Mark Thom
|
9dabce819a
|
remove now unnecessary dependencies, correct ordering of ! in (;)/3
|
2020-05-01 23:38:44 -03:00 |
|
|
Mark Thom
|
6a583b9b5b
|
Revert "Enhanced command line"
|
2020-05-01 15:43:20 -06:00 |
|
|
Mark Thom
|
dd4832e40b
|
add ordsets.pl to README
|
2020-04-29 18:42:17 -03:00 |
|
|
Mark Thom
|
2df4083602
|
use select to filter variable lists when printing equations of two variables
|
2020-04-29 11:05:10 -03:00 |
|
|
Mark Thom
|
2495fb796d
|
select variable names in write_eq based on whether RHS is a variable (#326)
|
2020-04-29 10:56:17 -03:00 |
|
|
Mark Thom
|
6299d41cda
|
mark clp(X) item as completed, restore clp(Z) library description
|
2020-04-05 21:26:27 -03:00 |
|
|
Mark Thom
|
85e37a9977
|
implement less defaulty interface in cont.pl
|
2019-12-23 12:19:18 -07:00 |
|
|
Mark Thom
|
dded56af78
|
remove l* languages
|
2019-12-23 11:49:20 -07:00 |
|
|
Mark Thom
|
3bf1cbbe6c
|
push of preliminary delimited continuations library cont.pl (#136)
|
2019-12-20 22:27:49 -07:00 |
|
|
Mark Thom
|
4ef8ab6e76
|
merge with master
|
2019-12-19 20:04:30 -04:00 |
|
|
Mark Thom
|
837ae4cb17
|
preliminary cont work
|
2019-12-19 20:02:10 -04:00 |
|
|
Mark Thom
|
3d2c4f0801
|
add backtracking of attributed variable data
|
2019-12-06 20:52:40 -04:00 |
|
|
Mark Thom
|
5ccd334555
|
resolve panic caused by lingering attribute goals (#253)
|
2019-12-06 15:22:28 -04:00 |
|
|
Mark Thom
|
90e1c990e5
|
print equations between variables (#228, #252)
|
2019-12-06 10:30:16 -04:00 |
|
|
Mark Thom
|
607673ddcb
|
Merge branch 'master' of https://github.com/mthom/scryer-prolog
|
2019-12-02 17:06:28 -04:00 |
|
|
Mark Thom
|
fc8e55c582
|
correct copying of cyclic lists in copier.rs
|
2019-12-02 17:06:12 -04:00 |
|
|
Mark Thom
|
3e49db1a29
|
backtrack attributed variable bindings after failure (#242)
|
2019-11-29 13:47:22 -04:00 |
|
|
Mark Thom
|
2d719ab6b7
|
create a list of module-prefixed goals in copy_term/3
|
2019-11-29 10:59:20 -04:00 |
|
|
Mark Thom
|
f998d6a99f
|
merge latest commit
|
2019-11-28 21:22:59 -04:00 |
|
|
Mark Thom
|
5723edd765
|
unsafe stack transition
|
2019-11-28 21:22:03 -04:00 |
|
|
Mark Thom
|
9ae901bd0d
|
terms containing attributed variables are not ground (#239)
|
2019-11-27 14:13:18 -04:00 |
|
|
Mark Thom
|
d9d77b3022
|
Merge branch 'master' of https://github.com/mthom/scryer-prolog
|
2019-11-21 16:26:13 -04:00 |
|
|
Mark Thom
|
b31b23e41c
|
add conditional bracketing to equations printed by toplevel
|
2019-11-21 16:26:00 -04:00 |
|
|
Mark Thom
|
f82c6f3fed
|
avoid overwriting IndexPtr's for clauses already declared dynamic (#227)
|
2019-11-20 10:50:33 -04:00 |
|
|
Mark Thom
|
17f9695ab2
|
remove tests.rs module from main.rs
|
2019-11-19 10:13:59 -04:00 |
|
|
Mark Thom
|
6f9477f0bb
|
rollback changes in snapshot handling
|
2019-11-17 21:07:16 -04:00 |
|
|
Mark Thom
|
de88fdc4dc
|
correct failure to observe last call position in queries'
|
2019-11-17 20:18:11 -04:00 |
|
|
Mark Thom
|
c219d9ad5f
|
Merge branch 'master' of https://github.com/mthom/scryer-prolog
|
2019-11-16 19:53:29 -04:00 |
|
|
Mark Thom
|
15927d7054
|
transition to unsafe and/or stack
|
2019-11-16 19:51:53 -04:00 |
|
|
Mark Thom
|
42a3bdc357
|
eliminate lingering attribute goals
|
2019-10-16 11:38:33 -03:00 |
|
|
Mark Thom
|
b6a2e26a4f
|
bump toml version number to package clpb on crates
|
2019-10-16 09:59:41 -03:00 |
|
|
Mark Thom
|
f898b98b06
|
copy terms to global variable blackboard, fix attribute_goals//1
|
2019-10-09 14:11:31 -06:00 |
|
|
Mark Thom
|
3409db010f
|
fix several issues with goal expansion, crashing after attribute_goals is called
|
2019-10-08 12:28:23 -06:00 |
|
|
Mark Thom
|
673fb31ae2
|
update prolog_parser to v0.8.33
|
2019-10-06 12:02:47 -06:00 |
|
|
Mark Thom
|
93d1cd1b09
|
implement DCGs using the logical expansion of the draft proposal
|
2019-10-05 00:17:57 -06:00 |
|
|
Mark Thom
|
3fa168d35b
|
fixes for issues #185 and #181
|
2019-10-04 20:03:03 -06:00 |
|
|
Mark Thom
|
1569cac98f
|
correct dcg handling of cuts
|
2019-10-04 15:41:48 -06:00 |
|
|
Mark Thom
|
d4f9d18149
|
print errors with line numbers in GNU style
|
2019-10-04 15:32:26 -06:00 |
|
|
Mark Thom
|
caeff99f69
|
perform singleton variable scans on top level terms only
|
2019-10-04 10:38:45 -06:00 |
|
|
Mark Thom
|
0a84f183fe
|
make attribute_goals a nonterminal
|
2019-10-03 23:29:18 -06:00 |
|
|
Mark Thom
|
b61ed65208
|
fix goal expansion in disjunctions, add warnings for singleton variables
|
2019-10-03 22:13:34 -06:00 |
|
|
Mark Thom
|
02d1ed237f
|
don't add default index for dynamic predicates unless defined at toplevel
|
2019-10-02 22:30:00 -06:00 |
|
|
Mark Thom
|
a2655864c6
|
update version
|
2019-10-02 22:13:31 -06:00 |
|
|
Mark Thom
|
516c66a47d
|
properly handle undefined predicates declared dynamic
|
2019-10-02 22:01:32 -06:00 |
|
|
Mark Thom
|
04bc8ec084
|
print attributes of variables when attribute_goals/2 is not defined
|
2019-10-02 17:01:03 -06:00 |
|
|
Mark Thom
|
a623061a1a
|
correct handling of ! in phrase/{2,3}, get rid of extraneous choice points in put_atts/2 and get_atts/2, allow loading of non-module files from the command line and use_module/{2,3}
|
2019-10-02 15:51:48 -06:00 |
|
|
Mark Thom
|
ccd3dfb436
|
properly expand goals in initialization directives
|
2019-10-02 15:09:34 -06:00 |
|
|
Mark Thom
|
b12ba338df
|
remove readline_compat_rs reference from README
|
2019-10-02 11:33:28 -06:00 |
|
|
Mark Thom
|
239ffb205b
|
expand goals in initialization directives.
|
2019-10-01 23:25:17 -06:00 |
|
|
Mark Thom
|
c0ad3231f5
|
eliminate extraneous choice point in $get_attr
|
2019-10-01 22:36:46 -06:00 |
|
|
Mark Thom
|
5ec4dfedb0
|
target out_dir in build script
|
2019-09-27 00:05:19 -06:00 |
|
|
Mark Thom
|
9a83ccbdbc
|
make *.pl files in src/prolog/lib available from libraries.rs
|
2019-09-26 23:10:04 -06:00 |
|
|
Mark Thom
|
2c1c1b7d12
|
migrate to rustyline, add history support
|
2019-09-26 11:25:05 -06:00 |
|
|
Mark Thom
|
737acb7cde
|
ignore single line comments after end token read
|
2019-09-25 22:40:31 -06:00 |
|
|
Mark Thom
|
cefcf916c3
|
slight formatting changes
|
2019-09-03 10:10:51 -04:00 |
|
|
Mark Thom
|
2c880b2bc0
|
address issues #143, #150, #155
|
2019-09-02 16:53:31 -04:00 |
|
|
Mark Jordan Thom
|
460a4edadc
|
update to reflect name change
|
2019-03-06 16:37:58 +00:00 |
|