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

throw '' whenever an interrupt is made (#365, #366)

Merge pull request #364 from triska/master

Documentation addition, and correction of error term

Restore the type_error, which was implemented correctly by @notoria.

This corrects f28e87b2401960e3b31bea114318e2b3ef1616d3:
in_character is a valid type by 7.12.2 Error classification!

document ~| format modifier to place a tab stop at this position

This works best when used in tandem with ~N+, since it is currently
equivalent to ~0| and does not take the actual text position into account.
However, when using relative positions, this works as intended.

Merge pull request #363 from triska/master

Delay toplevel output until after the goal succeeds

remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361)

drop $ naming convention inside '' when unnecessary

use correct signs in fixnum remainders

use the most recent improvements

ENHANCED: Delay toplevel output until after the goal succeeds.

This is to accommodate goals that are used for their side-effects,
when we are interested in their output.

Examples:

    ?- portray_clause((a :- a)).
    a :-
            a.
       true
    ;  false.

    ?- format("hello~w~n", [!]).
    hello!
       true
    ;  false.

add domain and type errors for compare/3 (#296)

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

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

Removed a check in get_single_char

Added Space for continuation

Fixed the predicate name when error is thrown

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

bracket graphic token chars in toplevel.pl (#357)

slight tweaks to bimetatrans

index Constant::Usize (#355)

quote single dots only

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.

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

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)

update the toplevel description, incorporating the latest changes

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.