Interface DFD2PrologTransformationResult