Rulewerk interactive shell can be launched in the integrated terminal (via the Run Rulewerk command or the dedicated "play" button for a specific .rls file). Loading the knowledge base of active .rls files into the shell.
Installation instructions
Install the VS Code editor extension
Install the Java runtime environment on your system
The minimum required version is Java 8 (Standard Edition)
Ensure the java command is available through the PATH environment variable, or configure rulewerk.javaPath in the extension setting
Extension Settings
Overview of extension settings (see the settings page of your editor for additional information):
rulewerk.rulewerkClientPath
Path to an executable org.semanticweb.rulewerk-client.jar file. Used for reasoning over Rulewerk files in the integrated Rulewerk interactive shell terminal. Defaults to the Rulewerk client jar shipped by the extension, compatible with Rulewerk version v0.8.0.
rulewerk.javaPath
Path to Java runtime executable. This setting can be used if the directory containing the java executable is not in the PATH environment variable.
Development
Building the extension
Ensure that suitable version of org.semanticweb.rulewerk-client can be found at vscode-extension/libs/rulewerk-client.jar. This can either be a released version or a self-built snaphsot version.