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

add module-level goal_expansion and term_expansion

add read support for user:term_expansion and user:goal_expansion

do not add expansions behind module boundaries until the modules are added

correct write_canonical/2 bug

fix unification on string lists.

fix ambiguity_check

make insert_from_end work correctly

correct space formatting in heap_print

eliminate ambiguity check on structs with non-zero arity

convert append to push_char when applicable

remove lifetime on ReverseHeapVarDict

correct non-termination of expand_goal and expand_term

correct non-termination of expand_goal and expand_term

fix expand_goal and expand_term

add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules

remove Option wrapper from cached_query

add support for user:goal_expansion

remove needless result type in try_expand_term

offset variable indexing for semi-context notations

update version number

fix faulty tidy_trail

update dcgs to handle ; and ->

fix tests

use proper range notation

stop write_canonical from printing numbervars.

add write variants

make lists parse properly when used as dcg rules

fix conformity errors

fix semicontext notation

correctly handle anonymous variables when reading

correctly handle anonymous variables when reading

add expand_term/2

add expand_term/2

fix DCG bugs

remove needless self parameter from ambiguity_check

smooth out ambiguity check

add spaces between operators when there is an ambiguity

add spaces between operators when there is an ambiguity

correct phrase/2

add DCG test case

fix bug with mark_non_var

term_expansion bug fixes

add preliminary support for DCGs.

remove modules properly.

remove need for taking code_dir

remove unnecessary parameter in compile_listing

correct code dir swapping for term_expansion

minor modification to lco in codegen

remove need to clone instructions.

remove need for RefCell wrapping on CodeDir

move atom_tbl up to Machine

mark term_variables type errors with blame

divide atom tables by module

remove module name from DirEntry

Merge pull request #58 from triska/master

ENHANCED: Better error handling if Type is invalid.

ENHANCED: Better error handling if Type is invalid.

Strictly speaking, type is currently not a type, so a domain error is
appropriate if Type is not a valid type. However, there are also other
cases where new types have been introduced in the past, and this
seems a good candidate for a new type. Let us hence use a type error.

Example:

    ?- can_be(listi, [a,b|Ls]).
    %@ ERROR: Type error: `type' expected, found `listi' (an atom)

Merge pull request #57 from triska/master

correct can_be/2 for partial lists

correct can_be/2 for partial lists

Example:

    ?- can_be(list, [a,b|Ls]).
    %@ true.

update README

add error.pl, correct numbervars/3

duplicate_term is now copy_term

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

move term_variables to builtins

add tidy_pstr_trail to neck_cut

add term variables

add more tests

add more tests

enable backtracking on partial strings