support 'p' to reprint answer with max depth, allowing w -> p -> w ...

use max_depth at toplevel, allowing full printing of terms with the 'w' keypress (#287), put disjunctions on new lines (#278)

add provisional max_depth option to write_term, speed printing of non-cyclic terms

output strings more efficiently

don't emit overwriting warnings for term_expansion/2 or goal_expansion/2

correct DCG descriptions of lists (#286)

Give new answer variables readable names (#279)

print strings as strings only in the term expander

print strings as strings (#285)

eliminate inner_numbervar_count

Merge pull request #284 from triska/master

ADDED: library(format), describing strings with format_//2

allow module export of nonterminals (#281)

properly handle '\n' when quoted and not (#283, #280)

fix -names (#275)

Revert "fix $VAR-names (#275) and properly print single control chars (#280)"

This reverts commit d3eb31e4c36071029d596b5a177306a7e67ea62c.

ADDED: library(format), describing strings with format_//2

This library provides the nonterminal format_//2 to describe
formatted strings. format/2 is provided for impure output.

Usage:
======

phrase(format_(FormatString, Arguments), Ls)

format_//2 describes a list of characters Ls that are formatted
according to FormatString. FormatString is a string (i.e.,
a list of characters) that specifies the layout of Ls.
The characters in FormatString are used literally, except
for the following tokens with special meaning:

  ~w    use the next available argument from Arguments here,
        which must be atomic (a current limitation)
  ~f    use the next argument here, a floating point number
  ~Nf   where N is an integer: format the float argument
        using N digits after the decimal point
  ~s    use the next argument here, which must be a string
  ~N|   where N is an integer: place a tab stop at text column N
  ~N+   where N is an integer: place a tab stop N characters
        after the previous tab stop (or start of line)
  ~t    distribute spaces evenly between the two closest tabstops
  ~`Ct  like ~t, use character C instead of spaces to fill the space
  ~n    newline
  ~~    the literal ~

The predicate format/2 is like format_//2, except that it outputs
the text on the terminal instead of describing it declaratively.

If at all possible, format_//2 should be used, to stress pure parts
that enable easy testing etc. If necessary, you can emit the list Ls
with maplist(write, Ls).

The entire library only works if the Prolog flag double_quotes
is set to chars, the default value in Scryer Prolog. This should
also stay that way, to encourage a sensible environment.

Example:

?- phrase(format_("~s~n~`.t~w!~12|", ["hello",there]), Cs).
%@ Cs = [h,e,l,l,o,'\n','.','.','.','.','.','.',t,h,e,r,e,!] ;
%@ false.

sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279)

fix $VAR-names (#275) and properly print single control chars (#280)

give new answer variables readable names (#279)

add current_output, printing of stream terms

add streams.rs, consume them in place of the old PrologStream

update README.md

replace termion with crossterm

fix broken conformity tests, quote left paren

represent the current_dir as an absolute path, not a relative one. (#262)

count single character atoms as characters when generating first argument indices

compare characters directly in term comparison tests

switch to representation error for partial strings (#267)

correct handling of strings and partial strings as lists, print bar operator with surrounding spaces (#274)

update README

add s pointers for strings and partial strings, put_unsafe_value calls store earlier to avoid unnecessary heap writes (#273)

allow set_prolog_flag in declarations

remove cyclic_term/1

actually do lco, and mark unsafe variables before the goals where they last occur, not just in the last goal

mention rustup.rs in README (#261)

update prolog_parser version, allow ('|') operator in DCGs (#274)

remove setof/3, bagof/3 non-determinism (#270)

rename non_iso.pl to iso_ext.pl (#265)

add comparisons between partial strings and string constants (#263)

correct misreported error in toplevel loop (#272)

remove same_length/2 from clpb.pl

make partial strings accept characters (#268)

partial_string/3 should accept empty lists (#264)

identify ground partial strings under (==) (#269)

adopt compatibility predicates from clpb and clpz into lists and pairs libraries

fix #255 (I think?)

correct PStrLocation offset bug in copier.rs

revert to older between.pl

Merge branch 'master' of https://github.com/mthom/rusty-wam

update Cargo.lock and toml version

update README

add redone partial strings (#24, #95)

update between/3 to allow inf as upper bound

stop applying (=..)/2 to variables in tabling/trie.pl

Merge pull request #258 from aarroyoc/master

add n as an option to get the next solution

use raw_block.rs for the heap backend

change raw_vec to raw_block to avoid clashes with liballoc package

allow the frontier of the RawVec to be offset by a trait function

move bump allocation logic to its own module

remove partial strings, but represent strings as lists when warranted by double_quotes

add n as an option to get the next solution

correct improper use of multifile directive in tabling/wrapper.pl

print extended characters recently added to alpha char set

prolog_parser version bump

recommit Cargo.lock

version bump, README.md tweak

enable cross-query memoization in the tabling library

remove tabling/SLG resolution from nice-to-have list

add tabling library, update README, make Cargo.toml non-local

add multifile and module scoped predicates

update README

add preliminary multifile declaration support

use atom_concat in gensym.pl

don't hold on to popped or frames

correct bug in bb_b_put, correct stack truncation bug resulting in erroneous failures (affecting issue #255 and the in-progress tabling library)

add prefixes to gensym keys

add simple gensym library

add listing sources to modules

Merge branch 'master' of https://github.com/mthom/rusty-wam

implement less defaulty interface in cont.pl

remove l* languages

push of preliminary delimited continuations library cont.pl (#136)

merge with master

preliminary cont work

use Addr::StackCell(0,0) to indicate non-live local variables

expand goals inside (\+)/1

change goal and term expansions, change call/N to use goal expansions

correct odd accidental change to clpb.pl

remove zeroing out from Stack::truncate

revert arithmetic code

update tests

reconcile latest changes against stack changes

add backtracking of attributed variable data

resolve panic caused by lingering attribute goals (#253)

print equations between variables (#228, #252)

binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248)

pop AND stack frames after unwinding the trail (#250)

correct attributed variables bugs

fix copy_term/3 infinite looping on cyclic terms

Merge branch 'master' of https://github.com/mthom/rusty-wam