> I think you misread my comment. Yea, I did misread a bit of it. > I think the language is pretty powerful, but I'm not sure if we can find something as rock

> I think you misread my comment. Yea, I did misread a bit of it. > I think the language is pretty powerful, but I'm not sure if we can find something as rock solid as postgres. While PostgreSQL may be better for most projects, SWI Prolog is also usable for practical problems, although (if I'm not mistaken) SWI Prolog requires all facts to be loaded into memory, so there's a limitation in scale. And yes, I could't find any resources indicating whether the SWI Prolog database is ACID compliant. But with Racklog and Racket Datalog it doesn't make sense to talk about whether they're ACID compliant as there's not yet any storage mechanisms, so they are not yet usable in any context involving persistent data. The limitations of those implementations are very different from limitations with Prolog/Datalog as such.