A logic programming language that has features of both Datalog and answer set programming.
-
Updated
Dec 3, 2025 - TypeScript
#
datalog
Here are 7 public repositories matching this topic...
Entish is a declarative Datalog-like language for formal RPG rules
-
Updated
Sep 6, 2021 - TypeScript
metagraph of cyber: shelling point, coordination center and truth source for building superintelligence
search google ai ethereum ipfs cuda p2p agi datalog supercomputer web3 cyber tendermint collective-intelligence collective-knowledge ibc cosmos-sdk cyb cosmwasm superintelligence
-
Updated
Jan 10, 2026 - TypeScript
A tiny (<100 LOC), toy implementation of Datalog in Typescript.
-
Updated
Aug 22, 2020 - TypeScript
Soufflé bindings for JavaScript/TypeScript
-
Updated
Sep 15, 2024 - TypeScript
Vadacode is a Visual Studio Code extension to support development in Datalog± language.
-
Updated
Dec 2, 2025 - TypeScript
nemo explain visualizer: web visualization tool for interactive querying and inspection of Datalog reasoning traces
-
Updated
Dec 4, 2025 - TypeScript
Improve this page
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."