correct #68 in variable_names conformity tests

fix min/1, max/1

process float/1 and pi/0

revamp evaluable functors, add missing evaluable functors

print full list in erroneous variable_names

correct variable_names culprit

Merge pull request #138 from XVilka/unmut

Unmut

Add .gitignore

Remove unnecessary mutability

correct error reporting for variable_names write option

update version number, correct printer

quote solo characters wherever they lead atoms

add variable_names as a write option

improve matching on partial strings as lists

 update README

add remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address issue #133

respect ambiguity with ., add ... to indicate more answers

add unify_with_occurs_check/2

correct various bugs

fix odd response, toplevel issues

add subsumes_term/2

add number_chars/2

speed up unification

address issues #121 - #123

re: issue #120

printer: abbreviate lists with |

use ellipses to indicate infinite terms in printer

re: issue #118

address issues #114, #115

delay attributed variables goal, naively correct dif/2

update version number

address issues #111 and #108

update version number

move setup_call_cleanup/3 and call_with_inference_limit/3 to non_iso

various fixes

use binary_pow for (^)/2

use binary_pow for (^)/2

update version number

instantiate variables in numerical comparisons

update prolog_parser, address conformity tests #3, #5, #11

address issues #104, #105, #103

fix conformity testing #274

minor fixes

make return_from_clause macro respect verify_attributes

fix conformity tests #279 and #296

update

correct prolog_parser path

read from streams.

update prolog_parser, refine bracketing tests.

correct conformity test #234

re: conformity test #181

re: conformity test #181

update README.md

resolve conformity test #138 (issue #52)

update README

fix more conformity errors

correct for issues #88, #89, #90, conformity test #208.

correct prolog_parser package

correct bad atom_length/2, atom_chars/2 error reporting

update version number

add atom_length/2, atom_chars/2, atom_codes/2

add current_op/3

remove $reify_switch

update version number

fix conformity errors

move forall/2 to non_iso, correct test cases.

move forall/2 to non_iso, correct test cases.

Merge pull request #83 from pmoura/add_forall_2_predicate

add de facto standard forall/2 predicate as a built-in predicate

update parser

update parser to correct additional conformity errors, re: #52

add de facto standard forall/2 predicate as a built-in predicate

pass more conformity tests

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

re: #80, #52

Merge pull request #82 from KellerFuchs/readme

README: Use checkboxes to track item completion in Phase 2

README: Use checkboxes to track item completion in Phase 2

update version number

fix term_variables, add (^)/2 as an actual evaluable functor

re: #75, #52

add structural tests for strings as char code lists

add support for char codes

update version number

do a better job recognizing and bracketing operators

clean up heap_print.rs

correct comma printing

make op/3 a predicate call from the query context

specially handle commas

add op/3 to builtin predicates

properly demarcate ops in dbrefs

re: #73

use can_be(list, _) in all solutions predicates

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

Merge with downcast update.

update writer

Merge pull request #70 from XVilka/patch-1

Update downcast dependency

Update downcast dependency

It wasn't able to compile with latest Rust 1.33

pass more conformity tests

add db refs

make current_predicate/1 more general, re: #66

index inlined and builtin clausetypes inside a BTreeMap

update readline.rs crate