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

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.

reformat io.rs

further allocation fixes.

further allocation fixes.

add queues, fix debray allocator bug.

fix README

add error messages on failed batch entry

cleanup README

add qualified imports

fix README

correct module bugs

correct module bugs

remove module decls from toplevel when they are redeclared.

update README with build instructions

simplify heap_iter.rs

add provisional module support.

add ; key.

.

clean up compile_seq.