Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Check out this 2009 research paper that Eve is based on; it's an important new extension to logic programming: https://databeta.wordpress.com/2010/01/05/introducing-dedalu...

Also please let me know what you think about Part II (coming later this week). It's all about logic programming and CQRS.



I only skimmed this very quickly, but the difficult issues in that tech report seem to concern issues in distributed systems. Does Eve have a distributed "story"?

My impression was that it was mostly a synchronous rule language that, at each time step, does vaguely Datalog-like stratified evaluation and then updates its state. That's a very nice model and indeed rooted in logic programming, but I have the impression that referring to the Dedalus tech report is overselling it.


Distributed systems is the goal for the next milestone of Eve. Remember that Eve is still in early alpha.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: