Mark Thom
45a68d4bc2
add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules
2018-12-11 22:57:11 -07:00
Mark Thom
226bb7f9ed
remove Option wrapper from cached_query
2018-12-10 21:21:15 -07:00
Mark Thom
a4406f784a
add support for user:goal_expansion
2018-12-09 00:48:28 -07:00
Mark Thom
deabdafa48
remove needless result type in try_expand_term
2018-12-02 15:17:45 -07:00
Mark Thom
c281c1b427
offset variable indexing for semi-context notations
2018-11-18 21:51:53 -07:00
Mark Thom
c718e17346
update version number
2018-11-15 23:24:54 -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
a4e882756e
fix tests
2018-10-24 23:16:49 -06:00
Mark Thom
69a7579adb
use proper range notation
2018-10-24 21:08:27 -04:00
Mark Thom
036d248eb0
stop write_canonical from printing numbervars.
2018-10-23 23:11:13 -06:00
Mark Thom
32fecca45d
add write variants
2018-10-23 22:53:50 -06:00
Mark Thom
1e3891204e
make lists parse properly when used as dcg rules
2018-10-20 23:37:09 -06:00
Mark Thom
4c76920489
fix conformity errors
2018-10-17 22:10:00 -06:00
Mark Thom
1b7ffa00af
fix semicontext notation
2018-10-15 22:31:53 -06:00
Mark Thom
3140c65f67
correctly handle anonymous variables when reading
2018-10-15 22:13:58 -06:00
Mark Thom
720426648e
correctly handle anonymous variables when reading
2018-10-15 22:11:55 -06:00
Mark Thom
a3dc6d2bef
add expand_term/2
2018-10-15 20:07:48 -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
5586aa7057
remove needless self parameter from ambiguity_check
2018-10-09 19:58:15 -06:00
Mark Thom
2b32d2d94e
smooth out ambiguity check
2018-10-08 23:23:52 -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
1dc015b91f
add DCG test case
2018-10-08 00:51:11 -06:00
Mark Thom
398d91576c
fix bug with mark_non_var
2018-10-08 00:34:08 -06:00
Mark Thom
fa1bb6df3a
term_expansion bug fixes
2018-10-07 00:43:44 -06:00
Mark Thom
59ad71fccc
add preliminary support for DCGs.
2018-10-07 00:07:12 -06:00
Mark Thom
e7717d4f61
remove modules properly.
2018-10-06 19:51:38 -06:00
Mark Thom
c85eba0e22
remove need for taking code_dir
2018-10-06 16:25:10 -06:00
Mark Thom
254ff9715b
remove unnecessary parameter in compile_listing
2018-10-05 12:17:22 -04:00
Mark Thom
86255fe0d5
correct code dir swapping for term_expansion
2018-10-04 23:04:09 -06:00
Mark Thom
d7e8da8324
minor modification to lco in codegen
2018-10-04 22:28:42 -06:00
Mark Thom
054def4cc7
remove need to clone instructions.
2018-10-04 22:18:29 -06:00
Mark Thom
4bd805cc76
remove need for RefCell wrapping on CodeDir
2018-10-04 21:43:49 -06:00
Mark Thom
bf0521fde6
move atom_tbl up to Machine
2018-10-04 19:36:58 -06:00
Mark Thom
d9b5734688
mark term_variables type errors with blame
2018-10-03 23:08:25 -06:00
Mark Thom
8e4bb039f0
divide atom tables by module
2018-10-03 22:56:12 -06:00
Mark Thom
61536d2004
remove module name from DirEntry
2018-10-02 20:37:15 -06:00
Mark Thom
5792990dff
Merge pull request #58 from triska/master
...
ENHANCED: Better error handling if Type is invalid.
2018-09-30 23:55:18 -03:00
Markus Triska
43f7743467
ENHANCED: Better error handling if Type is invalid.
...
Strictly speaking, type is currently not a type, so a domain error is
appropriate if Type is not a valid type. However, there are also other
cases where new types have been introduced in the past, and this
seems a good candidate for a new type. Let us hence use a type error.
Example:
?- can_be(listi, [a,b|Ls]).
%@ ERROR: Type error: `type' expected, found `listi' (an atom)
2018-09-30 23:36:32 +02:00
Mark Thom
aa8fe02b66
Merge pull request #57 from triska/master
...
correct can_be/2 for partial lists
2018-09-28 13:31:07 -03:00
Markus Triska
373546e83d
correct can_be/2 for partial lists
...
Example:
?- can_be(list, [a,b|Ls]).
%@ true.
2018-09-28 18:20:57 +02:00
Mark Thom
80def45d38
update README
2018-09-27 22:41:41 -06:00
Mark Thom
a97987c20b
add error.pl, correct numbervars/3
2018-09-27 22:40:23 -06:00
Mark Thom
6d0770aafb
duplicate_term is now copy_term
2018-09-26 22:39:34 -06:00
Mark Thom
415cd2ec8f
Merge branch 'master' of https://github.com/mthom/rusty-wam
2018-09-26 19:33:40 -06:00
Mark Thom
6f668a8b7a
move term_variables to builtins
2018-09-26 19:33:27 -06:00
Mark Thom
d52ffb0e92
add tidy_pstr_trail to neck_cut
2018-09-25 09:50:19 -03:00
