Mark Thom
|
97aab6950c
|
correct DCG descriptions of lists (#286)
|
2020-03-14 14:14:26 -06:00 |
|
Mark Thom
|
8ba92d8b99
|
update prolog_parser version, allow ('|') operator in DCGs (#274)
|
2020-02-23 13:16:14 -07:00 |
|
Mark Thom
|
740bd528c4
|
add multifile and module scoped predicates
|
2020-02-02 22:13:14 -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
|
834c57466f
|
add operator exports to module declarations, treat them separately from predicate exports (#230)"
|
2019-11-25 23:09:49 -07: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
|
93d1cd1b09
|
implement DCGs using the logical expansion of the draft proposal
|
2019-10-05 00:17:57 -06:00 |
|
Mark Thom
|
1569cac98f
|
correct dcg handling of cuts
|
2019-10-04 15:41:48 -06:00 |
|
Mark Thom
|
d4f9d18149
|
print errors with line numbers in GNU style
|
2019-10-04 15:32:26 -06:00 |
|
Mark Thom
|
b61ed65208
|
fix goal expansion in disjunctions, add warnings for singleton variables
|
2019-10-03 22:13:34 -06:00 |
|
Mark Thom
|
a623061a1a
|
correct handling of ! in phrase/{2,3}, get rid of extraneous choice points in put_atts/2 and get_atts/2, allow loading of non-module files from the command line and use_module/{2,3}
|
2019-10-02 15:51:48 -06:00 |
|
Mark Thom
|
ecb2cc3518
|
fix improper consolidation of DCG variables
|
2019-09-30 12:21:53 -06:00 |
|
Mark Thom
|
9a83ccbdbc
|
make *.pl files in src/prolog/lib available from libraries.rs
|
2019-09-26 23:10:04 -06:00 |
|
Mark Thom
|
2c880b2bc0
|
address issues #143, #150, #155
|
2019-09-02 16:53:31 -04:00 |
|
Mark Thom
|
2240418a25
|
re: #75, #52
|
2019-03-31 22:30:42 -06:00 |
|
Mark Thom
|
33dbe3bb45
|
correct bugs in verify_attributes handling
|
2019-02-09 00:16:57 -07:00 |
|
Mark Thom
|
91b85db90c
|
flatten bracketed commas in dcgs
|
2019-01-26 14:38:54 -07:00 |
|
Mark Thom
|
042779cff9
|
add read support for user:term_expansion and user:goal_expansion
|
2019-01-05 19:22:38 -07:00 |
|
Mark Thom
|
c281c1b427
|
offset variable indexing for semi-context notations
|
2018-11-18 21:51:53 -07:00 |
|
Mark Thom
|
6e20f82d6f
|
fix faulty tidy_trail
|
2018-11-15 23:04:52 -07:00 |
|
Mark Thom
|
81f4128bc6
|
update dcgs to handle ; and ->
|
2018-10-27 20:56:23 -06:00 |
|
Mark Thom
|
1e3891204e
|
make lists parse properly when used as dcg rules
|
2018-10-20 23:37:09 -06:00 |
|
Mark Thom
|
1b7ffa00af
|
fix semicontext notation
|
2018-10-15 22:31:53 -06:00 |
|
Mark Thom
|
eabb851d8c
|
add expand_term/2
|
2018-10-15 20:07:22 -06:00 |
|
Mark Thom
|
24a7206021
|
fix DCG bugs
|
2018-10-10 21:30:40 -06:00 |
|
Mark Thom
|
b2d9673593
|
add spaces between operators when there is an ambiguity
|
2018-10-08 23:04:23 -06:00 |
|
Mark Thom
|
41b8f7a36b
|
add spaces between operators when there is an ambiguity
|
2018-10-08 23:04:03 -06:00 |
|
Mark Thom
|
9a6094bad2
|
correct phrase/2
|
2018-10-08 11:02:48 -06:00 |
|
Mark Thom
|
398d91576c
|
fix bug with mark_non_var
|
2018-10-08 00:34:08 -06:00 |
|
Mark Thom
|
59ad71fccc
|
add preliminary support for DCGs.
|
2018-10-07 00:07:12 -06:00 |
|