trace available at repl supports viewing derivations each item matching query

    :- a :- b.
    :- b:- c.
    :- c.
    =============
    a := true
    b := true
    c := true
    :- trace a

    a = true
    |
    └─ :- true
       # a :- b.
       # a :- b. where {}
       head:   &a
       result: b=true
       |
       └─ b = true
          |
          └─ :- true
             # b:- c.
             # b:- c. where {}
             head:   &b
             result: c=true
             |
             └─ c = true
                |
                └─ |= true
                   # c.
                   # c. where {}
                   head:   &c
                   result: &true

Many changes

* Support for `=` aggregator. #23

* BUGFIX: when --plan is specified (sorry :-X)

* tweak to error handling. when an item's aggregator fails we set it's value to
  $error instead of it's last "ok" value.

  the repl also show this item as "changed"

* tweaks to doctest runnner

* attempt at contains/2 for list membership -- will eventually change to infix
  operator `in`

* cons and nil can't be assigned values.

Each Interpreters now has a workspace `~/.dyna/tmp/$PID`. This directory is for
any files used by the code generator, REPL, etc.

tweaks to the README, todo list, and repl formatting.

Tweaks to error messages.

Improved documentation for loaders and post-processors.

()

added examples/lists.dyna to end-to-end tests

merged

Merge ../working

cleanup

Removed existing calls to pycall. stdlib functions must be declared manually as
a case in the `constants` function `Python/Backend.hs`. Otherwise, `pycall` is
still available.

()

pygments is now optional (if it's missing you are warned if you run or import
debug somewhere.)

extended dyna compiler wrapper (dynac)

Merge branch 'master' of github.com:nwf/dyna

Just changing the parser is never enough

Put nil/0 and cons/2 into disposition tables and the backends as constants.

pretty print lists, which are still cons/nil under the hood.

Moved some library functions in into stdlib.py

