GitHub repository: KDahlgren/orik
Primary language: Python
Created: 2017-07-19T02:04:15Z
Description: A provenance tree generator for recursive Datalog with negation (and Dedalus).