Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog
Primary LanguageJavaMIT LicenseMIT