Issue #62: allow Dyna to report its own version.

added `|=` and fixed `:-`.

updated `test/repl/boolean-aggregators.dynadoc`

tweak

add test case for an instance of a cyclic program which uselessly runs off to infinity when we retract a node.

added test case from issue #31 - late backchaining declarations.

recompile rules on late backchain declaration (Issue #31); requires running
compiler to fixed point; maintaining a set of failed rules.

small tweak (hacky) to make compiler error messages friendlier -- show rule
source instead of `<repl>` (which was the mask for a big sha1+linenumbers).

Address Issue #51 - showing errors in "Changes"

updated doctests, caught some cases of missing clear error.

tweaks/cleanup

added test case for issue #52 -- keeping $key up to date.

add test for transitive deps in memoized BC rule retraction.

Big improvments to memoized BC rule retraction. We now correctly update
transitive dependents (before we didn't refresh the memos, so we were getting
incorrect behavior).

Catch ^C again..

Minor tweak to make fewer replacement updates to $key.

Fixed issue #52.

better error msgs.

minor tweaks.

fixed Issue #57

()

refactored code, resolved asymmetries between FC and BC (and within each) --
code now has fewer special cases and should have fixed a bunch of bugs we didn't
even know we had :-X

don't show BC items in changes.

(BC retraction has improved, but it's still not 100% correct thanks to stale
memos)

Clean up agenda loop.

anf file required.

maintain a coarse dependency graph of head->evals and a map functor->rules (all
rules [not just BC rules] know their head's functor -- i.e. an overestimate of
what they "create"). These changes are nonfunction, but will facilitate
maintenance, retraction and all that.

()

Dropped end-to-end tests from haskell test runner (removed support for --plan
flag for ./dyna). These test are now part of python test runnner.

Minor refactoring/reorganization of interpreter and repl.

move command-line interface to separate file --> main.py

added a few test for "known bugs" regarding retracting BC rules.

minor cleanup.

new tests for error handling.

BUGFIX: properly clear error.

run initializers after clearing agenda, if new updates are queued run agenda
again.

Stabilize output of `bag=` by sorting elements and properly handle null.

Uninitialized rules are kept around and appear as errors in the error dump,
until initialization succeeds.

Fixed sort order for true and false.

better cleanup when an initializer fails.

`dump_rules` won't crash when rule failed to load dyna source.

Show failure context when an update handler crashes (work in progress)

when an initializer fails rules is still added to the program. Only some of the
emits which succeeded get scheduled (this isn't quite right).

added depth limit argument to trace (available via --limit=<INTEGER> at the
repl).

Merge ../incoming into HEAD

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

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

Conflicts:
src/Dyna/Backend/Python/Backend.hs
src/Dyna/Backend/Python/interpreter.py

Had to make a small change to pretty printing of @nwf's new representation of
true and false (they need to print as *lower case* true and false).

Minor haddock fixups

stabilize error dump.

added error test case.

added error test case.

added matplotlib post-processor for static drawings.

minor cleanups

added test for dyna boolean operations.

Use Dyna Boolean type instead of Python's bool. This requires redefining or
wrapping Python's comparsion (<=, ==), and logical operators (and, or,qq not).

move examples/lists into repl tests.
updated examples/force to use dyna lists
updated some other tests..

Booleans are not to be treated as atoms

Addresses nwf/dyna#49; leaving open for subsequent discussion.

Ensure evaluation of an assertion

Found by reviewing coverage

Prune some unused code from the test suite

Add hpc coverage for self-tests

Run with "make test-hpc" and then open dist/selftest-hpc-out/index.html for
your viewing pleasure.

nonfunctional tweaks to handling of '->'.

better FIFO

Issue #1: display [] instead of &nil.

Issue #40: Dyna will concatenate files for you, but it won't give you nice error messages.

Fix "longest-match" requirement on operators

We were running a token parser before the "notFollowedBy", which is clearly
wrong.  Now, tokenize a strict string then notFollowedBy.  This will require
that users write things like "... <oper> -<expr>" even though "<oper><expr>"
is accepted and "-<expr>" is an <expr>.

While here, add an explicit regression test for this bug.

This closes nwf/dyna#45 .

Merge ../working

Issue #15: updated Jason's Dijkstra backpointer example to use  which doesn't quote its second argument.

remove numpy as dep to speed-up load time Issue #44

Merge ../working

(Issue #46) `:-` now implicit aggregator for facts. `|=` no longer available.

with_key no longer quotes it's second argument.

minor edits

added forward-backward.dyna, and its companion file icecream.dyna.
It exposes errors in the current implementation: see #47.

restored +x permission to debug (somehow removed before previous commit)

simplified examples/dijkstra-backpointers.dyna, and added a variant

merge.

fixed force-directed layout.

new infix operator for alist `->`/2

tweaks to list tests.

small improvements to handling booleans

clean up aggregators

crash handler hook (write repl lines)

hide ugly file names in error messages

more test cases added coverage target to makefile

added a few more test cases.

()

Small tweaks.

added `range` to stdlib

tiny tweak (nonfunctional) to doctest.

small improvement to bool (runtime) type checking.

Small, non-functional changes around the tree

Try to improve python crash logging

This seems like it should work, but IPython seems to be getting in my way.

exitFailure on panic

added parsing (training, parsing, testing) `test/app/ptb.dynadoc`.

make run-doctest.py executable

catch errors when retracting rules.

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

Issue #12 simplify output of "draw" command. Edge crux shrunk down to small
circle. Mouse over shows the rule source and rule index.

minor tweaks to readme.

circle. Mouse over shows the rule source and rule index.

minor tweaks to readme.

()

update tests - new solution formatting.

Issue #38 "better printing of :- items, and better type checking for :-, |=, &="

`:-` and `|=` are now synonymous.

might error when retracting a BC rule.

tweaks.

()

use doctests

use doctester

remove cruft.

`dict=` create something like associative list -- this lets us use it in our
dyna programs.

doctests strip colors

tweak to solution print out: print 'Solution empty' instead of a "Solution"
heading.

proper BC rule retraction.

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'