Utilities for managing Datalog rulesets from Clojure
logic programming with SPARQL
Graal is a Java toolkit for querying knowledge bases within the framewor...
EACL: Enterprise Access Control Lists
BDD-based implementation of Datalog
🖖 Prolog-style Logic Programming in pure R
TupleNet is a lightweight tool for building virtual-networking