Add PHONY label to tags targets in Makefile

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 .

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.