A Datalog program that has been stratified; for instance, to support stratified negation.
A Datalog program for which each rule and initial fact has been independently validated, but the program as a whole has not been validated.
A validator for a set of clauses.
A class for validating that an unstratified program can be successfully stratified for negation.
Copyright © 2021. All rights reserved.