A Visual Studio Code extension for editing and reasoning with existential rules (an extension of Datalog with Existential rules and stratified negation).
It provides editing support for Rulewerk language knowledge base files, and integrates Rulewerk reasoner capabilities via the Rulewerk interactive shell.