knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

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

Open mkroetzsch opened 3 years ago

mkroetzsch commented 3 years ago

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