[Toss-devel] Dyna programming language

[Lukasz S. <luk...@gm...>]

It's not directly related to Toss, but I recommend it as "food for thought"

http://www.dyna.org/wiki/index.php?title=Papers

It is a Prolog (Datalog without restrictions) language with equations
(over some algebra, usually reals) attached to Horn clauses, whose
fixpoint is the solution to weights associated with terms.
(Implementation is probably unavailable.)