 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 |
|
|
Mark Thom
|
f9448e894e
|
use binary_pow for (^)/2
|
2019-04-22 19:48:09 -06:00 |
|
|
Mark Thom
|
59c21dbc3b
|
update version number
|
2019-04-22 18:54:32 -06:00 |
|
|
Mark Thom
|
f745b077a9
|
instantiate variables in numerical comparisons
|
2019-04-22 18:54:03 -06:00 |
|
|
Mark Thom
|
29848a51ee
|
update prolog_parser, address conformity tests #3, #5, #11
|
2019-04-21 17:58:00 -03:00 |
|
|
Mark Thom
|
c8c8c5abae
|
address issues #104, #105, #103
|
2019-04-20 20:13:19 -03:00 |
|
|
Mark Thom
|
e089c8bdd2
|
fix conformity testing #274
|
2019-04-18 20:32:50 -06:00 |
|
|
Mark Thom
|
2a69a74319
|
minor fixes
|
2019-04-17 21:31:00 -06:00 |
|
|
Mark Thom
|
465f2cc6e5
|
make return_from_clause macro respect verify_attributes
|
2019-04-14 23:15:59 -06:00 |
|
|
Mark Thom
|
d3eec10fc5
|
fix conformity tests #279 and #296
|
2019-04-14 09:45:04 -06:00 |
|
|
Mark Thom
|
fb47423c77
|
update
|
2019-04-13 18:43:04 -06:00 |
|
|
Mark Thom
|
c41451c395
|
correct prolog_parser path
|
2019-04-13 18:40:52 -06:00 |
|
|
Mark Thom
|
ae90554378
|
read from streams.
|
2019-04-13 18:40:17 -06:00 |
|
|
Mark Thom
|
ed17867be0
|
update prolog_parser, refine bracketing tests.
|
2019-04-07 12:56:31 -06:00 |
|
|
Mark Thom
|
e9c8d6adb9
|
correct conformity test #234
|
2019-04-07 12:14:20 -06:00 |
|
|
Mark Thom
|
8963936f0c
|
re: conformity test #181
|
2019-04-07 11:49:21 -06:00 |
|
|
Mark Thom
|
6308aa7a1e
|
re: conformity test #181
|
2019-04-07 11:44:56 -06:00 |
|
|
Mark Thom
|
0579ad6cfa
|
update README.md
|
2019-04-07 10:09:01 -06:00 |
|
|
Mark Thom
|
4bd9908b89
|
resolve conformity test #138 (issue #52)
|
2019-04-07 10:07:17 -06:00 |
|
|
Mark Thom
|
68f89b32b8
|
update README
|
2019-04-06 17:50:50 -06:00 |
|
|
Mark Thom
|
fb0b7085b4
|
fix more conformity errors
|
2019-04-06 17:44:04 -06:00 |
|
|
Mark Thom
|
16eadc7412
|
correct for issues #88, #89, #90, conformity test #208.
|
2019-04-06 09:46:42 -06:00 |
|
|
Mark Thom
|
a3af56351b
|
correct prolog_parser package
|
2019-04-06 00:15:07 -06:00 |
|
|
Mark Thom
|
7a497fd4e1
|
correct bad atom_length/2, atom_chars/2 error reporting
|
2019-04-06 00:13:52 -06:00 |
|
|
Mark Thom
|
3aa8d11a98
|
update version number
|
2019-04-05 23:04:40 -06:00 |
|
|
Mark Thom
|
e3e6f926c7
|
add atom_length/2, atom_chars/2, atom_codes/2
|
2019-04-05 23:00:53 -06:00 |
|
|
Mark Thom
|
272b4f6d8d
|
add current_op/3
|
2019-04-05 21:25:49 -06:00 |
|
|
Mark Thom
|
03f2190d6b
|
remove $reify_switch
|
2019-04-05 09:04:05 -06:00 |
|
|
Mark Thom
|
6dade1b917
|
update version number
|
2019-04-04 22:52:06 -06:00 |
|
|
Mark Thom
|
3912a4772d
|
fix conformity errors
|
2019-04-04 22:51:00 -06:00 |
|
|
Mark Thom
|
546aeea479
|
move forall/2 to non_iso, correct test cases.
|
2019-04-03 18:13:05 -06:00 |
|
|
Mark Thom
|
535a6c17e9
|
move forall/2 to non_iso, correct test cases.
|
2019-04-03 18:12:36 -06:00 |
|
|
Mark Thom
|
9ad809680d
|
Merge pull request #83 from pmoura/add_forall_2_predicate
add de facto standard forall/2 predicate as a built-in predicate
|
2019-04-03 10:13:26 -03:00 |
|
|
Mark Thom
|
712d85129c
|
update parser
|
2019-04-03 09:26:37 -06:00 |
|
|
Mark Thom
|
f0570a3940
|
update parser to correct additional conformity errors, re: #52
|
2019-04-03 09:06:43 -06:00 |
|
|
Mark Thom
|
98f9027b2e
|
pass more conformity tests
|
2019-04-01 23:08:03 -06:00 |
|
|
Mark Thom
|
82ff29c496
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2019-04-01 22:05:45 -06:00 |
|