10 ms·

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/introdu

by Liron 10y ago

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-dedalus/ 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.

tom_mellior 10y ago
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.
- Skinney 10y ago
  Distributed systems is the goal for the next milestone of Eve. Remember that Eve is still in early alpha.