change CPU_now to CpuNow

check for num in comparisons, bump num-rug-adapter to 0.1.3

Merge pull request #371 from notoria/sleep

Added the sleep predicate

do casts between different arithmetic types for comparison and equality (#372)

speed comparisons of partial strings

use default machine policies in term expansions

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

update toplevel comments, add mutable stack to zipped acyclic iterators

Undo a workaround

Corrected bound

Merge pull request #3 from triska/sleep

update comment

Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T)

update comment

Added the sleep predicate

Merge pull request #370 from triska/master

ENHANCED: time(Goal) now also reports the time if Goal fails

ENHANCED: time(Goal) now also reports the time if Goal fails

Merge pull request #367 from triska/master

ADDED: library(time), providing time/1 for benchmarking

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

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

add entry for time/1

update answer to use the latest toplevel improvements

ADDED: library(time), providing time/1 for benchmarking

sleep/1 and predicates for reasoning about time stamps should also
be added to this library.

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