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

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)