@unifies

reldef:@unifies

unifies — 'unifies' relation asserted between two atoms.