ADD: PrologStructure.