ADD: PL-Structure.

ADD: structure? function.
ADD: unify-structures function.

PL-Structure is a class, used to represent a Prolog structure.
It has a name and arguments.