Prolog web application server