neurolang.datalog.chase.mgu module
-
class neurolang.datalog.chase.mgu.ChaseMGUMixin
Bases: object
Methods
obtain_substitutions |
|
unify_substitution |
|
-
static obtain_substitutions(args_to_project, rule_predicates_iterator)
-
static unify_substitution(predicate, substitution, representation)