logic package¶
Submodules¶
logic.Negative module¶
Internal ZincBase class for negative training examples
-
class
logic.Negative.
Negative
(expr)¶ 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)¶