Different implementations of unifier engines. Currently a TCP/IP client unifier (expected to use a Lisp server) and a proxy caching unifier are provided.