Following my previous presentation where I described our method for Web site synthesis, in this talk I will present some implementation details of our approach. I'll describe how we implement property verification and constraint checking using Prolog. Then I'll discuss an implementation for automating some Web site maintenance tasks using a multi-agent architecture.