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

fail on parse error invoked by read/1

add proceed to inlined instructions in tail position

realize full cheney in copier.rs

preliminary read support

preliminary read support

add numbered vars to writeq

move print_constant logic to heap_print.rs

add support for quoted atoms to writeq

update README

add tests for module resolution operator, README documentation.

finalize the module resolution operator.

include builtins implicitly in every module.

complete trimdown of listing compilation.

prepare module code

get rid of LocalMachineCodeIndex

get rid of LocalMachineCodeIndex

prepare for changes to relocation scheme

prepare for updating the code_dir with each new predicate

reorder print_constant comments for unsupported escape characters

print chars somewhat appropriately.

hacky workaround

get rid of spurious warning, add type error for skip_max_list

fix offsetting of heap in existence errors

add instantiation error to skip_max_list

correct for use in earlier releases of rust.

print certain atoms in single quotes.

use lexer macros.

remove no longer present items from predicate list

Merge branch 'develop'

major refactor

move SGC and call inference instructions over to SystemClauseType

remove IsClause

add (=..)/2, arg/3

switch to machine implemented arg

parse the list functor

parse negative numbers properly, handle length errors and failures properly.

correct faulty bind (two tests now fail: conjunctive_queries and lists)

add arg

add support for callable if-then and disjunct

throw exception when call-ing a system instruction.

port remaining builtins to SystemClauseType

make system calls exempt from call policy.

add more tests that pass.

add catch/throw support, make exceptions and arithmetic tests pass.

eliminate need for embedded, handwritten WAM code.

shift to builtins

add system call preliminaries

system calls preliminary

add system call preliminaries

record cyclic terms in printer

streamline variable search in heap_print.rs

simplify detection of cycles in printer

properly handle cyclic terms in the printer.

add support for printing cyclic terms.

add access to HeapVarDict to the printer.

set up heap_var Cow in heap_print.rs

abbreviate names in heap_iter.rs

correct the copier's mishandling of cyclic lists

fix errors emitted by sort and keysort, add tests, add support for Max = -1 to '$skip_max_list'

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

correct sort/keysort refusing []

correct keysort type error (re: #34)

remove unnecessary store/deref in keysort error checking

fix keysort error detection bugs

add proper error messages for keysort and sort, (re: issues #30, #32)

add error handling appartus

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

move existence_error function in machine_st_impl.rs

clean up detect_cycles

handle non-list cases in '', add '' as a built-in (re: issue #31)

add '', type checking for incomplete lists in sort, keysort (re: #17)

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

skip_max_list preliminaries

properly support module imports from within modules.

add other declarations properly

protect imported predicates from being overwritten (re: issue #28)

change modules when updating code index (re: issue #27)

metacall always hashes in user (re: issue #27)

make module code entries immutable (re: issue #27)

correct-ish definition of reverse.

correct-ish definition of reverse.

add predicate existence errors for failed metacalls.

print characters correctly

add functional notation for operators.

update to lexer error handling.