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
|
8ba92d8b99
|
update prolog_parser version, allow ('|') operator in DCGs (#274)
|
2020-02-23 13:16:14 -07: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
|
8f781c27f9
|
remove same_length/2 from clpb.pl
|
2020-02-21 17:21:15 -07:00 |
|
Mark Thom
|
564622e38b
|
partial_string/3 should accept empty lists (#264)
|
2020-02-21 12:55:33 -07:00 |
|
Mark Thom
|
2613ef0633
|
adopt compatibility predicates from clpb and clpz into lists and pairs libraries
|
2020-02-21 12:48:15 -07:00 |
|
Mark Thom
|
e5a0ba7bf3
|
revert to older between.pl
|
2020-02-20 10:07:45 -07:00 |
|
Mark Thom
|
0457b38e41
|
add redone partial strings (#24, #95)
|
2020-02-19 21:34:09 -07:00 |
|
Mark Thom
|
617f803355
|
update between/3 to allow inf as upper bound
|
2020-02-19 15:55:56 -07:00 |
|
Mark Thom
|
d3da2683cb
|
stop applying (=..)/2 to variables in tabling/trie.pl
|
2020-02-19 14:43:06 -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
|
1b5cf493d6
|
correct improper use of multifile directive in tabling/wrapper.pl
|
2020-02-06 10:12:57 -07:00 |
|
Mark Thom
|
00b38549f5
|
enable cross-query memoization in the tabling library
|
2020-02-02 22:52:17 -07:00 |
|
Mark Thom
|
d83c5cf5f1
|
add tabling library, update README, make Cargo.toml non-local
|
2020-02-02 22:24:48 -07:00 |
|
Mark Thom
|
740bd528c4
|
add multifile and module scoped predicates
|
2020-02-02 22:13:14 -07:00 |
|
Mark Thom
|
dcf2eadcf2
|
add preliminary multifile declaration support
|
2020-01-26 20:17:52 -07:00 |
|
Mark Thom
|
9c1064c1a3
|
use atom_concat in gensym.pl
|
2020-01-22 22:08:42 -07:00 |
|
Mark Thom
|
6be2d8ccf2
|
correct bug in bb_b_put, correct stack truncation bug resulting in erroneous failures (affecting issue #255 and the in-progress tabling library)
|
2020-01-19 20:56:11 -07:00 |
|
Mark Thom
|
9958ad6f34
|
add prefixes to gensym keys
|
2020-01-13 21:01:09 -07:00 |
|
Mark Thom
|
728be8c259
|
add simple gensym library
|
2020-01-13 20:30:58 -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
|
4ef8ab6e76
|
merge with master
|
2019-12-19 20:04:30 -04:00 |
|
Mark Thom
|
837ae4cb17
|
preliminary cont work
|
2019-12-19 20:02:10 -04: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
|
b0fa45cd33
|
correct odd accidental change to clpb.pl
|
2019-12-08 11:44:01 -07:00 |
|
Mark Thom
|
d6e75110a5
|
reconcile latest changes against stack changes
|
2019-12-07 18:59:03 -07:00 |
|
Mark Thom
|
018b076835
|
binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248)
|
2019-12-05 00:33:46 -07:00 |
|
Mark Thom
|
43b39538ff
|
correct attributed variables bugs
|
2019-12-03 22:59:51 -07:00 |
|
Mark Thom
|
52488b875a
|
add predicates to lists.pl
|
2019-12-01 19:30:40 -07:00 |
|
Mark Thom
|
406d3520f1
|
delete freeze attribute in freeze::attribute_goals//1
|
2019-12-01 14:43:27 -07:00 |
|
Mark Thom
|
77e83a390c
|
add sumlist/2 to lists.pl
|
2019-11-30 14:26:15 -07:00 |
|
Mark Thom
|
27b659c401
|
add sumlist/2 to lists.pl
|
2019-11-30 14:22:59 -07:00 |
|
Mark Thom
|
a4cacaeab2
|
compress the definition of freeze:attribute_goals//1
|
2019-11-30 14:12:33 -07:00 |
|
Mark Thom
|
9c9c484ee4
|
add copy_term/3 (#232)
|
2019-11-29 00:44:23 -07:00 |
|
Mark Thom
|
f998d6a99f
|
merge latest commit
|
2019-11-28 21:22:59 -04:00 |
|
Mark Thom
|
5723edd765
|
unsafe stack transition
|
2019-11-28 21:22:03 -04: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
|
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 |
|
Markus Triska
|
145fee0d36
|
weighted_maximum/3 now works
|
2019-10-16 19:18:38 +02:00 |
|