4 ms·
I think the answer is Datalog. It is simple, simpler than SQL but powerful like Prolog. Why hasn't it caught on?
by galaxyLogic 4y ago
I think the answer is Datalog. It is simple, simpler than SQL but powerful like Prolog. Why hasn't it caught on?
- ggleason 4y agoI am of the same opinion. TerminusDB uses a data log for query and update. I think it will catch on. And in the future we will even be able to add constraints - which can be a real superpower in querying graphs.
- galaxyLogic 4y agoGot to check out TerminusDB, thanks
- SeanLuke 4y agoThe semantic web is notion for defining data relationships. Datalog and SQL are languages for queries. These have little to do with one another. It's like saying that HTML is failing as a format, so the answer is HTTP.
- galaxyLogic 4y ago> Datalog and SQL are languages for queries SQL is not only for queries, it includes a Data Definition Language as part of it I believe. You use SQL to define the schema to which the data in the database must confirm. Similarly for Prolog and Datalog. You can define the form, the schema of data in a simple way and then the relations between the data by declaring simple inference rules between them. Datalog has the benefit of being simpler, than Prolog. Simpler is better if that is all we need. This has nothing to do with http :-)
- tannhaeuser 4y agoNit: Datalog isn't as powerful as Prolog, that's the whole point of it as a decidable fragment of first order logic (and it's seeing increased use in SMT/fixpoint solvers and databases) But yeah, if getting rid of the whole SemWeb stack, triples, and their many awful serialization formats, design-by-committee query and constraint languages (keeping just the good parts) means we can finally return to focus on Prolog, Datalog, and simple term encodings of logic, I'm all for it.
- galaxyLogic 4y agoOne could argue that Datalog is more "powerful" -- because it is decidable.