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

expand goals in queries and queues

fix Cargo.toml

add atts.pl, various fixes

add AttrVar variant to Addr

add TrailRef type for trail

flatten bracketed commas in dcgs

fix unsafe variable handling

update version number

fix printer

prepare for improved (?) ambiguity checks

prepare to add bracketing conditions to heap_print

add op info to structures and atoms

clone in situ compiled terms

fix setup_hook

delete trailing whitespace in compile.rs

drop_expansions whenever a compilation error occurs

clear out expansions from code_repo if code entry fails

add dynamic module resolution calls

update README