Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[client] @showkb should support showing parts of the KB #187

Open
mkroetzsch opened this issue Oct 2, 2020 · 0 comments
Open

[client] @showkb should support showing parts of the KB #187

mkroetzsch opened this issue Oct 2, 2020 · 0 comments
Labels
enhancement New feature or request

Comments

@mkroetzsch
Copy link
Member

Showing the whole KB can be impractical especially if large numbers of facts were loaded. The @showkb command therefore should support filtering. Basic filtering could be by statement type (rules, facts, prefixes, sources) and maybe also by predicate name (facts/rules/sources related to a specific predicate).
@mkroetzsch mkroetzsch added the enhancement New feature or request label Oct 2, 2020
@mkroetzsch mkroetzsch changed the title Client: @showkb should support showing parts of the KB [cient] @showkb should support showing parts of the KB Oct 2, 2020
@mkroetzsch mkroetzsch changed the title [cient] @showkb should support showing parts of the KB [client] @showkb should support showing parts of the KB Oct 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mkroetzsch