Text this: A parallel machine for the unification algorithm :