example prolog output and model reconstruction in CORBA