vadalog-extension
Advanced tools
JupyterLab extension for Vadalog language support with syntax highlighting, linting, and execution control
A JupyterLab extension that provides comprehensive support for the Vadalog knowledge graph system, including syntax highlighting, code linting, and execution control.
āØ Syntax Highlighting - Beautiful CodeMirror 6-based syntax highlighting for Vadalog code
š Code Linting - Real-time error detection and code analysis
ā±ļø Execution Timer - Displays accurate execution time from the backend
š Stop Button Integration - Intercepts the standard Jupyter stop button to gracefully halt Vadalog execution
š Beautiful Output Tables - Modern styled result tables with JetBrains Mono font
šØ Modern UI - Clean, professional interface integrated seamlessly with JupyterLab 4
pip install vadalog-jupyter-kernel)# Install both kernel and extension
pip install vadalog-jupyter-kernel vadalog-extension
Start JupyterLab:
jupyter lab
Create a new notebook and select the Vadalog kernel
Write your Vadalog code:
% Define facts
@input("person").
person("Alice").
person("Bob").
% Define rules
@output("greeting").
greeting(X, "Hello") :- person(X).
Run the cell - enjoy syntax highlighting, execution timing, and beautiful output!
This extension is built using:
The Vadalog backend is required to execute queries. To request access:
BSD 3-Clause License - see LICENSE file for details.
Vadalog is a powerful knowledge graph system developed by Prometheux Limited. It combines the expressiveness of Datalog with advanced reasoning capabilities for complex data analysis and knowledge representation.
For issues, questions, or access requests:
Made with ā¤ļø by Prometheux Limited
FAQs
JupyterLab extension for Vadalog language support with syntax highlighting, linting, and execution control
We found that vadalog-extension demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago.Ā It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
Socket CEO Feross Aboukhadijeh joins Software Engineering Daily to discuss modern software supply chain attacks and rising AI-driven security risks.
Security News
GitHub has revoked npm classic tokens for publishing; maintainers must migrate, but OpenJS warns OIDC trusted publishing still has risky gaps for critical projects.
Security News
Rustās crates.io team is advancing an RFC to add a Security tab that surfaces RustSec vulnerability and unsoundness advisories directly on crate pages.