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.

fix lexer bugs.

update/extension to lexer, bug fixes to module importing

throw exception when predicate not found

throw exceptions when calling non-existent predicates. broken.

correct mishandled blocking of cuts

properly handle cuts in conditionals

fix cut expansions, clean up code.

fix cut expansions.

incomplete cut corrections.

rename fabricate_predicate to fabricate_disjunct

add the notion of unbound variables to register allocators.

inline (,)/2 properly

limit hash lookups to metacall

add cyclic_term

update README

add call support for acyclic_term

add acyclic term

remove flatten

add repeat

add flatten.

clean up call clause stuff.

clean up call clause stuff.

update README

eliminating double counting for call_with_inference_limit.

remove extraneous code.

remove redundant code from arith_eval_by_metacall

correct delayed evaluation for negation, rational decls

remove extraneous comments.

refactor BuiltInInstruction

remove DynamicIs

refactor ControlInstruction

minor tweak to printer code

correct sort, keysort

add sort, keysort.

add atom predicate.

add is_list

remove b0 slot from AND stack frames.

further debray fix.