Towards a logic framework for Web programming