> 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) 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.
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) 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.