Mark Thom
38bb44664c
interrupt running queries and return to toplevel ( #323 )
2020-04-18 14:16:40 -06:00
Mark Thom
c9074d8d96
properly iterate through UTF-8 strings ( #350 )
2020-04-14 23:14:47 -06:00
Mark Thom
7799ed36f0
provide better variable names in write_term_to_chars/3 ( #340 )
2020-04-14 10:39:10 -06:00
Mark Thom
082c6a9e64
copy operator exports to impromptu modules ( #307 )
2020-04-14 01:03:49 -06:00
Mark Thom
16a572c250
change from xsi to iso in bimetatrans, correct atomic/1 failure ( #343 )
2020-04-14 00:40:51 -06:00
Mark Thom
378e9b5539
Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings
...
use partial strings for passing argv to toplevel.pl
2020-04-13 11:17:08 -03:00
Stephan Renatus
155645307a
use partial strings for passing argv to toplevel.pl
...
In run_top_level: rename variables, make them partial strings
The rename is mostly cosmetic: all of argv is passed, and if argv
contains flags, goals, etc, it's more than filenames.
Using partial strings instead of atom came from discussions about how to
pass goals in the CLI, and can thus be considered preliminary work for
that.
In toplevel.pl: convert partial string to atom before passing it to
`use_module`.
Signed-off-by: Stephan Renatus <srenatus@chef.io >
2020-04-13 10:10:10 +02:00
Mark Thom
02eb24cd57
correct partial string copying by resetting threshold to redirected partial string stubs to 0
2020-04-12 23:33:07 -06:00
Mark Thom
d3a9392421
provide read_term_from_chars/2 ( #334 )
2020-04-12 17:26:11 -06:00
Mark Thom
7621155a89
change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs
2020-04-12 16:01:53 -06:00
Mark Thom
0380d70a46
add write_term_to_chars/3 to iso_ext.pl ( #288 )
2020-04-12 14:29:28 -06:00
Mark Thom
28099b9812
correct misleading error for modules ( #300 )
2020-04-12 12:51:59 -06:00
Mark Thom
5e81fb4754
throw exception when attempting to post query as goal ( #329 )
2020-04-12 12:07:41 -06:00
Mark Thom
97d8d07947
recognize empty lists as partial strings ( #328 )
2020-04-11 23:08:15 -06:00
Mark Thom
4f0adad78e
remove string/1, use a more general test for the partial_string/1 type test ( #328 )
2020-04-11 22:47:52 -06:00
Mark Thom
6e4b76a3b4
compile special instructions for partial strings when recognized
2020-04-11 21:53:28 -06:00
Mark Thom
a3c3afba48
fix list index offset bug ( #314 )
2020-04-06 16:15:36 -06:00
Mark Thom
d76ae413c4
use fixnums in place of bignums where possible
2020-04-05 20:32:16 -06:00
Mark Thom
c8855f97e8
allocate empty partial strings
2020-04-05 02:55:30 -06:00
Mark Thom
bbf1aa1668
use copy_term/3 to print residual goals ( #254 )
2020-04-05 02:55:04 -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
cac76d4739
Merge branch 'master' into develop
2020-03-26 22:01:25 -06:00
Mark Thom
194e5dc94e
initial commit for merge
2020-03-26 22:01:23 -06:00
Mark Thom
057e2d8056
provide contextual information in the return value of try_in_situ_result
2020-03-19 20:41:58 -06:00
Mark Thom
b1d8eff019
remove Addr::PStrTail ( #276 )
2020-03-17 02:03:29 -06:00
Mark Thom
f9c4a40d60
add set_input/1, set_output/1
2020-03-15 23:29:21 -06:00
Markus Triska
17a448e045
support 'h' to print help message during toplevel interaction
2020-03-15 13:42:51 +01:00
Markus Triska
7ff11dce35
support 'p' to reprint answer with max depth, allowing w -> p -> w ...
2020-03-15 13:26:49 +01:00
Mark Thom
bef96e231d
use max_depth at toplevel, allowing full printing of terms with the 'w' keypress ( #287 ), put disjunctions on new lines ( #278 )
2020-03-15 00:35:59 -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
42a90b2d40
don't emit overwriting warnings for term_expansion/2 or goal_expansion/2
2020-03-14 14:18:01 -06:00
Mark Thom
97aab6950c
correct DCG descriptions of lists ( #286 )
2020-03-14 14:14:26 -06:00
Mark Thom
31258247b3
Give new answer variables readable names ( #279 )
2020-03-14 03:04:11 -06:00
Mark Thom
beed4e8aa8
print strings as strings only in the term expander
2020-03-13 21:05:25 -06:00
Mark Thom
7260eba26a
allow module export of nonterminals ( #281 )
2020-03-13 15:40:03 -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
698b01f85a
give new answer variables readable names ( #279 )
2020-03-13 02:40:06 -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
22bb3fe876
replace termion with crossterm
2020-03-08 18:01:54 -06:00
Mark Thom
eee10d3ee7
fix broken conformity tests, quote left paren
2020-03-08 16:49:47 -06:00
Mark Thom
c7591045af
represent the current_dir as an absolute path, not a relative one. ( #262 )
2020-03-07 16:00:10 -07:00
Mark Thom
6ddfef6383
count single character atoms as characters when generating first argument indices
2020-03-06 21:19:53 -07:00
Mark Thom
9852e30b39
compare characters directly in term comparison tests
2020-03-05 12:50:11 -07:00
Mark Thom
2d3ce32314
switch to representation error for partial strings ( #267 )
2020-03-01 23:21:35 -07:00
Mark Thom
d8e0bea110
correct handling of strings and partial strings as lists, print bar operator with surrounding spaces ( #274 )
2020-03-01 00:00:40 -07:00
Mark Thom
2ebcd673c8
add s pointers for strings and partial strings, put_unsafe_value calls store earlier to avoid unnecessary heap writes ( #273 )
2020-02-28 23:42:40 -07:00
Mark Thom
aa5f186a96
allow set_prolog_flag in declarations
2020-02-28 21:42:22 -07:00
Mark Thom
934f73f696
remove cyclic_term/1
2020-02-27 16:19:48 -07:00
Mark Thom
993c6f0e7b
actually do lco, and mark unsafe variables before the goals where they last occur, not just in the last goal
2020-02-27 16:17:20 -07:00
Mark Thom