4 ms·
Thanks! We're very serious about the link to Asimov's foundation. We're huge fans and our work on the global history databank was, in part, inspired by psychohi
by LukeEF 7y ago
Thanks! We're very serious about the link to Asimov's foundation. We're huge fans and our work on the global history databank was, in part, inspired by psychohistory (https://en.wikipedia.org/wiki/Cliodynamics https://en.wikipedia.org/wiki/Cliodynamics).
-------
Haven't seen CQL - must take a look and share with Terminus team member ('terminator' naturally!) who wrote our query language, WOQL (web object query language). Prolog as the basis for a query language is v powerful. We get: queries returning graphs, recursion as a core feature, composable sub-queries and irregular expressions & cycles.
There is a standardization push in graph query at the moment so I have all this stuff in the front of my mind! Trying to write a 'graph query manifesto' at the moment.
----------
On earlier comment - we are absolutely hiring, especially folks interested in prolog!
- carapace 7y ago> We're very serious about the link to Asimov's foundation. Excellent! I've heard that Behavioral Economics is also inspired by psychohistory. If you're also looking to the future you might want to get in touch with the Long Now Foundation. In re: CQL the underlying CT treatment of DBs is the "secret sauce". I haven't investigated WOQL in depth yet (I looked at the source in https://github.com/terminusdb/terminusdb https://github.com/terminusdb/terminusdb) but I agree with you that Prolog is superlative for a query language. I was joking about hiring, but if you put some issues in github it's not inconceivable you might get a PR someday. I don't want to make any promises. As I mentioned above, I'm working on Joy-in-Prolog, and I'm right at the point where I'm thinking about how to represent data (as in DBs) using Category Theory along with the standard meta-data in "Data Model Patterns: A Metadata Map" by David C. Hay.