congress.datalog.base module

class congress.datalog.base.EventQueue

Bases: object

dequeue()
enqueue(event)
class congress.datalog.base.Proof(root, children)

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.

leaves()
str_tree(depth)
class congress.datalog.base.StringTracer

Bases: congress.datalog.base.Tracer

get_value()
string_output(msg, *args)
class congress.datalog.base.Theory(name=None, abbr=None, schema=None, theories=None, id=None, desc=None, owner=None, kind=None)

Bases: object

actual_events(events)

Returns subset of EVENTS that are not noops.

arity(tablename, modal=None)

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.

content()

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.

content_string()
debug_mode()
get_attr_dict()

return dict containing the basic attributes of this theory

get_rule(ident)
get_tracer()
initialize_tables(tablenames, facts)

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.

log(table, msg, *args, **kwargs)
policy()

Return a list of the policy statements in this theory.

set_id(id)
set_tracer(tracer)
tablenames(body_only=False, include_builtin=False, include_modal=True, include_facts=False)
class congress.datalog.base.Tracer

Bases: object

is_traced(table)
log(table, msg, *args, **kwargs)
trace(table)