add call_residue_vars/2

sort attribute goals before deduplicating them linearly

do not count calls to $reify_switch as inferences

ensure stdin is not being locked more than once

fix term expansion bug

add library(reif)

cleanup accessors, various other things

polish freeze.pl and dif.pl

correct attribute_goals/2 bug, add freeze/2, update README

correct attribute_goals/2 bug, add freeze/2, update README

update README

correct project_attributes, correct compare_term_test and eq_test, polish attribute_goals/2

fix needless check in dif/2 implementation

fix bug in dif/2 implementation

remove extraneous [ from dif.pl

fix attribute_goals/2 display bugs, cycle detection bug

prepare to add project_attributes/2 and attribute_goals/2

call verify_attributes/3 once per module

fix attributed variables dealing with NeckCut on return

bracket verify_attributes/3 interrupts with allocation and deallocation of stack frames.

correct and update README

correct and update README

cut when finished verify_attributes/3 calls

correct error catching in call_verify_attributes/4

call goals in one batch after rebinding variables, add minatotask.pl, update README

correct bugs in verify_attributes handling

add preliminary support for verify_attributes/3

add verify_attributes driver code

flatten CompiledQuery and CompiledFact in Code, remove CompiledQuery

correct misspelled AttrVar in copier.rs

properly copy already-copied attributed variables as shallow members of lists

add support for copying attributed variables in copy_term

add support for copying attributed variables in copy_term

add support for copying attributed variables in copy_term

use bind to write constants to variables

copy attribute list in get_atts

introduce a better binding scheme for attributed variables

fix bug in DeleteAttribute

record perm vars only while resident stack frame is still up

add Addr::AttVar to address ordering

expand goals in queries and queues

fix Cargo.toml

add atts.pl, various fixes

add AttrVar variant to Addr

add TrailRef type for trail

flatten bracketed commas in dcgs

fix unsafe variable handling

update version number

fix printer

prepare for improved (?) ambiguity checks

prepare to add bracketing conditions to heap_print

add op info to structures and atoms

clone in situ compiled terms

fix setup_hook

delete trailing whitespace in compile.rs

drop_expansions whenever a compilation error occurs

clear out expansions from code_repo if code entry fails

add dynamic module resolution calls

update README

add module-level goal_expansion and term_expansion

add read support for user:term_expansion and user:goal_expansion

do not add expansions behind module boundaries until the modules are added

correct write_canonical/2 bug

fix unification on string lists.

fix ambiguity_check

make insert_from_end work correctly

correct space formatting in heap_print

eliminate ambiguity check on structs with non-zero arity

convert append to push_char when applicable

remove lifetime on ReverseHeapVarDict

correct non-termination of expand_goal and expand_term

correct non-termination of expand_goal and expand_term

fix expand_goal and expand_term

add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules

remove Option wrapper from cached_query

add support for user:goal_expansion

remove needless result type in try_expand_term

offset variable indexing for semi-context notations

update version number

fix faulty tidy_trail

update dcgs to handle ; and ->

fix tests

use proper range notation

stop write_canonical from printing numbervars.

add write variants

make lists parse properly when used as dcg rules

fix conformity errors

fix semicontext notation

correctly handle anonymous variables when reading

correctly handle anonymous variables when reading

add expand_term/2

add expand_term/2

fix DCG bugs

remove needless self parameter from ambiguity_check

smooth out ambiguity check

add spaces between operators when there is an ambiguity

add spaces between operators when there is an ambiguity

correct phrase/2

add DCG test case

fix bug with mark_non_var