Moved attempt at unifiction into it's own file... it will probably be deleted
entirely in favor of something else (it's unused at the moment).

Reorganize imports so that loader/post-processor deps only matter when you ask
for them (e.g. matplotlib) and that ./dyna starts-up quicker.

Merge ../working

yet another fix to ./debug

Fix printout of primitive strings

We now rely on Show to do the quotation; this may not be correct for all
backends, but it is less wrong than before.

Merge ../working

cleanup output formats.

Add ruleix=N printouts to dump headers

`draw_circuit` and `trace` work with BC computation

BUGFIX: looks like my previous bugs fix broke alignment with python and dopamine
  code. I've fixed the Python code. Dopamine coming soon.

REPL `query` no longer kept up-to-date with FC because we throw away the rule
once we're done with it.

added REPL `run` command to execute dyna code from a different file (NOTE: there
is no namespacing so bad things can happen.)

BUGFIX: Fixed cyclic `Term` comparsion.

BUGFIX: Fixed dictionary changed size on iteration exception. Thanks to Jason
  for reporting.

On second thought...

Make [,,,] unpack to cons/2 and nil/1 as per timv's request.

Merge branch 'master' of github.com:nwf/dyna

Tweaks to parser

Introduce [,,,] syntax for anonymous tuples (an alias for "tuple(,,,)").
Modify rule span information to avoid subsequent whitespace.

Merge ../working

Backchained items are no longer displayed in solution.

Nicer error messages when post/load commands are not understood.

Merge branch 'master' of github.com:nwf/dyna

added example of backchaining.

dyna doctest runnner.

Experiment version of `trace` now available.

    $ ./dyna
    :- a += 1.
    :- a += a/2.
    :- post trace()

()

added geometric series to tests

First pass implementation of Jason's `trace` debugger.

Fixed source line selection in ./debug

Moved a few things around.

compiler dumps anf by default (right beside the .plan.py).

Fix an infinite loop on a malformed NamedInst

While trying to print out a malformed inst is a good idea, it is not a good
idea to try to reduce it first, as that might trigger the malformedness
assertion.

Strengthen static types of Inst lattice functions

Use parametricity and higher-rank types to force the lop-sided callbacks to
use only non-recursive Insts.

New output format

 - print nullary terms together at the top.

 - don't print empty charts

 - heading is "Solution" instead of "Charts"

REPL cmd 'chart' renamed to 'sol'

Added lots of help documentation for REPL

ground backward chaining!

Add 'fcomp' target to Makefile

Whoops!  Partition rules, then plan as appropriate

Merge ../working

too lazy.

Merge branch 'master' of ssh://github.com/nwf/dyna

Remove .plan file after running selftest

Preliminary changes for ground backchaining

()

Tweak oneshot parser

This should give better error reporting.

Hack in a workaround for hanging the test harness

Catch the thrown ExitFailure and just return ()

test/repl/load uses data

Stylistic tweaks

Small mode-system changes

Mostly cosmetic
Fixes a small potential bug (as of yet un-tickled) in Python planner hook
Imports a fix to NoBackend planner hook from 4e0fc1726ab4abf1326ea61ae5225f0bb5167707

Improve handling of planner failures

The planner now reports Either an exhaustive list of failed moves
  or a list of successful plans.  When we find a plan, we forget
  the failures and begin accumulating succeses.
Add --dump-failed-plans to facilitate debugging
Report a user program error if a rule fails to have an initializer,
  partially addressing github nwf/dyna#5 .

Rescue ctxFromBindings for aliased case

Use it in the test suite, just like for the unaliased machinery.
This is cherry-picked from 4e0fc1726ab4abf1326ea61ae5225f0bb5167707.

refactor load and post-process. both are availabl and the REPL and command-line (see test/repl/load.bash for example usage)

added repl data loading example.

()

First pass at "bulk loader" API -- at the moment loading is only supported at
the REPL (cmd-line interface coming soon).

 - Read tsv/csv format

 - matrix-like

 - S-Expression - work in progress

Exceptions and errors handlers live in their on module.

Added `pycall` -- a more convenient way to do `eval` and `mod`

Fix bugs in parser and add tests

Notably, this fixes the parser backtracking all the way to the start when it
encounters an operator it doesn't know about.  While here, token-ize
constituent parsers and move parser export types to their own module.

Placeholder docs page for builtins

Take a stab at fixing up = vs ==

Adds examples/equalities.dyna to selftests.

misc cleanup.

Circuit visualizer is not a post-processer called draw_circuit

clean up cmd-line args

tiny tweaks.

added load and save scripts.

Pickling Interpreter state seems to work.

Fixed late aggregator assignment. Added REPL test.

Minor tweaks to crash handler. Post-processor can render animates of text and
lines. Instead of hard coded nodes, edge, pos. See `example/force.dyna`

Crash handler. All uncatch exceptions are beautifully formatted and logged.

Accumulated non-code adjustments; TODO.LSA

merge

Progress toward pickling Interpreter state. Using import mechanism instead of
execfile to load new code.

Refactor aggregator defns.

Workaround in test/repl/aggregator-conflict

Merge branch 'master' of github.com:nwf/dyna

Wire test/repl into Backend.Python.Selftest

While here, some related cleanups

fixed test/repl test cases.

 - repl no longer overwrites `~/.dyna/tmp.dyna` and `~/.dyna/tmp.dyna.plan.py`
   Now uses a file in `~/dyna/tmp/` with file name based on sha1 hash of
   necessary code (which includes parser_state pragmas, of course)

drop dep on numpy.

merge

tweaks.

Tweak aggr-mismatch error message

Wire in :-iaggr pragmas.

Merge branch 'master' of github.com:nwf/dyna

merge

added test/repl

Change codegen output slightly for easier loading.

Moved Term into it's own module. Preliminary support for unification.

added --profile flag.

changed output of rules command at the repl.

repl no longer dies if an initializer exception is thrown (initializer
exceptions throw out newly added rules).

Cleanups and preliminaries around the parser

While rummaging about, take the opportunity to silence several warnings.

Cleanups and preliminaries around the parser

While rummaging about, take the opportunity to silence several warnings.

Progress on Penn Treebank benchmarks/experiments.

merge

tweaks, fixes.

Initial example of Euclidean Dijkstra example

See nwf/dyna#16; still open to improve.

fixed some exceptions that we're properly caught.

fixed a few bits that broke during refactoring.

dynac utility throws an a nice DynaCompilerError on failure and uses the more
modern `subprocess` module for the system call.

small bugfixes in aggregators pertaining to when things should be null.

Improvements to chart

  * queries (= Chart.__getitem__) perform fewer set intersections (removed a
    very slow call to set.copy -- it's faster to intersect two sets and get a
    copy because the intersection is guaranteed to be smaller!)

    I'm also using a most constrained variable first heuristic for picking the
    first index to intersect.

  * fewer hash look ups with we call ``insert``.

cleanup force.dyna

Merge branch 'master' of github.com:nwf/dyna

Fix a small bug in the test harness

Thanks to Tim for the report that prop_no_unifyUnaliasedNV failed.

Rather than constrain prop_no_unifyUnaliasedNV to generate only UShared
terms, try a slightly different test in which we are unifying in a
preconstructed context.

added comment on running script.