datalog

Convert datalog knowledge bases into graphs.

Utilities for managing Datalog rulesets from Clojure

Creation of parser able to handle reasoning on database with first order logic like rules in java

Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database

Erlang implemented Datalog.

Parsers for Prolog, Datomic, and various other Datalog varieties.

FullStack Next Generation Web App

Datalog implemented in minikanren

A general Datalog query interface.

Logging is hard, then awesome-logging comes.

SyNET Network-wide Configuration Synthesis

An oracle for distributed system failure preemption and avoidance.

PureScript source code knowledge extraction and querying support.

An input generation platform for testing distributed protocols.

MiniJava to Spiglet compiler and some optimisation-oriented static analyses on Spiglet code

Matlab application and Arduino code to establish a bidirectional Serial Communication for Process Control System Data Acquisition

implementation of a Datalog query engine over the top of a Firebase Real Time Database store

Python datalog-style reasoner

Exercises on various advanced databases

A provenance tree generator for recursive Datalog with negation (and Dedalus).