Towards a Logic Language and Framework for Web Programming