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

match on partial strings through get_list

partial strings are still a work in progress

correct numbervars

Merge branch 'develop'

add term_expansion basics

term_expansion beginnings

tighten up numbervars

incorporate term_expansion phase in compilation

stop treating copier as trait object

correct and load numbervars

restore parse_term to toplevel

correct ordinary input

correct conformity error

correct conformity errors

correct new copier bug

correct copier.

fix copier

correct handling of .

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

streamline inputs.

provisional #4

provisional #3

provisional changes #2

provisional changes to module insertion

update version number for push to crates

move compile_listing body to dedicated function

make use of read_term in the repl

read modifications

transition to MachineCodeIndices internally

make partial_string callable.

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