Merge pull request #360 from notoria/master

Add get_single_char predicate.

Merge pull request #2 from triska/get_single_char

New feature: RET can now be used as a synonym for "." in the interaction

Removed a check in get_single_char

reintroduce "n" as a synonym for ";" and " "

ENHANCED: the toplevel interaction now supports RETURN as a synonym for "."

This is made possible due to the recent improvements by @notoria.

small simplifications

Added Space for continuation

Fixed the predicate name when error is thrown

Merge pull request #1 from triska/get_single_char

use get_single_char/1

instead of a type error, use a domain error

The preceding use of atom_length/2 already ensures that C has the
correct type (i.e., atom). However, its domain may still be wrong,
if its length is greater than 1.

use get_single_char/1

Removed $raw_input_read_char

get_single_char reads Tab as \t

get_single_char reads Enter as \n

Moved get_single_char from builtins.pl to charsio.pl

Added predicate for reading a single character

index Constant::Usize (#355)

quote single dots only

Merge pull request #354 from triska/master

ADDED: list_to_set/2, using the first occurrence of each element

allow characters as atoms in Machine::use_module and Machine::use_qualified_module

remove underscores in printed variables produced by write_term_to_chars (#340)

don't count the terminator in PStrIter len

ADDED: list_to_set/2, using the first occurrence of each element

Example:

    ?- list_to_set([B,a,b,a,B,A,b,A], Ls).
       Ls = [B,a,b,A]
    ;  false.

quote dot when quoted(true) (#349)

privilege new op declarations over old ones (#346)

interrupt running queries and return to toplevel (#323)

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

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

properly iterate through UTF-8 strings (#350)

clean up print_list_like

print lists as strings when possible (#295)

Merge pull request #348 from triska/master

update the toplevel description, incorporating the latest changes

update the toplevel description, incorporating the latest changes

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]>