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

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