interrupt running queries and return to toplevel (#323)

write [a,b,c] correctly with write_canonical (#349)

update the toplevel description, incorporating the latest changes

properly iterate through UTF-8 strings (#350)

clean up print_list_like

print lists as strings when possible (#295)

provide better variable names in write_term_to_chars/3 (#340)

improve writeX performance (#290)

copy operator exports to impromptu modules (#307)

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

change from xsi to iso in bimetatrans, correct atomic/1 failure (#343)

Merge pull request #345 from triska/master

ADDED: group_pairs_by_key/2

ADDED: group_pairs_by_key/2

Pairs must be keysorted and may also contain variables as keys.

Examples:

    ?-  group_pairs_by_key([1-a,1-b,2-c], Ps).
       Ps = [1-[a,b],2-[c]].

    ?-  group_pairs_by_key([X-a,X-b,2-c], Ps).
       Ps = [X-[a,b],2-[c]].

version bump

Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings

use partial strings for passing argv to toplevel.pl

Merge pull request #342 from srenatus/sr/fix-cargo-install

main: fix version reporting without git

main: fix version reporting without git

Fixes #339.

At least I hope so. I didn't come up with an idea how to test this with
little effort.

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

Merge pull request #341 from triska/master

the workaround is no longer necessary, since #336 is now corrected

the workaround is no longer necessary, since #336 is now corrected

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 <[email protected]>

use prolog_parser 0.8.50 (#336)

correct partial string copying by resetting threshold to redirected partial string stubs to 0

use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl

update Cargo.lock

bump version to 0.8.119

Merge pull request #338 from triska/master

also include a newline in portray_clause/1

also include a newline in portray_clause/1

Merge pull request #337 from triska/master

ADDED: provide a rudimentary version of portray_clause/1

make write_term_to_chars work with variable terms (#335)

provide read_term_from_chars/2 (#334)

ADDED: provide a rudimentary version of portray_clause/1

At the moment, library(format) seems to be a fitting place.
In the eventual library organization, portray_clause/1 and
related predicates may be moved to their own dedicated library.

change wording of QueryCannotBePostedAsFact to QueryCannotBeDefinedAsFact, remove old commented code in read.rs

Merge pull request #333 from triska/master

incorporate the latest improvements in the description of partial strings

incorporate the latest improvements in the description of partial strings

As of 6e4b76a3b40beb02556bd8847fe96789fa0ef012, the use of
partial_string/3 can be replaced by (=)/2 in this example.

Merge pull request #332 from triska/master

ENHANCED: ~w now supports compound terms, and ~q is now also available

move write_term_to_chars/3 to src/prolog/lib/charsio.pl

add write_term_to_chars/3 to iso_ext.pl (#288)

correct misleading error for modules (#300)

be more judicious with at_cdr in print_string (#295)

throw exception when attempting to post query as goal (#329)

ENHANCED: ~w now supports compound terms, and ~q is now also available

recognize empty lists as partial strings (#328)

remove string/1, use a more general test for the partial_string/1 type test (#328)

throw error when trying to use partial lists as DCG terminal-sequence (#286)

remove unnecessary use of partial_string in bimetatrans example

Merge pull request #310 from triska/bimeta_example

Bimeta example

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

compile special instructions for partial strings when recognized

do not accept [X|Xs] patterns as DCG non-terminals (#286)

Merge pull request #320 from triska/master

add library(freeze) to make zcompare/3 work

add library(freeze) to make zcompare/3 work

Merge pull request #318 from triska/master

extend description of strings and partial strings

extend description of strings and partial strings

Also, explain in more detail what this feature means to Prolog
application programmers, and the strategic direction of Scryer.

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

introduce and use nonterminal list//1

Example:

    ?- phrase(list(Ls), Ls0).
       Ls = [], Ls0 = []
    ;  Ls = [_A], Ls0 = [_A]
    ;  Ls = [_A,_B], Ls0 = [_A,_B]
    ;  Ls = [_A,_B,_C], Ls0 = [_A,_B,_C]
    ;  ...

embed literal lists directly in DCGs

Example use of direct embedding:

    ?- phrase("abc", Ls0, Ls).
       Ls0 = [a,b,c|Ls].

naming: partial_list_ws//1 --> list_ws//1

A DCG describes a list, so "list" is an appropriate name.

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