Merge pull request #316 from triska/master

clpz_monotonic/0 --> monotonic/0

tuples_in/2 now works

fix list index offset bug (#314)

clpz_monotonic/0 --> monotonic/0

mark clp(X) item as completed, restore clp(Z) library description

Merge pull request #312 from triska/master

ADDED: CLP(ℤ), Constraint Logic Programming over Integers

consolidate Cargo.lock

merge with master

use fixnums in place of bignums where possible

ADDED: CLP(ℤ), Constraint Logic Programming over Integers

library(clpz) implements declarative integer arithmetic.

The most important predicates for reasoning about integers are:

    (#=)/2    equality
    (#\=)/2   disequality
    (#<)/2    less than
    (#>)/2    greater than
    (#=<)/2   less than or equal to
    (#>=)/2   greater than or equal to

In addition, the library provides several global constraints, such as
all_distinct/1 and global_cardinality/2, and reification predicates
that reflect the truth values of constraints into integer variables.

Enumeration predicates such label/1 and labeling/2 can be used to
search for solutions over finite domains.

Almost all Prolog programs also reason about integers. Therefore, I
recommend to add this library to your .scryerrc configuration file so
that declarative integer arithmetic is available in all your programs.

More information about CLP(ℤ):

    https://www.metalevel.at/prolog/clpz

Enjoy!

allocate empty partial strings

use copy_term/3 to print residual goals (#254)

harmonize partial strings with complete strings (#276), make Addr a copyable type

Merge pull request #306 from srenatus/sr/version-argument

main: add -v/--version flag

add bimetatrans_ruleml.pl to examples

main: skip args[0]

This is a bit pedantic, it's unlikely that the executable would be
called `-v` or `--version`. However, it seems slightly more correct to
disregard argv[0] when checking flags.
Signed-off-by: Stephan Renatus <[email protected]>

main: add -v/--version flag

Added a new dependency to take care of pulling in the version from git
at build time.

Args handling is minimalistic, but there wasn't any before, so I figured
this might do for now. (Eventually, some proper `--help` and usage
output might come in handy?)

Signed-off-by: Stephan Renatus <[email protected]>

Merge pull request #305 from srenatus/sr/typo

examples/least_time.pl: fix typo

examples/least_time.pl: fix typo

Signed-off-by: Stephan Renatus <[email protected]>

Merge branch 'master' into develop

initial commit for merge

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

add least_time example

provide contextual information in the return value of try_in_situ_result

#278

Merge pull request #294 from triska/format

ENHANCED: format_//2 now supports ~a, ~d, ~Nd, ~D, ~ND, ~Nn, ~i and ~*

ENHANCED: format_//2 now supports ~a, ~d, ~Nd, ~D, ~ND, ~Nn, ~i and ~*

Merge pull request #293 from triska/documentation

update toplevel interaction

update toplevel interaction

remove Addr::PStrTail (#276)

add set_input/1, set_output/1

correct contextual quoting of chars

Merge pull request #289 from triska/documentation

include a short overview of notable libraries

Merge pull request #291 from triska/toplevel

Two small toplevel features

support 'h' to print help message during toplevel interaction

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

include a short overview of notable libraries

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