Merge pull request #70 from XVilka/patch-1

Update downcast dependency

Update downcast dependency

It wasn't able to compile with latest Rust 1.33

pass more conformity tests

add db refs

make current_predicate/1 more general, re: #66

index inlined and builtin clausetypes inside a BTreeMap

update readline.rs crate

update version number

bracket RHS when necessary in variable equations

use updated readline

fix toplevel heap view

fix toplevel heap view

update tests

do a better job of printing integral floats.

print attribute goals alongside variable bindings as a single, unified goals

update version number

do not print unbound vars at toplevel

allow toplevel answers to be passed back as queries

enable an option to disable readline

fail if attempting dynamic transaction in term and goal expansion

correct register threshold calculation.

update readline instructions in README, dependence on readline_rs_compat with new library search paths

use readline with better build support

update version and README

set rl_startup_hook only once

make toplevel more consistent with answers, depend on readline package without renaming.

add rename-dependencies to Cargo manifest

update readline.rs version

use the updated readline.rs

use concrete version number for readline-rs

use new readline crate

add halt/0

use the readline library at toplevel

update README

add non-backtrackable and backtrackable global variables

update build instructions, change to the scryer-prolog crate

clean up bb_put/2 a bit

update README: backtrackable globals

bb_put/2 and bb_get/2

use ordsets in library(dif)

change the semantics of put_atts/2 to better reflect those of SICSTus

add ordsets library, domain.pl attributed variables example

eliminate generation of dynamic clauses when compiling term expansion clauses

remove dynamic code indices when modules are redefined.

perform term and goal expansion on asserted dynamic predicates inside modules

propagate dynamic database changes to toplevel

stop module dynamic predicate modifications from taking on the user module index.

properly update dynamically updated predicates in module indices

add assoc.pl, add max evaluable functor

split dynamic database keys across modules

improve Rust-generated permissions errors

make clause/2 global in scope

correct clause/2 to work only on properly scoped terms

further cross-module dynamic database fixes

correct mismanagement of dynamic database across modules

update toplevel exports when updated dynamically

update toplevel exports when updated dynamically

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

support module modification using dynamic database predicates

correct abolish/1

update to reflect name change

give module bounds a better respect for dynamic predicates

give dynamic predicates a better respect for module bounds

give dynamic predicates a better respect for module bounds

refactor compile_work

separate constraint checks and code addition into separate phases in machine::compile

current_predicate skips undefined predicates

add another test, add unwind_protect!

remove extraneous slashes in builtins.pl

refactor to actual modules

remove unification from dif/2

condense reverse even further

tighten reverse/2

improve reverse/2

eliminate redundant set_p function

do not hard code arity in builtins.pl

correct inlining calling in last call context

correct inlined calling bug in last call, add dynamic database manipulation predicates

add assertz/1 and asserta/1

start enabling the dynamic database

remove defunct dependency from reif.pl

make better use of can_be in between library

evacuate when allocating anon vars

remove redundancy positivity check in repeat/1

use can_be and must_be in library(between)

begin work on between library

add numlist/3

begin work on between library

add correct error sources to bagof/3, setof/3, findall/4

add examples from the power of prolog

add findall/4, bagof/3, setof/3

properly report deterministically successful queries

use acyclic iteration when projecting onto query vars

add findall/3

change project_attributes to use attribute vars queue

remove clone from unwind_trail in copier.rs

refactor parts of machine_state_impl.rs that consume copier.rs

refactor copier.rs

add call_residue_vars/2

sort attribute goals before deduplicating them linearly