Removed predicate mediants/2 and added stern_brocot/3

Implemented predicate mediants/2 with Stern-Brocot tree

check that lower bound on term expansion drain is below the len of the term expansion vector, queue (#416)

print rational numbers using the rdiv operator when defined (#413)

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

do length check in PartialString::range_from (#412)

Merge pull request #414 from triska/master

Small corrections, additions and improvements

mention portray_clause/1 and listing/1

mention backtrackable and non-backtrackable global variables

use new nth0/3 from library(lists)

use singleton variable, correct a mistake in maplist/8

ADDED: nth0/3, relating indices to list elements

small typographic corrections

use new predicates from library(error) to throw type and domain errors

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

erase unnecessary stub from block of FileToChars

don't append lists of attributes when binding attributed variables (#353)

modify domain.pl example (#347)

Merge pull request #409 from triska/clp

add more information about Constraint Logic Programming (CLP)

`if_` --> `if_/3`

add more information about Constraint Logic Programming (CLP)

Merge pull request #408 from triska/master

Introduce and use new predicates for throwing ISO errors

include the new library(random) in the overview

Many thanks to @notoria for this contribution!

use new predicates from library(error)

ADDED: library(error): instantiation_error/1, domain_error/3, type_error/3

These predicates simplify throwing ISO errors.

include usage advice about probabilistic predicates

Merge pull request #406 from notoria/random

Created the library random and updated library clpb

publish bimetatrans_ruleml_tests, move both files to own directory

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

Added predicate random_integer and updated clpb

Created the library random and moved some predicates from iso_ext

Merge pull request #405 from triska/master

Two small documentation additions

add library(cont) to the list

add more information about tabling

Merge pull request #402 from notoria/pio

Small patch for library pio

Small patch for library pio

Merge pull request #399 from notoria/debug

Implemented the Debug trait for all data structures

Implemented the Debug trait for all data structures

Merge pull request #398 from triska/master

Several smaller improvements

use proper module name in bimetatrans_ruleml

include library(pio) and library(charsio) in the description

update toplevel interaction

ENHANCED: Throw domain errors in char_type/2 for wrong types

This is especially important because a few of our names diverge from
ctype(3), and we better inform programmers when the type they are
using is not available at all.

use an anonymous variable

Merge pull request #396 from notoria/phrase_from_file

Implemented phrase_from_file/2 and /2

No trimming of the buffer

Implemented phrase_from_file/2 and /2

Merge pull request #391 from notoria/msb_lsb2

Implemented lsb/2 and msb/2

Implemented lsb/2 and msb/2

Merge pull request #380 from notoria/char_type

Implementation of the predicate char_type for a subset

Implementation of the predicate char_type for a subset

Draft of an implementation of char_type

Merge pull request #381 from triska/master

ADDED: library(format) now provides a rudimentary version of listing/1

ADDED: library(format) now provides a rudimentary version of listing/1

Example:

    :- dynamic(a/1).

    a(X) :- X = true, b(X).

Yielding:

    ?- listing(a/1).
    %@ a(A) :-
    %@    A=true,
    %@    b(A).
    %@    true.

listing/1 only works for predicates and DCGs that are declared dynamic/1.

Merge pull request #377 from triska/master

portray_clause/1 now correctly tracks variable names (#376)

portray_clause/1 now correctly tracks variable names (#376)

Example:

    ?- portray_clause((A :- B)).
    %@ A :-
    %@    B.
    %@    true
    %@ ;  ...

Also, change the indentation from 8 to 3 at the express request of @UWN.

Merge pull request #375 from notoria/sleep

Changed the error being thrown by sleep/1

speed unification of pairs of partial strings

change CPU_now to CpuNow

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

Corrected the error being thrown by sleep/1

Changed the error being thrown by sleep/1

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.