Mark Thom
15d18484e3
version bump
2020-04-13 11:17:50 -06:00
Mark Thom
4ca7ac4851
use prolog_parser 0.8.50 ( #336 )
2020-04-13 00:32:41 -06:00
Mark Thom
7678858bab
update Cargo.lock
2020-04-12 22:01:59 -06:00
Mark Thom
560298655b
consolidate Cargo.lock
2020-04-05 20:34:49 -06:00
Mark Thom
4086df27b2
merge with master
2020-04-05 20:33:45 -06:00
Mark Thom
d76ae413c4
use fixnums in place of bignums where possible
2020-04-05 20:32:16 -06:00
Mark Thom
141f3bcec3
harmonize partial strings with complete strings ( #276 ), make Addr a copyable type
2020-04-03 10:22:46 -06:00
Stephan Renatus
896f2aeb74
main: add -v/--version flag
...
Added a new dependency to take care of pulling in the version from git
at build time.
Args handling is minimalistic, but there wasn't any before, so I figured
this might do for now. (Eventually, some proper `--help` and usage
output might come in handy?)
Signed-off-by: Stephan Renatus <srenatus@chef.io >
2020-03-27 19:59:50 +01:00
Mark Thom
194e5dc94e
initial commit for merge
2020-03-26 22:01:23 -06:00
Mark Thom
4c88e97330
add current_output, printing of stream terms
2020-03-11 00:38:01 -06:00
Mark Thom
22bb3fe876
replace termion with crossterm
2020-03-08 18:01:54 -06:00
Mark Thom
eee10d3ee7
fix broken conformity tests, quote left paren
2020-03-08 16:49:47 -06:00
Mark Thom
aa5f186a96
allow set_prolog_flag in declarations
2020-02-28 21:42:22 -07:00
Mark Thom
8ba92d8b99
update prolog_parser version, allow ('|') operator in DCGs ( #274 )
2020-02-23 13:16:14 -07:00
Mark Thom
424af312e5
update Cargo.lock and toml version
2020-02-19 21:42:39 -07:00
Mark Thom
969bd8f82c
remove partial strings, but represent strings as lists when warranted by double_quotes
2020-02-12 22:12:42 -07:00
Mark Thom
0be8abd38c
print extended characters recently added to alpha char set
2020-02-04 23:39:49 -07:00
Mark Thom
b71e8082d2
prolog_parser version bump
2020-02-04 23:35:03 -07:00
Mark Thom
034af296ff
recommit Cargo.lock
2020-02-04 17:49:20 -07:00
Mark Thom
62b41ddb93
remove tabling/SLG resolution from nice-to-have list
2020-02-02 22:34:54 -07:00
Mark Thom
740bd528c4
add multifile and module scoped predicates
2020-02-02 22:13:14 -07:00
Mark Thom
85e37a9977
implement less defaulty interface in cont.pl
2019-12-23 12:19:18 -07:00
Mark Thom
3bf1cbbe6c
push of preliminary delimited continuations library cont.pl ( #136 )
2019-12-20 22:27:49 -07:00
Mark Thom
7eb0de7f52
preserve heap contents in between goal expansions ( #240 , #241 )
2019-11-28 00:45:13 -07:00
Marco A L Barbosa
37ff4a821c
Add feature num to use num crate in place of rug.
2019-11-20 17:51:08 -03:00
Mark Thom
f82c6f3fed
avoid overwriting IndexPtr's for clauses already declared dynamic ( #227 )
2019-11-20 10:50:33 -04:00
Mark Thom
2b625b1094
commit Cargo.lock
2019-11-19 20:08:52 -07:00
Mark Thom
fd703c3610
make toplevel more consistent with answers, depend on readline package without renaming.
2019-03-17 17:49:51 -06:00
Mark Thom
4cefd35eb4
add rename-dependencies to Cargo manifest
2019-03-17 15:25:55 -06:00
Mark Thom
840b98dcf3
update readline.rs version
2019-03-17 15:22:31 -06:00
Mark Thom
2927387a66
use the updated readline.rs
2019-03-17 15:01:10 -06:00
Mark Thom
4a7cd50e4b
use new readline crate
2019-03-17 14:50:57 -06:00
Mark Thom
2fad1c724c
use the readline library at toplevel
2019-03-16 19:12:06 -06:00
Mark Thom
0eb2fb3d90
add non-backtrackable and backtrackable global variables
2019-03-13 00:16:57 -06:00
Mark Thom
f0f8bfb569
update build instructions, change to the scryer-prolog crate
2019-03-13 00:00:24 -06:00
Mark Jordan Thom
460a4edadc
update to reflect name change
2019-03-06 16:37:58 +00:00
Mark Thom
77652d4458
correct inlining calling in last call context
2019-03-02 22:57:07 -07:00
Mark Thom
e4cb904470
correct inlined calling bug in last call, add dynamic database manipulation predicates
2019-03-02 16:57:45 -07:00
Mark Thom
b6922e2a0d
fix Cargo.toml
2019-01-30 21:52:01 -07:00
Mark Thom
fcffb90549
add atts.pl, various fixes
2019-01-30 21:31:48 -07:00
Mark Thom
ef3d3aa01a
fix unsafe variable handling
2019-01-24 23:38:53 -07:00
Mark Thom
c32090325a
update version number
2019-01-22 22:57:47 -07:00
Mark Thom
e92996126b
prepare for improved (?) ambiguity checks
2019-01-22 20:50:07 -07:00
Mark Thom
498fe5247d
prepare to add bracketing conditions to heap_print
2019-01-20 23:56:15 -07:00
Mark Thom
0dabb3f370
add op info to structures and atoms
2019-01-19 22:27:40 -07:00
Mark Thom
56ec550031
fix unification on string lists.
2018-12-23 12:14:03 -07:00
Mark Thom
deabdafa48
remove needless result type in try_expand_term
2018-12-02 15:17:45 -07:00
Mark Thom
a4e882756e
fix tests
2018-10-24 23:16:49 -06:00
Mark Thom
4c76920489
fix conformity errors
2018-10-17 22:10:00 -06:00
Mark Thom
8e4bb039f0
divide atom tables by module
2018-10-03 22:56:12 -06:00
