Jason Eisner

How long till list syntax arrives in Dyna 2? It would be helpful to have for the class, I bet. But for now, you can write the program with list...

Thanks. I bet there are other things that could be moved as per my previous message. Should dyna also go into the proposed bin/ directory? (I know, but it probably...

Looks good. (Still can't see it unless I know to scroll down.) On Thu, Aug 15, 2013 at 11:35 PM, Tim Vieira [email protected]: > I pushed a change to the...

Tell it to the newbies. :P On Thu, Aug 15, 2013 at 11:57 PM, Tim Vieira [email protected]: > Smaller font or bigger monitor :P > > — > Reply to...

It's not the front page to our project. That should be dyna.org, which will eventually show the Sphinx homepage. However, I just figured that someone who finds the github repo...

Here's another case with a very different message. In the proposal, it would add an implicit backchaining declaration of f/1 (which might cause f/1 to be replanned). ``` :- :-...

Independence is what makes it easy, I would have thought. My suggestion was to go greedily through the list in order (which is what the REPL does). If rule number...

See #31 for another reason it needs to be fixed.

`examples/forward-backward.dyna` highlights a couple of weaknesses of the current limited mixed-chaining setup. I couldn't just write ``` alpha(Iteration,start_state) += 1. ``` nor do this override (which forces a certain emission...

Instead of automatic backchaining declarations, we could also try generating automatic magic template side conditions. (But just enough to make sure that the rules could be planned.) That would help...