4 ms·

We are about to launch an prolog based DBMS. Incredibly powerful engine. Some prolog background here: https://medium.com/terminusdb https://medium.com/terminusd

by LukeEF 7y ago

We are about to launch an prolog based DBMS. Incredibly powerful engine. Some prolog background here: https://medium.com/terminusdb https://medium.com/terminusdb Watch this space!

carapace 7y ago
I just read your "TerminusDB — what’s in a name?" blog post, love it! The tie-in to Asimov's Foundation, you folks seem pretty serious about that, yes? - - - - You're releasing TerminusDB under the GPL! Bless your hearts! I can't wait to see it! - - - - Did you know that the Applied Category Theory folks (https://www.appliedcategorytheory.org/ https://www.appliedcategorytheory.org/) have something they call CQL, Categorical Query Language, https://www.categoricaldata.net/ https://www.categoricaldata.net/ ? They have a book out that talks about it, "Seven Sketches in Compositionality:An Invitation to Applied Category Theory", specifically Chapter 3 "Databases: Categories, functors, and universal constructions" https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf
- 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.

by LukeEF 7y ago

We are about to launch an prolog based DBMS. Incredibly powerful engine. Some prolog background here: https://medium.com/terminusdb https://medium.com/terminusdb Watch this space!

carapace 7y ago

I just read your "TerminusDB — what’s in a name?" blog post, love it! The tie-in to Asimov's Foundation, you folks seem pretty serious about that, yes? - - - - You're releasing TerminusDB under the GPL! Bless your hearts! I can't wait to see it! - - - - Did you know that the Applied Category Theory folks (https://www.appliedcategorytheory.org/ https://www.appliedcategorytheory.org/) have something they call CQL, Categorical Query Language, https://www.categoricaldata.net/ https://www.categoricaldata.net/ ? They have a book out that talks about it, "Seven Sketches in Compositionality:An Invitation to Applied Category Theory", specifically Chapter 3 "Databases: Categories, functors, and universal constructions" https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf

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.