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

257 Commits

Author SHA1 Message Date
Mark Thom
fe395e3a8c publish bimetatrans_ruleml_tests, move both files to own directory 2020-04-26 20:32:16 -06:00
Mark Thom
9d1c026231 check for num in comparisons, bump num-rug-adapter to 0.1.3 2020-04-20 10:35:30 -06:00
Markus Triska
4693c23a49 ADDED: library(time), providing time/1 for benchmarking 
sleep/1 and predicates for reasoning about time stamps should also
be added to this library.
 2020-04-19 19:18:47 +02:00
Mark Thom
2c8858ff2d use correct signs in fixnum remainders 2020-04-18 17:37:54 -06:00
Mark Thom
af14832b6c quote dot when quoted(true) (#349) 2020-04-18 14:16:40 -06:00
Mark Thom
9ef185978f privilege new op declarations over old ones (#346) 2020-04-18 14:16:40 -06:00
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