Mark Thom
|
db5ed345bc
|
improve writeX performance (#290)
|
2020-04-14 10:25:05 -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 |
|
Mark Thom
|
f9c4a40d60
|
add set_input/1, set_output/1
|
2020-03-15 23:29:21 -06:00 |
|
Mark Thom
|
325df8a6e3
|
add provisional max_depth option to write_term, speed printing of non-cyclic terms
|
2020-03-15 00:09:20 -06:00 |
|
Mark Thom
|
6c9e704aa8
|
sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279)
|
2020-03-13 13:18:47 -06:00 |
|
Mark Thom
|
4c88e97330
|
add current_output, printing of stream terms
|
2020-03-11 00:38:01 -06:00 |
|
Mark Thom
|
25babff827
|
add streams.rs, consume them in place of the old PrologStream
|
2020-03-09 11:56:16 -06:00 |
|
Mark Thom
|
af23258152
|
remove setof/3, bagof/3 non-determinism (#270)
|
2020-02-22 15:13:01 -07:00 |
|
Mark Thom
|
b2e50b42a3
|
rename non_iso.pl to iso_ext.pl (#265)
|
2020-02-22 00:58:37 -07:00 |
|
Mark Thom
|
0457b38e41
|
add redone partial strings (#24, #95)
|
2020-02-19 21:34:09 -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
|
dcf2eadcf2
|
add preliminary multifile declaration support
|
2020-01-26 20:17:52 -07:00 |
|
Mark Thom
|
02d8b1441d
|
expand goals inside (\+)/1
|
2019-12-11 21:42:15 -07:00 |
|
Mark Thom
|
196784bd09
|
change goal and term expansions, change call/N to use goal expansions
|
2019-12-10 21:36:02 -07:00 |
|
Mark Thom
|
0a665b79f2
|
add (:)/{3..12} to enable metacalls on module-prefixed predicates
|
2019-11-26 20:51:59 -07:00 |
|
Mark Thom
|
834c57466f
|
add operator exports to module declarations, treat them separately from predicate exports (#230)"
|
2019-11-25 23:09:49 -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
|
d34811aa36
|
handle asserts in modules a little better (#223, #224)
|
2019-10-30 00:14:36 -06:00 |
|
Mark Thom
|
3409db010f
|
fix several issues with goal expansion, crashing after attribute_goals is called
|
2019-10-08 12:28:23 -06:00 |
|
Mark Thom
|
673fb31ae2
|
update prolog_parser to v0.8.33
|
2019-10-06 12:02:47 -06:00 |
|
Mark Thom
|
9d2ac9e235
|
address issue #153
|
2019-09-05 22:43:50 -06:00 |
|
Mark Thom
|
07412b9d34
|
add fail predicate
|
2019-06-20 20:59:27 -04:00 |
|
Mark Thom
|
e66d5c7b31
|
correct #68 in variable_names conformity tests
|
2019-05-13 23:37:03 -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
|
6240f04769
|
correct error reporting for variable_names write option
|
2019-05-06 22:45:32 -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
|
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
|
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
|
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
|
b07a19fc47
|
address issues #114, #115
|
2019-04-25 09:10:52 -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
|
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
|
ae90554378
|
read from streams.
|
2019-04-13 18:40:17 -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
|
7a497fd4e1
|
correct bad atom_length/2, atom_chars/2 error reporting
|
2019-04-06 00:13:52 -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
|
535a6c17e9
|
move forall/2 to non_iso, correct test cases.
|
2019-04-03 18:12:36 -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
|
b6a5254e35
|
re: #80, #52
|
2019-04-01 22:05:30 -06:00 |
|
Mark Thom
|
2240418a25
|
re: #75, #52
|
2019-03-31 22:30:42 -06:00 |
|