Interface DFD2PrologTransformation