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)