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

do not count calls to $reify_switch as inferences

ensure stdin is not being locked more than once

fix term expansion bug

add library(reif)

cleanup accessors, various other things

polish freeze.pl and dif.pl

correct attribute_goals/2 bug, add freeze/2, update README

correct attribute_goals/2 bug, add freeze/2, update README

update README

correct project_attributes, correct compare_term_test and eq_test, polish attribute_goals/2

fix needless check in dif/2 implementation

fix bug in dif/2 implementation

remove extraneous [ from dif.pl

fix attribute_goals/2 display bugs, cycle detection bug

prepare to add project_attributes/2 and attribute_goals/2

call verify_attributes/3 once per module

fix attributed variables dealing with NeckCut on return

bracket verify_attributes/3 interrupts with allocation and deallocation of stack frames.

correct and update README

correct and update README

cut when finished verify_attributes/3 calls

correct error catching in call_verify_attributes/4

call goals in one batch after rebinding variables, add minatotask.pl, update README

correct bugs in verify_attributes handling

add preliminary support for verify_attributes/3

add verify_attributes driver code

flatten CompiledQuery and CompiledFact in Code, remove CompiledQuery

correct misspelled AttrVar in copier.rs

properly copy already-copied attributed variables as shallow members of lists

add support for copying attributed variables in copy_term

add support for copying attributed variables in copy_term

add support for copying attributed variables in copy_term

use bind to write constants to variables

copy attribute list in get_atts

introduce a better binding scheme for attributed variables

fix bug in DeleteAttribute

record perm vars only while resident stack frame is still up

add Addr::AttVar to address ordering