Missed in the last round of commits

More .gitignore rules

Add perverse examples

Code shuffling for debugging backends

Handle "diagonal" cases in rule planner

FIX: accidently delete on unchanged values

tweaks.

Put "call" indirection table and aggregator definitions in defn ("definitions")
module.

added matrixops examples; demonstrates the "edge template overcounting problem" - a template which shouldnt fire more than once results in overcounting.

FIX: run_agenda termination condition
FIX: more fixes pertaining to python tuple unpacking.

elaborate papa2 example works!

use correct aggregators for each functor.

merge

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

merge

merge

Tweak Analysis.RuleMode planning strategy

This should result in all-bound OPCalls being earlier in update plans,
leading to earlier bail-out in the case of an update not being applicable.

FIX: syntactic issues - can't assign to "()"

FIX: "continue" cases in for-loops

Linearization & annotation handling in ANF

merge

added papa2 example.

A little smarter Analysis.RuleMode planner

renderSpan moved to trifecta utils.

fixed bug in loading anf output.

take dyna source as input, asks dyna compiler to compile.

escape quote characters so we don't break graphviz.

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

Maybe fix aggregator parsing

Dot is not an aggregator

added papa.dyna to examples.

()

use (generated) initializers.

merge

Attempt to handle "is/2" in normalizer; fallout

stdlib: "Papa" example works.

Add planning for initializers; make python write them

WIP: more pieces of the puzzle

merge

Crude implementation of the chart and other utils. Starting to spin the wheels on CKY on a simple sentence.

tweaks

Adjust variable naming convention slightly

merge

added Dyna/Test/Main2.hs - temporary test runner which skips K3Backend tests.

Minor refactoring: ANFRules carry around ANFState and Trifecta Span information.

renamed type FDR to FRule to match the constructor.

Restore inverse math; drop arity from OPGetArgsIf

Restore deleted submodules

removed Analysis/RuleModeTest.hs, the old Python code generator, in favor of Backend/Python.hs.

Improvements python code generation.

Require end of file when parsing file.

Using "_" instead of "_$" as our intermediate variable prefix.

Tweak ANF, etc.; clone pdope in Backend.Python

This commit is known to break Dyna.Analysis.RuleModeTest; sorry.

Manual merge

Yet another stab at ANF

crummy code generation from crummy plans.

first pass at dopeamine pretty printing.

first pass at dopeamine pretty printing.

added test case; whitespace cleanup

added a few more dyna examples

Start Dyna.Backend.Python; add Analysis.Aggregation; tweak ANF

Add mapUpsert to XXX.DataUtils

Tweaks to Analysis.ANF and friends

Another day, another try at Analysis.RuleMode

This time around, we're more dopaminergic.

Comments in ParserHS

Initial pass at rule mode planning in Haskell

merge

tweak imports

Parameterize Analysis.ANF.NT on the contents of a variable

Tweak Analysis.ANF

Move ANF to hackish, but flat, representation

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

Compilation fixes and tweaks to HList utils

Compilation fixes to THTuple for new GHC

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

fixed bug in update plan section headings.

WIP: towards a new spin on K3 backend

Pretty up the frontend code a bit

dump update plans to html output; clean up

renamed anfviz to prototype to better reflect what the script actually does.

cleanup utils.

Pair programming to the rescue! Fixed update planning algorithm works! Our
solution is a brute-force search algorihtm for a feasible solution.

update planning: work in progress.

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

ENH: pprint no longer wraps variables in quotes

Several changes: "update planning", bugfixes, enhancements, cleanup

NEW: "Update Planning" steps towards generating code to handle update/queries to
individual terms in rules (in forward and backward chaining).

BUGFIX: hypergraph incoming and outgoing indices where buggy

ENH: using graphviz SVG output for nicer graphics

CLEANUP: anfviz moved some code into separate file bin/utils.py

Towards "query planning" -- half of two-stage approach complete.

Tweak ANF normalization

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

anfviz - produces html output for an entire dyna program.

added examples directory and a few example dyna programs.

BUGFIX (minor) in normalize parse pretty printer (handled numbers in the result
incorrectly).

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

Tweak README and authors in dyna.cabal

Widen the type on incState in MonadUtils

Add hrllen to HList utilities module

Fix logic inversion in NormalizeParse

Tweak the parser as suggested by Tim V

added anf visualizater (python script)

BUGFIX: NormalizeParse works now...

Missed file from last time

First part of new NormalizeParse

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

added ANF pretty printer

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

Insignificant changes to NormalizeParse renamed temporary variable names)

Added Makefile (might not really want this...)

Git should not ignore .hs files

Tweaks to XXX.THTuple