GitHub repository: sharpen70/dwfe
Primary language: Java
Created: 2018-09-10T02:01:32Z
Description: (nonrecursive) datalog rewriting for existential rules