correct bad atom_length/2, atom_chars/2 error reporting

update version number

add atom_length/2, atom_chars/2, atom_codes/2

add current_op/3

remove $reify_switch

update version number

fix conformity errors

move forall/2 to non_iso, correct test cases.

move forall/2 to non_iso, correct test cases.

Merge pull request #83 from pmoura/add_forall_2_predicate

add de facto standard forall/2 predicate as a built-in predicate

update parser

update parser to correct additional conformity errors, re: #52

add de facto standard forall/2 predicate as a built-in predicate

pass more conformity tests

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

re: #80, #52

Merge pull request #82 from KellerFuchs/readme

README: Use checkboxes to track item completion in Phase 2

README: Use checkboxes to track item completion in Phase 2

update version number

fix term_variables, add (^)/2 as an actual evaluable functor

re: #75, #52

add structural tests for strings as char code lists

add support for char codes

update version number

do a better job recognizing and bracketing operators

clean up heap_print.rs

correct comma printing

make op/3 a predicate call from the query context

specially handle commas

add op/3 to builtin predicates

properly demarcate ops in dbrefs

re: #73

use can_be(list, _) in all solutions predicates

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

Merge with downcast update.

update writer

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