Web-based development for SWI-Prolog