GitHub repository: HarvardPL/formulog
Primary language: Java
Created: 2019-04-19T13:05:44Z
Description: Datalog with support for SMT queries and first-order functional programming