An Online Logic Programming Development Environment