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

Prolog itself has many issues, many of them rooted in its somewhat unrestricted use of terms. The nice thing about datalog is that it has very nice strong normalization as a natural property of term evaluation. While it's true that it doesn't do everything, this combined with controlled dataflow has long been an interesting area of PL research.

Eve is definitely not the first to have realized this but it's attention to making it fit in with modernized ideas around interactive computing are noteworthy. The translation of a lot of these ideas into this context requires a lot of careful thought so I wouldn't trivialize it as a lesser version of something.



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

Search: