Can Datalog be used as the only language which we can use for writing server-side web application, complex domain business logic and database querying?<p>Are there any efforts made in this direction.
Not anything I’d want to use. The closest is prolog. But at a higher level this is what Eve attempted to do.<p>Eve was built using the semantics of Dedalus which is built from datalog. I <i>highly</i> recommend watching Peter Alvaro’s Strangeloop talk about creating Dedalus - it’s exactly the same train of thought you’re onto. <a href="https://youtu.be/R2Aa4PivG0g" rel="nofollow">https://youtu.be/R2Aa4PivG0g</a>
To quote myself from a post the other day <a href="https://news.ycombinator.com/item?id=19407170" rel="nofollow">https://news.ycombinator.com/item?id=19407170</a> :<p>> <i>PyDatalog does Datalog (which is ~Prolog, but similar and very capable) logic programming with SQLAlchemy (and database indexes) and apparently NoSQL support. <a href="https://sites.google.com/site/pydatalog/" rel="nofollow">https://sites.google.com/site/pydatalog/</a> </i><p>> <i>Datalog: <a href="https://en.wikipedia.org/wiki/Datalog" rel="nofollow">https://en.wikipedia.org/wiki/Datalog</a> </i><p>> <i>... TBH, IDK about logic programming and bad facts. Resilience to incorrect and incredible information is - I suppose - a desirable feature of any learning system that reevaluates its learnings as additional and contradictory information makes its way into the datastores.</i><p>I'm not sure that Datalog is really necessary for most CRUD operations; SQLAlchemy and the SQLAlchemy ORM are generally sufficient for standard database querying CRUD.
Well, if that's what you want just use Prolog; everything you need is there including a huge number of libraries and a web application framework.<p>Although I personally don't understand why anyone would want to do this ... If you actually try using Prolog or Datalog, it becomes relatively obvious that it makes a very specific set of things easier at the cost of making everything else harder.
Fulcro, Pathom, EQL and Datomic<p>Is full stack datalog as far as I'm aware<p>Not tried any of them yet but actively trying these are some tough things to learn