GitHub repository: KRR-Oxford/Guarded-saturation
Primary language: Java
Description: Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog