The congress.tests.datalog.test_unify Module

class congress.tests.datalog.test_unify.TestMatch(*args, **kwargs)

Bases: congress.tests.base.TestCase

check(atom1, atom2)

cherr(atom1, atom2)

test_atoms()

test_sequence()

class congress.tests.datalog.test_unify.TestUnify(*args, **kwargs)

Bases: congress.tests.base.TestCase

check_unify(atom_string1, atom_string2, msg, change_num, unifier1=None, unifier2=None, recursive_str=False)

check_unify_fail(atom_string1, atom_string2, msg)

Check that the bi-unification fails.

close(msg)

create_unify(atom_string1, atom_string2, msg, change_num, unifier1=None, unifier2=None, recursive_str=False)

Create unification and check basic results.

open(msg)

test_bi_unify()

Test the bi-unification routine and its supporting routines.

test_instance()

Test whether the INSTANCE computation is correct.

test_same()

Test whether the SAME computation is correct.

congress.tests.datalog.test_unify.form2str(formula)

congress.tests.datalog.test_unify.pol2str(policy)

congress.tests.datalog.test_unify.str2form(formula_string)

congress.tests.datalog.test_unify.str2pol(policy_string)