print "Test fonctions unificateur" 
print "\t",unifcation(['?x', 'is a', 'doctorant'], ['vincent', 'is a', 'doctorant'])
print "\t",unifcation(['vincent', 'is a', 'doctorant'],['?x', 'is a', 'doctorant'])
print "\t",unifcation(['vincent', 'is a', '?y'],['?x', 'is a', 'doctorant'])
print "\t",unifcation(['vincent', 'is a', 'doctorant'],['vincent', 'is a', 'doctorant'])
print "\t",unifcation(['vincent', 'is a', 'doctorant'],['micheal', 'is a', 'doctorant'])
print "\t",unifcation(['foo', '?x', ['?y', 'bar', 'jean']],['foo', 'jean', ['marc', 'bar', '?z']])
print "\t",unifcation(['foo', '?x', ['?y', 'bar', 'jean']],['foo', 'jean', ['marc', 'bar', '?x']])
print "\t",unifcation(['foo', '?x', ['?y', 'bar', 'paul']],['foo', 'jean', ['marc', 'bar', '?x']])
print "\t",unifcation(['frere', '?x', '?y'],['frere', '?y', '?z'],{'?z':'?x'})