A web-based logical programming environment