Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog