List rules from within console

typedb / typedb-console

TypeDB Console: CLI for TypeDB and TypeDB Cluster

https://typedb.com

Mozilla Public License 2.0

7 stars 17 forks source link

List rules from within console #141

Closed flyingsilverfin closed 1 year ago

flyingsilverfin commented 3 years ago

Because rules are no longer concepts, we cannot query for them using Graql. However, it is very useful to be able to list all rules, which allows us to then undefine rules by name.

The transaction API that exposes this information is LogicManager.all() - we should allow this to be called from console in a transaction.

Workaround:

run the schema exporter: ./grakn server schema [database-name] which will also dump the existing rules

haikalpribadi commented 3 years ago

@flyingsilverfin you can't do ./grakn server schema anymore on master. The database schema is now retrievable on Database.schema() (i.e. graknClient.databases().get("name").schema() (implemented in client-java). @lriuui0x0 is supposed to implement the feature in console to do database <name> schema.

haikalpribadi commented 3 years ago

FYI https://github.com/graknlabs/console/issues/140

flyingsilverfin commented 3 years ago

ok - have we updated docs?

haikalpribadi commented 3 years ago

not yet, but it needs to happen before we release grakn-core

jamesreprise commented 1 year ago

Now, rules are retrieved alongside the rest of the schema.