EDIT: Prolog Terms classes renamed.

ADD: PL-Structure.