Language

The language follows the Dyna language as close as possible as described in the papers.

Backward Strategy: the implementation implements a simple backward inference mechanism (driven by queries) Supported:

Name	Representation	Forward Strategy	Backward Strategy	Forward codegen Haxe target
:-
:= assignment	x	x	x	x
+= aggr add	x			x
min= aggr min	x
max= aggr min	x