Merge ../working

added dyna doctest for retracting BC rules.

working on fixing BC rule retraction.

Generate update plans for backchained items

This is necessary to allow retraction.

While here, wire up a backchain example into the test harness.

Merge ../working

added dijkstra-backpointers to end-to-end tests.

added `with_key` infix operator for (Issue #29 Backpointers) and argument
disposition for `$key/1`.

Removed previous version of `argmin=/argmax=`.

Merge ../working

implementation of @nwf's argm idea for backpointers (#29). Uses `$key` instead
of `argm`.

BUGFIX: hash and eq for list wasn't correct.

Merge ../working

minor fix to trace formatting

Merge ../working

multiline input in doctest

disable REPL run command.. it doesn't pass parser state along.

Merge ../working

Overhaul error message displays

 - "pop-time": aggregation errors (e.g. two distinct values following into an
   `=` aggregator) are group by functor/arity, then by type and only 10
   instances are shown.

 - "push-time": errors are grouped by rule, then error type (e.g. TypeError,
   DivisionByZero), only 10 instances of the error are displayed.

 - These changes help avoid an overwhelming cascade of very similar
   errors. Users should be able to trace the sources of these errors using other
   tools (e.g. `trace`)

Resolve issue #36

Program rules available in $rule -- doesn't do anything yet however.

Tweaks to doctest runner.

Merge ../working

improvements to `examples/ptb.dyna`

 - (no longer a complete mess thanks to the new `load` commands)

 - does binarization

 - extracts and counts rules in a s-expression tree.

 - parses a sentence given as a string AND extracts the optimal parse by
   following backpointers.

sexpr loader uses nested lists as it's representation

'in'(+,+)+ asserts second arg is a list.

retract_rule: no longer crashes when retracting a backchained rule. There are
possible bugs because we haven't deleted the memo tables affected by that rule.

REPL: show changes after 'load' commands

String display format should no longer render special characters like '\n'

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

Stop collecting update handlers by functar

It seems much more profitable, going forward, to collect most things by
rules.  If we want to get into fusion later, that's fine, but for the
moment...

Add PHONY label to tags targets in Makefile

Error when user tries to iterate over something which is not a list (e.g. using
'in' operator).

stable `set` and `bag` ordering.

added example of optimal path extraction for shortest path.

Proposal for definition of `argmax=/argmin=`.

tweaks to trace to print lists nicely, and infix 'in'

Simplify error message pertaining to retracting a rule and when a query or trace
fails.

added infix 'in' operator for "iterating" the elements of a list (i.e. `a += x
for X in [1,2,3].` with `X` free and the list bound.) and check if the item
exists in the list.

added `mean=` aggregator.

`set=` and `bag=` aggregators return dyna lists. So we can use the results in
other rules.

make sure we show changes when we `retract_rule`

when we show changes we print a header

    > a += 1.

    Changes
    =======
    a = 1.

Also, pycall translates python and dyna lists.

Fixed formatting of lists, strings are double quoted.

Fixed `query [A|_] is [1,2,3]` -- we weren't substituting `A`.

minor cleanup.

update tests to reflect new output format.

Changed output format yet again. Everything is now consistent with "term =
value."

Robustified retract_rule.

Incorporated Jason's tweaks to trace.

hide ugly filenames from users.

updated documentation to use new repl `>` instead of `:-`.

fixed repl test

merge

updated repl tests.

Many changes

* changed repl prompt

* commented out failed attempt at providing 'for X in [1,2,3]'

* hid developer tools from repl.

* trace:

  - fixed cycle detection

  - terser information printed for each edge.

    item => value

      | += val1
      |
      |    instantiated rule with subexpressions and variable values shown
      |    inline.
      |
      |     RECURSE on items in rule.
      |
      | += val2

  - changed color coding.

  - documentation, `> help trace`

* No more barfing on empty input to trace, query, vquery.

changed repl prompt

commented out failed attempt at providing 'for X in [1,2,3]'

hid developer tools from repl.

trace:

  - fixed cycle detection

  - terser information printed for each edge.

    item => value

      | += val1
      |
      |    instantiated rule with subexpressions and variable values shown
      |    inline.
      |
      |     RECURSE on items in rule.
      |
      | += val2

  - changed color coding.

  - documentation, `> help trace`

No more barfing on empty input to trace, query, vquery.

Soften exception messages a bit

Some infinitessimal part of github issue #32.

Bump required versions of parsers and trifecta

Parsers v0.8.3 (commit 537337c9) undoes a performance regression
(of my creation, oops) which turns out to be important for us.

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

Add special handling for = and ==.

Their evaluation has been inlined, increasing the number of modes supported.

Changed output format for solution

Wire up oper pragmas.

They're a little unpleasant, but it works.  While here, correct the
documentation.

Remove defaults from operator parser

(Some unit-tests keep them on for the moment)

Strictify Main.Driver configuration fields

Notably, this improves handling of some invocation errors, as it forces
things earlier.

Add [,,,|Rest] syntax support to parser

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 .