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

add permission error for attempts at redefining builtins, re: #50

be more efficient in (,)/3 clause, correct (;)/3

cut properly in first (,)/3 clause

correct comma implementation

add structural tests for partial strings, rename ast.rs

throw the correct error if the final reduce does not work, re: #49

update README

edit README, ast, remove redundant modules

farm parser out to a crate, remove it as a git submodule.

fixes to quoted

correct print_var_eq bad ending check

properly handle character controls from ASCII to UTF-8, re: #48

properly handle character controls from ASCII to UTF-8, re: #48

do not unify partial strings unless they coincide in memory

distinguish eq from structural_eq on strings

finalize support for partial strings

add info to README, prepare for partial strings

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

add (^) as an evaluable factor, re: #39

correct README

allow continuable strings, re: #48

correct get_single_quoted_item, re: #48

add slightly more descriptive syntax errors

correct printing of lists when double_quotes is set to atom

read predicate reads piecemeal data

split error classification

chars are atoms, trailing whitespace is acceptable.

correct README

correct README

add tests for string lists, structural equality on string lists.

use reference to match on SyntaxError, re: #45

unify matching strings with different cursors.

add clean errors for read, re: #45

modify structural_eq_test

equate chars with atoms consisting of chars

support strings as char lists in term comparisons

revert is_undefined back to ref match, re: #44

update to handle strings as lists.

add string table, StringList representation

add StringList internal datatype

add some prolog flags, tabled strings

get rid of dynamic lookup for
$call_with_default_policy.

get rid of dynamic lookup for
$call_with_default_policy.

print equations lexographically by variable name, re: #26

complete call_with_inference_limit/3

set CWILCallPolicy count field back to private

add call_with_inference_limit/3

restore setup_call_cleanup/3