The datalog_typechecker module

Type-checker for Datalog

exception octant.datalog_typechecker.Z3TypeError(*args, **kwargs)

Raised for a theory that is not well typed

octant.datalog_typechecker.type_theory(rules, extensible_tables, datasource)

Types a given set of rules