Merge pull request #475 from notoria/debug

Debug & warnings

Removed the warnings

Implemented Debug for the new data structures

Merge pull request #474 from triska/radix

ADDED: ~Nr and ~NR are now available for radix conversions

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

halt on Ctrl-D in toplevel (#473)

Merge branch 'sockets-develop'

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

update README.md

add set_stream_position/2

Merge pull request #471 from triska/master

ADDED: Initial version of library(crypto).

ADDED: ~Nr and ~NR are now available for radix conversions

add at_end_of_stream/{0,1}

carry past_end_of_stream in WrappedStreamInstance

add stream_property/2

ADDED: Initial version of library(crypto).

Merge pull request #468 from notoria/cont

Enhanced shift/1

Enhanced shift/1

add peek_char/{1,2}, peek_byte/{1,2}, peek_code/{1,2}

add sockets library, use new type_error function from sockets system calls

add put_code/{1,2}, get_code/{1,2}, improve get_* predicates

add put_byte/{1,2}, put_char/{1,2}

cleanup on reading predicates, add get_char/{1,2}

clean up stream error handling, add get_byte/{1,2}

change EOFCode eof_action from end_of_stream to end_of_file, add echo_server.pl example

add flush_output/{0,1}, past_end_of_stream

Merge pull request #460 from notoria/get_single_char

Fixed ctrl-c issue with get_single_char/1

Fixed ctrl-c issue with get_single_char/1

add close/{1,2}, better EOF action handling in read_term

adapt write_term family, add handling for EOF actions.

add open/3, write_term/3

Merge pull request #453 from triska/master

disable goal expansion until #445 is resolved

test

disable goal expansion until #445 is resolved

merge

improve answer substitutions at top-level

Merge branch 'master' into sockets-develop

improve answer substitutions at top-level

merge with master

make term{_attributed_}variables/2 order {attributed} variables by left-to-right occurrence

Merge pull request #450 from triska/master

do not project queue/2 attributes to residual goals

use select/3 in gather_equations for detecting whether variables are distinct.

use copy_term/3 as source of attribute goals

restore previous focus upon character match failure in compare_pstr_to_string (#441)

do not project queue/2 attributes to residual goals

Merge pull request #449 from notoria/read

Completed read/1, ctrl-d is end_of_file

version bump for prolog_parser

Completed read/1, ctrl-d is end_of_file

use complete strings in FileToChars (#430)

Project goals of query variables (#362)

wrap support code in modules

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

add term_attributed_variables/2 (#422)

Merge pull request #443 from notoria/arithmetic

Implemented expmod/4

Implemented expmod/4

remove now unnecessary dependencies, correct ordering of ! in (;)/3

Merge pull request #440 from notoria/arithmetic

Enhanced number_to_rational/2 and number_to_rational/3

Merge pull request #439 from notoria/cli2

Enhanced command line?

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

cut after compound check in (;)/2 only after semicolon_compound_selector succeeds

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

Enhanced number_to_rational/2 and number_to_rational/3

Added $scryer_prolog_version/1

Enhanced command line

Merge pull request #437 from triska/master

use ℤ

use ℤ

This is now possible thanks to the great contribution by @matt2xu.

Many thanks!

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