Bases: object
A single proof.
Differs semantically from Database’s Proof in that this version represents a proof that spans rules, instead of just a proof for a single rule.
Bases: congress.datalog.base.Tracer
Bases: object
Returns subset of EVENTS that are not noops.
Return the number of columns for the given tablename.
TABLENAME is of the form <policy>:<table> or <table>. MODAL is the value of the modal operator.
Return a list of the contents of this theory.
Maybe rules and/or data. Note: do not change name to CONTENTS, as this is reserved for a dictionary of stuff used by TopDownTheory.
return dict containing the basic attributes of this theory
Event handler for (re)initializing a collection of tables. Clears tables befores assigning the new table content.
@facts must be an iterable containing compile.Fact objects.
Return a list of the policy statements in this theory.