insert cuts where needed into (;)/3 (#434)

Merge pull request #436 from mthom/revert-419-cli

Revert "Enhanced command line"

Revert "Enhanced command line"

Merge pull request #419 from notoria/cli

Enhanced command line

accept any and all characters in comment chars

Enhanced command line #2

Merge pull request #432 from triska/master

correct overeager CLP(ℤ) goal expansion

correct failing character match in compare_pstr_to_string (#397)

correct overeager CLP(ℤ) goal expansion

For instance, consider:

    t(X) :- X #= 1.

We *cannot* expand this to:

    ?- listing(t/1).
    t(A) :-
       (  integer(A) ->
          A=:=A
       ;  (  var(A) ->
             true
          ;  true,
             clpz:clpz_equal(A,A)
          )
       ).

Also, a new binding *must not* be dragged outside of disjunctions,
since the code may look for example like this:

        i(X) :-
            (   X #= 3
            ;   X #= 4
            ).

This commit fixes such issues, and still rewrites CLP(ℤ) expressions
as far as possible already at compilation time.

For example:

    n(X) :- X #= 1+3.

This is now compiled to (note that 1+3 is evaluated to 4):

    ?- listing(n/1).
    n(A) :-
       (  integer(A) ->
          A=:=4
       ;  (  var(A) ->
             A=4
          ;  B=4,
             clpz:clpz_equal(A,B)
          )
       ).

Ideally, it should be compiled to:

    n(4).

Enhanced version

Enhanced command line

map single character atoms down to characters in constant_index

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

use slightly better names in indexing functions

only add expanded goals to dynamic clause code (#416)

correct queue_len += queue_len; to queue_len += queue.len(); (#416)

Merge pull request #425 from triska/master

enable goal expansion for CLP(ℤ) goals

enable goal expansion for CLP(ℤ) goals

Example:

    integer_successor(I0, I) :- I #= I0 + 1.

Yielding:

    ?- listing(integer_successor/2).
    integer_successor(A,B) :-
       (  integer(B) ->
          (  integer(A) ->
             B=:=A+1
          ;  C is B,
             clpz:clpz_equal(C,A+1)
          )
       ;  (  integer(A) ->
             (  var(B) ->
                B is A+1
             ;  C is A+1,
                clpz:clpz_equal(B,C)
             )
          ;  clpz:clpz_equal(B,A+1)
          )
       ).

Thus, fast low-level arithmetic is used whenever possible.

index atoms with operators against the same atom with no operator (#387)

Merge pull request #420 from triska/master

correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373)

correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373)

Example:

    ?- freeze(B, queen_value_truth(C,N,B)), Q #= N #<==> B.
       clpz:(Q#=N#<==>B), clpz:(B in 0..1), freeze:freeze(B,queen_value_truth(C,N,B))
    ;  false.

fix user:goal_expansion

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

fix 'drain lower bound was too large', store user-level expansions to modules (#416)

Merge pull request #418 from notoria/mediants

Documentation for arithmetic.pl

Merge pull request #4 from triska/mediants

include library(arithmetic) in the overview

Merge branch 'mediants' into mediants

add ordsets.pl to README

Merge pull request #417 from notoria/mediants

Implemented predicate mediants/2 with Stern-Brocot tree

Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3

include library(arithmetic) in the overview

Many thanks to @notoria for these very useful predicates!

Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3

use select to filter variable lists when printing equations of two variables

select variable names in write_eq based on whether RHS is a variable (#326)

Removed predicate mediants/2 and added stern_brocot/3

correct answer substitution order, equating variables to themselves (#326)

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