 Mark Thom
|
16418a47a8
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2019-11-20 23:50:54 -07:00 |
|
|
Mark Thom
|
1139b3b4c1
|
small test updates
|
2019-11-20 23:50:51 -07:00 |
|
|
Mark Thom
|
3277ecd13d
|
Merge pull request #226 from malbarbo/num
Add feature num to use num crate in place of rug.
|
2019-11-20 23:51:55 -04:00 |
|
|
Mark Thom
|
d3842bb070
|
Merge pull request #234 from XVilka/patch-2
Fix README formatting
|
2019-11-19 20:14:00 -04:00 |
|
|
Mark Thom
|
2ab745016a
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2019-11-19 20:09:44 -07:00 |
|
|
Mark Thom
|
5aaba8534f
|
bump prolog_parser to version 0.8.35
|
2019-11-19 20:09:28 -07:00 |
|
|
Mark Thom
|
2b625b1094
|
commit Cargo.lock
|
2019-11-19 20:08:52 -07:00 |
|
|
Mark Thom
|
66bebff01e
|
add setup_call_cleanup tests, expand builtins tests
|
2019-11-18 23:17:56 -07:00 |
|
|
Mark Thom
|
17b2510480
|
update version number
|
2019-11-16 19:18:41 -07:00 |
|
|
Mark Thom
|
bcfd7cbf8d
|
begin migrating tests to pure prolog, correct bug in toplevel
|
2019-11-16 19:15:07 -07:00 |
|
|
Mark Thom
|
cee3dbc453
|
quote values and goals in equations, eliminate dead code, correct retract/1
|
2019-11-16 17:15:25 -07:00 |
|
|
Mark Thom
|
ed985c3cfe
|
move more of the toplevel from rust into prolog
|
2019-11-16 00:26:15 -07:00 |
|
|
Mark Thom
|
4ad62e4606
|
add warnings when initialization goals fail (#168)
|
2019-10-30 00:25:17 -06:00 |
|
|
Mark Thom
|
d34811aa36
|
handle asserts in modules a little better (#223, #224)
|
2019-10-30 00:14:36 -06:00 |
|
|
Mark Thom
|
b90d69a45b
|
install asserted predicates into modules from initialization directives (#222)
|
2019-10-29 00:06:51 -06:00 |
|
|
Mark Thom
|
81f220a4d2
|
replace \n\r and \r\n by \n (#221)
|
2019-10-27 20:50:21 -06:00 |
|
|
Mark Thom
|
e594ade84d
|
finish #214, add needed ambiguity checks if 0 is the final character
|
2019-10-27 19:23:35 -06:00 |
|
|
Mark Thom
|
0dcd9e5805
|
correct sign/1 (#216)
|
2019-10-27 14:18:32 -06:00 |
|
|
Mark Thom
|
67a00e4deb
|
update to prolog_parser v0.8.34 with increased MAX_ARITY (#218)
|
2019-10-27 13:10:32 -06:00 |
|
|
Mark Thom
|
e656e7fbae
|
add sign/1 (#216) and gcd/2 (#217) as evaluable functors, update the README
|
2019-10-27 13:05:05 -06:00 |
|
|
Mark Thom
|
0fdf0d8d06
|
correct #215 by fixing bug in ambiguity_check
|
2019-10-27 12:32:18 -06:00 |
|
|
Mark Thom
|
7cdbd2f16c
|
add consult/1 and shorthand for consult/1 (#214)
|
2019-10-27 11:33:49 -06:00 |
|
|
Mark Thom
|
ccfcc654a5
|
remove module from toplevel in unqualified use_module
|
2019-10-26 12:39:42 -06:00 |
|
|
Mark Thom
|
2eea0528b1
|
remove all mention of [clear] from the README
|
2019-10-26 01:35:26 -06:00 |
|
|
Mark Thom
|
a358431d30
|
reload files properly (re: #213)
|
2019-10-26 01:34:41 -06:00 |
|
|
Mark Thom
|
e9c1556c32
|
remove scratch comments from clpb.pl
|
2019-10-22 21:19:01 -06:00 |
|
|
Mark Thom
|
1b1879a6fa
|
fix attributed variables bug causing weighted_maximum/3 example to omit a variable binding
|
2019-10-20 14:50:46 -06:00 |
|
|
Mark Thom
|
24e5e39c28
|
add order preserving tidy_trail, fix random_labeling/2
|
2019-10-19 00:29:50 -06:00 |
|
|
Mark Thom
|
ab9a14cc6a
|
add randomness predicates, small but consequential changes to TrailRef
|
2019-10-17 00:21:21 -06:00 |
|
|
Mark Thom
|
a641822a1b
|
Merge pull request #206 from triska/master
weighted_maximum/3 now works
|
2019-10-16 16:17:05 -03:00 |
|
|
Mark Thom
|
1557e4705a
|
Merge pull request #204 from triska/master
ADDED: CLP(B), Constraint Logic Programming over Boolean Variables
|
2019-10-16 02:45:21 -03:00 |
|
|
Mark Thom
|
ca27234275
|
deallocate old stack frames (#201), start using tags, fix a panic! associated with partial strings
|
2019-10-15 22:54:12 -06:00 |
|
|
Mark Thom
|
9f7d89a3e8
|
re: issue #199
|
2019-10-15 02:37:01 -06:00 |
|
|
Mark Thom
|
c4269b87c2
|
re: issues #200, #201
|
2019-10-15 00:42:55 -06:00 |
|
|
Mark Thom
|
be7f855d7a
|
Merge pull request #198 from XVilka/patch-2
Fix #139 - Run tests on Travis
|
2019-10-14 10:18:43 -03:00 |
|
|
Mark Thom
|
734f103f0a
|
Merge pull request #197 from dingelish/edition
Upgrade to edition
|
2019-10-14 10:18:18 -03:00 |
|
|
Mark Thom
|
7f297eb064
|
Merge pull request #191 from dingelish/master
Fix some old Rust codes
|
2019-10-14 00:59:03 -03:00 |
|
|
Mark Thom
|
83ead46e13
|
re: issue #196
|
2019-10-14 00:07:22 -06:00 |
|
|
Mark Thom
|
da89b1af63
|
handle TCO when setting up verify_attributes interrupts
|
2019-10-13 14:13:52 -06:00 |
|
|
Mark Thom
|
249b613e36
|
remove nondeterminism from put_atts as a result of lists.pl reversion
|
2019-10-12 19:57:08 -06:00 |
|
|
Mark Thom
|
1d41489381
|
correct off by 1 error in verify_attrs_interrupt, revert to previous lists.pl
|
2019-10-12 19:14:33 -06:00 |
|
|
Mark Thom
|
8c4c70b089
|
fix verify_attributes_stepper bug: proceed now considered a head instruction
|
2019-10-12 03:26:50 -06:00 |
|
|
Mark Thom
|
5893ff4231
|
correct latest out of bounds panic, use first argument indexing in maplists/{2..9}
|
2019-10-12 01:20:42 -06:00 |
|
|
Mark Thom
|
abc7498a42
|
add the initialization directive
|
2019-10-01 16:51:22 -06:00 |
|
|
Mark Thom
|
1ec831b2e2
|
limit scope of raw mode on stdout to allow interrupts to work
|
2019-09-30 14:09:02 -06:00 |
|
|
Mark Thom
|
b26c5c213e
|
return to toplevel from a long running query after receiving Ctrl-C
|
2019-09-30 13:27:22 -06:00 |
|
|
Mark Thom
|
ecb2cc3518
|
fix improper consolidation of DCG variables
|
2019-09-30 12:21:53 -06:00 |
|
|
Mark Thom
|
9df14cf890
|
add use_module/{1,2} as full fledged predicates
|
2019-09-30 10:26:29 -06:00 |
|
|
Mark Thom
|
376b39a4ef
|
support loading of modules from files specified at the command line
|
2019-09-29 10:16:27 -06:00 |
|
|
Mark Thom
|
e8bac464d0
|
devour dangling whitespace before checking for EOF
|
2019-09-29 10:05:40 -06:00 |
|
|
Mark Thom
|
529b664bf3
|
Merge pull request #164 from triska/master
ADDED: library(si) for safe type tests.
|
2019-09-25 22:52:11 -06:00 |
|
|
Mark Thom
|
e108b844bd
|
Merge pull request #151 from Atul9/cargo-fmt
Format code using 'cargo fmt'
|
2019-09-23 11:56:51 -03:00 |
|
|
Mark Thom
|
8207fdea40
|
replace HashMap with IndexMap and HashSet with IndexSet
|
2019-09-22 17:31:25 -06:00 |
|
|
Mark Thom
|
380aae85bd
|
add wam_instructions/2 to render predicate instructions as lists of functors
|
2019-09-22 16:06:50 -06:00 |
|
|
Mark Thom
|
4cfab7aff8
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2019-09-17 22:50:50 -06:00 |
|
|
Mark Thom
|
40500ca2d6
|
print line numbers to trace the location of parsing errors
|
2019-09-17 22:50:32 -06:00 |
|
|
Mark Thom
|
3e3031bb9d
|
Merge pull request #159 from XVilka/patch-1
Create Travis CI config
|
2019-09-12 22:04:57 -03:00 |
|
|
Mark Thom
|
9d2ac9e235
|
address issue #153
|
2019-09-05 22:43:50 -06:00 |
|
|
Mark Thom
|
4b22f80a77
|
check for and load .scryerrc from the user's home directory
|
2019-09-04 23:30:48 -06:00 |
|
|
Mark Thom
|
a757b92c9d
|
fix read module if readline is not present
|
2019-09-03 15:18:43 -06:00 |
|
|
Mark Thom
|
07412b9d34
|
add fail predicate
|
2019-06-20 20:59:27 -04:00 |
|
|
Mark Thom
|
b2fed73011
|
re: issue #144
|
2019-06-16 01:25:42 -04:00 |
|
|
Mark Thom
|
39d5e6a2f9
|
correct for issue #145
|
2019-06-14 09:00:43 -04:00 |
|
|
Mark Thom
|
4fd70e9c6d
|
correct bug in between.pl, re: #146
|
2019-06-09 12:12:34 -04:00 |
|
|
Mark Thom
|
ea9cfa6d40
|
pass more numbers by reference
|
2019-05-25 00:16:07 -04:00 |
|
|
Mark Thom
|
1baf772b1c
|
pass Number's by reference when possible
|
2019-05-22 19:48:34 -04:00 |
|
|
Mark Thom
|
e66d5c7b31
|
correct #68 in variable_names conformity tests
|
2019-05-13 23:37:03 -04:00 |
|
|
Mark Thom
|
d5223b9bbd
|
fix min/1, max/1
|
2019-05-13 18:11:27 -04:00 |
|
|
Mark Thom
|
59ab4cd67c
|
process float/1 and pi/0
|
2019-05-12 22:21:29 -04:00 |
|
|
Mark Thom
|
f344150322
|
revamp evaluable functors, add missing evaluable functors
|
2019-05-12 20:14:00 -04:00 |
|
|
Mark Thom
|
f988b67403
|
print full list in erroneous variable_names
|
2019-05-09 22:56:15 -04:00 |
|
|
Mark Thom
|
7fef8a3e86
|
correct variable_names culprit
|
2019-05-08 19:58:05 -04:00 |
|
|
Mark Thom
|
3f07178312
|
Merge pull request #138 from XVilka/unmut
Unmut
|
2019-05-08 09:45:13 -04:00 |
|
|
Mark Thom
|
6240f04769
|
correct error reporting for variable_names write option
|
2019-05-06 22:45:32 -04:00 |
|
|
Mark Thom
|
da17d3070d
|
update version number, correct printer
|
2019-05-06 22:14:38 -04:00 |
|
|
Mark Thom
|
3547ae2db4
|
quote solo characters wherever they lead atoms
|
2019-05-05 22:48:19 -04:00 |
|
|
Mark Thom
|
bf8a2ab6a6
|
add variable_names as a write option
|
2019-05-05 00:58:56 -04:00 |
|
|
Mark Thom
|
b05cff3044
|
improve matching on partial strings as lists
|
2019-04-30 21:30:28 -06:00 |
|
|
Mark Thom
|
d09aeb4125
|
update README
|
2019-04-30 20:56:18 -06:00 |
|
|
Mark Thom
|
3fd274c583
|
add remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address issue #133
|
2019-04-30 20:55:53 -06:00 |
|
|
Mark Thom
|
fb023c99c1
|
respect ambiguity with ., add ... to indicate more answers
|
2019-04-29 22:44:53 -06:00 |
|
|
Mark Thom
|
14d629492d
|
add unify_with_occurs_check/2
|
2019-04-28 22:23:34 -06:00 |
|
|
Mark Thom
|
9dbadac14f
|
correct various bugs
|
2019-04-28 21:09:56 -06:00 |
|
|
Mark Thom
|
918da4f423
|
fix odd response, toplevel issues
|
2019-04-28 17:19:16 -06:00 |
|
|
Mark Thom
|
d066765248
|
add subsumes_term/2
|
2019-04-28 14:48:12 -06:00 |
|
|
Mark Thom
|
6be03a7f7a
|
add number_chars/2
|
2019-04-28 14:36:38 -06:00 |
|
|
Mark Thom
|
e135063325
|
speed up unification
|
2019-04-27 23:39:19 -06:00 |
|
|
Mark Thom
|
9b21e04539
|
address issues #121 - #123
|
2019-04-27 21:51:48 -06:00 |
|
|
Mark Thom
|
531d8b3352
|
re: issue #120
|
2019-04-27 00:40:00 -06:00 |
|
|
Mark Thom
|
7bda7c5bf3
|
printer: abbreviate lists with |
|
2019-04-26 09:48:12 -06:00 |
|
|
Mark Thom
|
3783070585
|
use ellipses to indicate infinite terms in printer
|
2019-04-25 22:27:23 -06:00 |
|
|
Mark Thom
|
9b93c33491
|
re: issue #118
|
2019-04-25 20:11:34 -06:00 |
|
|
Mark Thom
|
b07a19fc47
|
address issues #114, #115
|
2019-04-25 09:10:52 -06:00 |
|
|
Mark Thom
|
18a9a6434f
|
delay attributed variables goal, naively correct dif/2
|
2019-04-24 20:37:31 -06:00 |
|
|
Mark Thom
|
65cc418171
|
update version number
|
2019-04-23 20:28:01 -06:00 |
|
|
Mark Thom
|
01e57f83ee
|
address issues #111 and #108
|
2019-04-23 20:27:47 -06:00 |
|
|
Mark Thom
|
cc09c68433
|
update version number
|
2019-04-23 08:40:28 -06:00 |
|
|
Mark Thom
|
b102749220
|
move setup_call_cleanup/3 and call_with_inference_limit/3 to non_iso
|
2019-04-23 08:40:10 -06:00 |
|
|
Mark Thom
|
a5dc7f2387
|
various fixes
|
2019-04-22 21:28:33 -06:00 |
|
|
Mark Thom
|
535465fcd4
|
use binary_pow for (^)/2
|
2019-04-22 19:49:04 -06:00 |
|