logic package

Submodules

logic.Goal module

class logic.Goal.Goal(rule, parent=None, bindings={})

Bases: object

logic.Negative module

Internal ZincBase class for negative training examples

class logic.Negative.Negative(expr)

Bases: object

logic.Rule module

class logic.Rule.Rule(expr, graph=None)

Bases: object

logic.Term module

A base unit for ZincBase’s Prolog-like implementation of ‘facts’

class logic.Term.Term(expr, args=None, graph=None)

Bases: object

logic.common module

Under-the-hood details of ZincBase’s Prolog-like implementation

logic.common.process(term, bindings, graph=None)

logic.common.unify(src, src_bindings, dest, dest_bindings)

Module contents