A simple web-based Prolog IDE