Did you know ... Search Documentation:
Pack odict -- Readme

The odict library defines a unifier over feature structures and term-expansion/2 for its use on SWI-7.