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 |
|
Paulo Moura
|
785d8d28e3
|
add de facto standard forall/2 predicate as a built-in predicate
|
2019-04-03 11:58:29 +01: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 |
|
Mark Thom
|
b6a5254e35
|
re: #80, #52
|
2019-04-01 22:05:30 -06:00 |
|
Mark Thom
|
9051d126a7
|
Merge pull request #82 from KellerFuchs/readme
README: Use checkboxes to track item completion in Phase 2
|
2019-04-01 19:35:16 -03:00 |
|
The Fox in the Shell
|
0dc0081ad5
|
README: Use checkboxes to track item completion in Phase 2
|
2019-04-01 19:01:04 +02:00 |
|
Mark Thom
|
128181753b
|
update version number
|
2019-04-01 09:05:17 -06:00 |
|
Mark Thom
|
e3e0473b69
|
fix term_variables, add (^)/2 as an actual evaluable functor
|
2019-04-01 09:04:50 -06:00 |
|
Mark Thom
|
2240418a25
|
re: #75, #52
|
2019-03-31 22:30:42 -06:00 |
|
Mark Thom
|
df5e538dc6
|
add structural tests for strings as char code lists
|
2019-03-31 20:11:20 -06:00 |
|